Metateorija: Skirtumas tarp puslapio versijų
Ištrintas turinys Pridėtas turinys
SNėra keitimo santraukos |
S Kai kurių rašybos, skyrybos ar wiki klaidų taisymas |
||
Eilutė 1:
'''Metateorija''' - teorija, nagrinėjanti metodus, skirtus kitų teorijų aprašymui bei analizei.
Tarus, kad yra tam tikra [[
Su teorijų neprieštaringumu susijusios problemos buvo pastebėtos dar [[Senovės Graikija|senovės graikų]] (pvz., neįrodoma [[Euklidinė geometrija|Euklidinės geometrijos]] teorema dėl to, kad dvi tiesės susikerta tik viename taške), vėliau buvo atrasta ir nemažai semantinių problemų, išsprendžiamų tik ''metateoriniais'' ir [[Metakalba|metakalbiniais]] metodais (pvz., ar reiškinio neigimas gali būti aktualizuotas, jei pats jo pateikimas neša prielaidą apie neigiamo reiškinio egzistavimą?). Kaip atskira [[Matematika|matematikos]] sritis, ''metateorija'' ėmė vystytis [[XIX amžius|XIX a.]] pabaigoje - [[XX amžius|XX a.]] pradžioje, po to, kai aksiomatikos įtaka buvo pademonstruota, kuriant [[Neeuklidinė geometrija|neeuklidines geometrijas]] bei ėmė kilti klausimai dėl visos [[Matematika|Matematikos]] neprieštaringumo. Pirmasis rimtus šios teorijos tyrimus pradėjo [[David Hilbert]] [[1905]].
|