Filosofia:metateoria
metateoria
| metateoria |
Definition
metamatematiikan piirissä kehitetty teoria teorioista
Explanation
Metateorian kehitti David Hilbert (1862-1943) tutkiessaan matematiikan perusteita. Se tarkoittaa yleisesti teoriaa teorioista ja koostuu formaalien kielien ja systeemien sekä syntaktisista että semanttisista tutkimuksista.
Equivalents
| metatheory | englanti |
Related Concepts
- metamatematiikka (yläkäsite)
- todistusteoria (vieruskäsite)
Sources
References
Lähdeviittaus tähän sivuun:
Tieteen termipankki 26.3.2023: Filosofia:metateoria. (Tarkka osoite: https://tieteentermipankki.fi/wiki/Filosofia:metateoria.)