„Gödel első nemteljességi tétele” változatai közötti eltérés
[ellenőrzött változat] | [ellenőrzött változat] |
Tartalom törölve Tartalom hozzáadva
Xia (vitalap | szerkesztései) Nincs szerkesztési összefoglaló |
kép hivatkozás javítása |
||
1. sor:
:''A Gödel-tétel ide irányít át. Más jelentéseihez lásd a [[Gödel-tétel (egyértelműsítő lap)]] cikket.''
[[Fájl:
'''Gödel első nemteljességi tétele''' [[Kurt Gödel]] osztrák matematikus [[matematikai logika]] és a [[metamatematika]] nagy jelentőségű tétele, mely (a [[Gödel második nemteljességi tétele|Gödel második nemteljességi tételével]] együtt) destruktív hatást gyakorolt a [[matematika]] [[formális nyelv]]ekre építő [[a matematika alapjai|megalapozási]] kísérleteire. Amellett, hogy a tételnek az [[analitikus filozófia|analitikus]] [[nyelvfilozófia|nyelvfilozófiában]] is fontos szerepe van, bizonyításának módszere nagyban hozzájárult a [[rekurzív matematika]] (így a [[számítógép-tudomány]]) fejlődéséhez.
|