Filosofia:metateoria
metateoria
| metateoria |
Määritelmä
metamatematiikan piirissä kehitetty teoria teorioista
Selite
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.
Erikieliset vastineet
| metatheory | englanti (English) |
Lähikäsitteet
- metamatematiikka (yläkäsite)
- todistusteoria (vieruskäsite)
Käytetyt lähteet
Alaviitteet
Lähdeviittaus tähän sivuun:
Tieteen termipankki 19.4.2024: Filosofia:metateoria. (Tarkka osoite: https://tieteentermipankki.fi/wiki/Filosofia:metateoria.)