proof theory
Tieteen termipankista
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 21.11.2024: Nimitys:proof theory.
(Tarkka osoite: https://www.tieteentermipankki.fi/wiki/Nimitys:proof theory.)
Noudettu kohteesta ”https://tieteentermipankki.fi/w/index.php?title=Nimitys:proof_theory&oldid=446182”