proof theory
Luo tämän nimityksen perusteella käsite uudelle aihealueelle:
todistusteoria (Filosofia)
matemaattisen logiikan haara, joka tutkii joukko-opin ja matematiikan perusteita
Kieliopillinen koodaus (englanti)
Sanaluokka | substantiivi |
Suku | |
Alkuperä |
Alaviite
Lähdeviittaus tähän sivuun:
Tieteen termipankki 24.03.2023: Nimitys:proof theory.
(Tarkka osoite: https://www.tieteentermipankki.fi/wiki/Nimitys:proof theory.)