Gödel első nemteljességi tétele
matematikai állítás / From Wikipedia, the free encyclopedia
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ételével együtt) destruktív hatást gyakorolt a matematika formális nyelvekre építő megalapozási kísérleteire. Amellett, hogy a tételnek az analitikus 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 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.