Wikipédia

„Gödel első nemteljességi tétele” változatai közötti eltérés

Laptörténet interaktív böngészése
[nem ellenőrzött változat][ellenőrzött változat]
← Régebbi szerkesztésÚjabb szerkesztés →
Tartalom törölve Tartalom hozzáadva
VizuálisWikiszöveges
Nincs szerkesztési összefoglaló
Visszavontam 91.224.179.26 (vita) szerkesztését (oldid: 21759092)
Címke: Visszavonás
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.png|jobbra|280px|bélyegkép|''Gödel I. nemteljességi tételének elve''. Az aritmetikában felírható az a ☐''A'' formula, melynek jelentése: „''A'' levezethető”, és az a '''G''' Gödel-mondat, melynek jelentése: ''a'' '''G''' ''mondat (tehát saját maga) nem levezethető''. Ha az aritmetikából nem vezethető le ellentmondás ''(T'' ⊬ '''f')'', akkor sem '''G''', sem negációja (¬'''G''') nem bizonyítható, azaz '''G''' „igazságértéke” a matematika számára eldönthetetlen.]]
'''Gödel első nemteljességi tétele''' [[Kurt Gödel]] osztrák matematikus [[matematikai logika]] és a [[metamatematika|matematika]] 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.
 
== A tétel ==
A lap eredeti címe: „https://hu.wikipedia.org/wiki/Gödel_első_nemteljességi_tétele”