Professional Documents
Culture Documents
GÖDEL
NEMTELJESSÉGI
TÉTELEI
ÉRTELMEZÉSEK ÉS FÉLREÉRTÉSEK
A könyv a Magyar Tudományos Akadémia és a Nemzeti Kulturális
Alap támogatásával készült.
Előszó 9
1. Bevezetés 11
1.1. A nemteljességi tétel 11
1.2. Gödel élete és műve 16
1.3. A könyv hátralévő része 20
2. A nemteljességi tétel 22
2.1. Aritmetika 22
2.2. Az első nemteljességi tétel 31
2.3. Az első nemteljességi tétel érvényességi korlátai 46
2.4. Az első nemteljességi tétel és a matematikai igazság 53
2.5. A Hilbert-féle „Non Ignorabimus” 62
2.6. A második nemteljességi tétel 63
2.7. A nemteljességi tétel bizonyítása 71
2.8. Posztmodern feltétel? 88
2.8. Elme vs. számítógép 96
2.10. Későbbi fejlemények 99
Tartalom 7
BEVEZETÉS
Kutrovátz Gábor.
Bevezetés 13
Gödelt néha mint német, máskor mint osztrák, cseh vagy ame-
rikai tudóst emlegetik. Bizonyos értelemben mindegyik helyén-
való. Gödel anyanyelve és kulturális háttere is német volt, de a
morvaországi Brünnben (cseh neve Brno) született 1906-ban, egy
jómódú családban. Akkoriban Morvaország az Osztrák-Magyar
Monarchia része volt, az első világháború után azonban a mo-
narchia felbomlott, Gödel pedig Brünn népes német közösségé-
nek tagjaként, az újonnan létrejött Csehszlovákia állampolgára-
ként nőtt fel. 1929-ben lett osztrák állampolgár, amikor már dok-
tori disszertációján dolgozott Bécsben. 1938-ban, miután a náci
Németország elfoglalta Ausztriát, hivatalosan Gödel is német ál-
lampolgár lett. Bár nem volt zsidó, a politika pedig egyáltalán
nem érdekelte, a hatalom szemében gyanús volt, hogy gyakran
megfordult zsidó és liberális körökben. Nem tudott könnyen
egyetemi állást szerezni, és egyszer előfordult az is, hogy az
Bevezetés 17
A NEMTELJESSÉGI TÉTEL
2.1. Aritmetika
x+8 = 5y
x2 = 2y2
x 2 + y2 = z2
x 4 + y4 = z4
y2 = 2x4 − 1
x18 − y13 = 1
Formális rendszerek
Negáció
Konzisztencia
„Bizonyíthatatlan igazságok”
A teljességi tétel
Igazság és eldönthetetlenség
„Igaz S-ben”
ConS bizonyítása
Gödel bizonyítása
Rosser-mondatok
Tarski tétele
Önreferencia
a 0 szám Q tulajdonságú
mélete alapján
KISZÁMÍTHATÓSÁG,
FORMÁLIS RENDSZEREK,
NEMTELJESSÉG
3.1. Jelsorozatok
aaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
=) =) ::))
a kellő pillanatban
vatasi va neko da jo
háromkvadrilliárd-
száznegyvenegykvadrillió-
ötszázkilencvenkéttrilliárd-
hatszázötvenháromtrillió-
ötszáznyolcvankilencbilliárd-
hétszázkilencvenhárombillió-
kétszázharmincnyolcmilliárd-
négyszázhatvankétmillió-
hatszáznegyvenháromezer-
háromszáznyolcvanhárom.
1010001001101010101000011111000000010001101110
0111110100000010000110100100100011110010110111
Felsorolható halmazok
0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21 . . .
106 Gödel tétele: értelmezések és félreértelmezések
öt, egy, hat, hét, tíz, ezer, húsz, négy, száz, nulla, nyolc,
három, kettő, ötven, hatvan, hetven, kilenc. . .
Eldönthető halmazok
Definiálható halmazok
Gödel-számozás
Az eldönthetetlenségi tétel
D ( x1 , . . . , xn ) = 0 egyenlet megoldásai x1 = k1 , . . . , xn = k n
Formális rendszerek
NEMTELJESSÉG
MINDENÜTT
A matematikában
A matematikán kívül
ez a mondat hamis
mon Feferman írt a New York Review of Booksnak (2004. július 15.), és amelyben
az iméntiekhez hasonló megjegyzések szerepeltek.
Nemteljesség mindenütt 147
KÉTELY
ÉS MEGGYŐZŐDÉS
A tétel felfedezése
Néhány következmény
jukat
5.2. Kételyek
Finitizmus
5.3. Konzisztenciabizonyítások
PA helyességének bizonyítása
miként bizonyítható a
A szkeptikus perspektíva
5.4. Kimeríthetetlenség
matematika filozófiája a 21. század küszöbén (szerk. Csaba Ferenc, Osiris Kiadó, Bu-
dapest, 2003) 67–68. o. – A ford.]
186 Gödel tétele: értelmezések és félreértelmezések
GÖDEL, ELMÉK,
SZÁMÍTÓGÉPEK
valamint, hogy
GÖDEL TELJESSÉGI
TÉTELE
7.1. A tétel
Helyesség és teljesség
Minden x-re, x + 0 = x.
Minden x-re, x · 0 = 0.
Presburger-aritmetika
Egy konzisztenciabizonyítás
0 + 0 = n0 , 1 + 0 = n 1 , 2 + 0 = n2 , . . . ,
k +′ m = nk + m.
k ·′ 0 = 0
k ·′ s( m ) = k ·′ m +′ k
NEMTELJESSÉG,
BONYOLULTSÁG,
VÉGTELEN
P0 , P1, P2 , . . .
W0 , W1 , W2 , . . .
A nemteljesség változatai
A gödeli kapcsolat
Ennek oka az, hogy figyelemre méltó kapcsolat áll fenn a ZFC
elméletnek a végtelenségi axiómákkal kapcsolatos nemteljessége
és a Gödel által felfedezett aritmetikai nemteljessége között: a
végtelenségi axiómákkal bővített elméletekben mindig bizonyít-
hatóak olyan aritmetikai állítások, amelyek a bővítés előtt el-
dönthetetlenek voltak, és minél erősebb egy végtelenségi axi-
óma, annál több új aritmetikai tétel következik belőle.
Ez a kapcsolat a nemteljességi tétel alapján érthető meg.
A leggyengébb végtelenségi axióma ZFC-ben is szerepel: azt
mondja ki, hogy létezik végtelen halmaz. Ezt az axiómát hasz-
nálva bebizonyíthatjuk, hogy ZFC többi axiómájának van mo-
dellje, vagyis azt, hogy a végtelenségi axióma elhagyásával
Nemteljesség, bonyolultság, végtelen 247
A Paris–Harrington-tétel
Későbbi fejlemények
252
FÜGGELÉK 253
Az állítás – mint látni fogjuk – azt fejezi ki, hogy végtelen sok
prímszám létezik. Az aritmetika nyelvét kibővíthetjük definiált
jelekkel és kifejezésekkel is. Így például ha a „valamely z-vel
y = x + s(z)” helyett azt írjuk, hogy x < y, a „létezik w, hogy
y = s(s(w)), és tetszőleges s és v természetes számok esetén,
ha y = u · w, akkor vagy u = s(0) és v = y, vagy u = y és
v = s(0)” helyett pedig azt, hogy y prímszám, akkor az iménti
állítás könnyebben értelmezhetővé válik:
254 Gödel tétele: értelmezések és félreértelmezések
1. ∀ x ¬s( x ) = 0
2. ∀ x ∀y(s( x ) = s(y) ⊃ x = y
3. ∀ x ( x + 0 = x )
5. ∀ x ( x · 0 = 0)
6. ∀ x ∀y( x · s(y) = x · y + x )
∃ x ( s(0) + x = x ).
7. ∀ x ¬ x < 0
[Chaitin 05] Chaitin, G. J., Metamath! The Quest for Omega. Pant-
heon Books, New York, 2005.
[Dawson 97] Dawson, J., Logical Dilemmas: The Life and Work of
Kurt Gödel, A K Peters, Natick, MA, 1997.
[Feferman et al. 00] Feferman, S., Friedman, H., Maddy, P., and
Steel, J., „Does Mathematics Need New Axioms?”, Bulletin
of Symbolic Logic 6 (2000), 401–413. o.
268 Gödel tétele: értelmezések és félreértelmezések
[Nagel and Newman 59] Nagel, E. and Newman, J., Gödel’s Proof,
Routledge & Kegan Paul, New York, 1959.
[Penrose 89] Penrose, R., The Emperor’s New Mind, Oxford Uni-
versity Press, Oxford, 1989. [Magyarul: A császár új elméje,
Akadémiai Kiadó, Budapest, több kiadás.]
[Shelah 03] Shelah, S., „Logical Dreams” Bulletin of the AMS 40(2)
(2003), 203–228. o.
Értelmezések és félreértések
Torkel Franzén
GÖDEL
NEMTELJESSÉGI
TÉTELEI
ÉRTELMEZÉSEK ÉS FÉLREÉRTÉSEK
A könyv a Magyar Tudományos Akadémia és a Nemzeti Kulturális
Alap támogatásával készült.
Előszó 9
1. Bevezetés 11
1.1. A nemteljességi tétel 11
1.2. Gödel élete és műve 16
1.3. A könyv hátralévő része 20
2. A nemteljességi tétel 22
2.1. Aritmetika 22
2.2. Az első nemteljességi tétel 31
2.3. Az első nemteljességi tétel érvényességi korlátai 46
2.4. Az első nemteljességi tétel és a matematikai igazság 53
2.5. A Hilbert-féle „Non Ignorabimus” 62
2.6. A második nemteljességi tétel 63
2.7. A nemteljességi tétel bizonyítása 71
2.8. Posztmodern feltétel? 88
2.8. Elme vs. számítógép 96
2.10. Későbbi fejlemények 99
Tartalom 7
BEVEZETÉS
Kutrovátz Gábor.
Bevezetés 13
Gödelt néha mint német, máskor mint osztrák, cseh vagy ame-
rikai tudóst emlegetik. Bizonyos értelemben mindegyik helyén-
való. Gödel anyanyelve és kulturális háttere is német volt, de a
morvaországi Brünnben (cseh neve Brno) született 1906-ban, egy
jómódú családban. Akkoriban Morvaország az Osztrák-Magyar
Monarchia része volt, az első világháború után azonban a mo-
narchia felbomlott, Gödel pedig Brünn népes német közösségé-
nek tagjaként, az újonnan létrejött Csehszlovákia állampolgára-
ként nőtt fel. 1929-ben lett osztrák állampolgár, amikor már dok-
tori disszertációján dolgozott Bécsben. 1938-ban, miután a náci
Németország elfoglalta Ausztriát, hivatalosan Gödel is német ál-
lampolgár lett. Bár nem volt zsidó, a politika pedig egyáltalán
nem érdekelte, a hatalom szemében gyanús volt, hogy gyakran
megfordult zsidó és liberális körökben. Nem tudott könnyen
egyetemi állást szerezni, és egyszer előfordult az is, hogy az
Bevezetés 17
A NEMTELJESSÉGI TÉTEL
2.1. Aritmetika
x+8 = 5y
x2 = 2y2
x 2 + y2 = z2
x 4 + y4 = z4
y2 = 2x4 − 1
x18 − y13 = 1
Formális rendszerek
Negáció
Konzisztencia
„Bizonyíthatatlan igazságok”
A teljességi tétel
Igazság és eldönthetetlenség
„Igaz S-ben”
ConS bizonyítása
Gödel bizonyítása
Rosser-mondatok
Tarski tétele
Önreferencia
a 0 szám Q tulajdonságú
mélete alapján
KISZÁMÍTHATÓSÁG,
FORMÁLIS RENDSZEREK,
NEMTELJESSÉG
3.1. Jelsorozatok
aaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
=) =) ::))
a kellő pillanatban
vatasi va neko da jo
háromkvadrilliárd-
száznegyvenegykvadrillió-
ötszázkilencvenkéttrilliárd-
hatszázötvenháromtrillió-
ötszáznyolcvankilencbilliárd-
hétszázkilencvenhárombillió-
kétszázharmincnyolcmilliárd-
négyszázhatvankétmillió-
hatszáznegyvenháromezer-
háromszáznyolcvanhárom.
1010001001101010101000011111000000010001101110
0111110100000010000110100100100011110010110111
Felsorolható halmazok
0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21 . . .
106 Gödel tétele: értelmezések és félreértelmezések
öt, egy, hat, hét, tíz, ezer, húsz, négy, száz, nulla, nyolc,
három, kettő, ötven, hatvan, hetven, kilenc. . .
Eldönthető halmazok
Definiálható halmazok
Gödel-számozás
Az eldönthetetlenségi tétel
D ( x1 , . . . , xn ) = 0 egyenlet megoldásai x1 = k1 , . . . , xn = k n
Formális rendszerek
NEMTELJESSÉG
MINDENÜTT
A matematikában
A matematikán kívül
ez a mondat hamis
mon Feferman írt a New York Review of Booksnak (2004. július 15.), és amelyben
az iméntiekhez hasonló megjegyzések szerepeltek.
Nemteljesség mindenütt 147
KÉTELY
ÉS MEGGYŐZŐDÉS
A tétel felfedezése
Néhány következmény
jukat
5.2. Kételyek
Finitizmus
5.3. Konzisztenciabizonyítások
PA helyességének bizonyítása
miként bizonyítható a
A szkeptikus perspektíva
5.4. Kimeríthetetlenség
matematika filozófiája a 21. század küszöbén (szerk. Csaba Ferenc, Osiris Kiadó, Bu-
dapest, 2003) 67–68. o. – A ford.]
186 Gödel tétele: értelmezések és félreértelmezések
GÖDEL, ELMÉK,
SZÁMÍTÓGÉPEK
valamint, hogy
GÖDEL TELJESSÉGI
TÉTELE
7.1. A tétel
Helyesség és teljesség
Minden x-re, x + 0 = x.
Minden x-re, x · 0 = 0.
Presburger-aritmetika
Egy konzisztenciabizonyítás
0 + 0 = n0 , 1 + 0 = n 1 , 2 + 0 = n2 , . . . ,
k +′ m = nk + m.
k ·′ 0 = 0
k ·′ s( m ) = k ·′ m +′ k
NEMTELJESSÉG,
BONYOLULTSÁG,
VÉGTELEN
P0 , P1, P2 , . . .
W0 , W1 , W2 , . . .
A nemteljesség változatai
A gödeli kapcsolat
Ennek oka az, hogy figyelemre méltó kapcsolat áll fenn a ZFC
elméletnek a végtelenségi axiómákkal kapcsolatos nemteljessége
és a Gödel által felfedezett aritmetikai nemteljessége között: a
végtelenségi axiómákkal bővített elméletekben mindig bizonyít-
hatóak olyan aritmetikai állítások, amelyek a bővítés előtt el-
dönthetetlenek voltak, és minél erősebb egy végtelenségi axi-
óma, annál több új aritmetikai tétel következik belőle.
Ez a kapcsolat a nemteljességi tétel alapján érthető meg.
A leggyengébb végtelenségi axióma ZFC-ben is szerepel: azt
mondja ki, hogy létezik végtelen halmaz. Ezt az axiómát hasz-
nálva bebizonyíthatjuk, hogy ZFC többi axiómájának van mo-
dellje, vagyis azt, hogy a végtelenségi axióma elhagyásával
Nemteljesség, bonyolultság, végtelen 247
A Paris–Harrington-tétel
Későbbi fejlemények
252
FÜGGELÉK 253
Az állítás – mint látni fogjuk – azt fejezi ki, hogy végtelen sok
prímszám létezik. Az aritmetika nyelvét kibővíthetjük definiált
jelekkel és kifejezésekkel is. Így például ha a „valamely z-vel
y = x + s(z)” helyett azt írjuk, hogy x < y, a „létezik w, hogy
y = s(s(w)), és tetszőleges s és v természetes számok esetén,
ha y = u · w, akkor vagy u = s(0) és v = y, vagy u = y és
v = s(0)” helyett pedig azt, hogy y prímszám, akkor az iménti
állítás könnyebben értelmezhetővé válik:
254 Gödel tétele: értelmezések és félreértelmezések
1. ∀ x ¬s( x ) = 0
2. ∀ x ∀y(s( x ) = s(y) ⊃ x = y
3. ∀ x ( x + 0 = x )
5. ∀ x ( x · 0 = 0)
6. ∀ x ∀y( x · s(y) = x · y + x )
∃ x ( s(0) + x = x ).
7. ∀ x ¬ x < 0
[Chaitin 05] Chaitin, G. J., Metamath! The Quest for Omega. Pant-
heon Books, New York, 2005.
[Dawson 97] Dawson, J., Logical Dilemmas: The Life and Work of
Kurt Gödel, A K Peters, Natick, MA, 1997.
[Feferman et al. 00] Feferman, S., Friedman, H., Maddy, P., and
Steel, J., „Does Mathematics Need New Axioms?”, Bulletin
of Symbolic Logic 6 (2000), 401–413. o.
268 Gödel tétele: értelmezések és félreértelmezések
[Nagel and Newman 59] Nagel, E. and Newman, J., Gödel’s Proof,
Routledge & Kegan Paul, New York, 1959.
[Penrose 89] Penrose, R., The Emperor’s New Mind, Oxford Uni-
versity Press, Oxford, 1989. [Magyarul: A császár új elméje,
Akadémiai Kiadó, Budapest, több kiadás.]
[Shelah 03] Shelah, S., „Logical Dreams” Bulletin of the AMS 40(2)
(2003), 203–228. o.