Professional Documents
Culture Documents
und Unentsmeidbarkeit
Die metamathematischen Resultate von
Gdel, eh urch, Kleene, Rosser
und ihre erkenntnistheoretische Bedeutung
Von
Wolfgang Stegmller
o. Professor an der Universitt Mnchen
ISBN 978-3-7091-3525-9
ISBN 978-3-7091-3524-2 (eBook)
DOI 10.1007/978-3-7091-3524-2
Alle Rechte,
insbesondere das der bersetzung in fremde Sprachen, vorbehalten
Ohne ausdrckliche Genehmigung des Verlages
ist es auch nicht gestattet, dieses Buch oder Teile daraus
auf photomechanischem Wege (Photokopie, Mikrokopie)
zu vervielfltigen
Inhaltsverzeichnis
Einleitung . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
9.
10.
11.
12.
E. Anhang......................................................
Seite
3
12
12
20
29
36
44
44
45
48
52
54
58
58
61
64
66
69
81
96
99
99
Einleitung
Der heutige Erkenntnistheoretiker kann an den Resultaten der
logischen und mathematischen Grundlagenforschung nicht mehr vorbeigehen. Insbesondere sind viele der innerhalb der Metamathematik
gewonnenen Ergebnisse von einer so auerordentlichen theoretischen
Bedeutung und Tragweite, da deren genaues Studium fr jeden, der
erkenntnistheoretische Untersuchungen betreiben will, welche auf der
Hhe der Zeit stehen, ganz unerllich ist. Durch jene Ergebnisse gewinnen wir tiefste Einblicke in die Endlichkeit unseres Denkvermgens,
in die Reichweite und die Grenzen des axiomatisch-deduktiven Vorgehens, in das Verhltnis zwischen formalen, kalklmig aufgebauten
logischen sowie mathematischen Systemen und dem nichtformalisierten
intuitiven Schlieen, in die Beziehung zwischen logischer und mathematischer Wahrheit einerseits und Beweisbarkeit andererseits, in die
Relation zwischen anfechtbaren, "bedenklichen" Schluweisen der
klassischen Logik und fr unbedenklich gehaltenen Operationen, durch
welche die ersteren nachtrglich gerechtfertigt werden sollen. Bei verschiedenen dieser Resultate wird von berlegungen ausgegangen, die
eine groe hnlichkeit besitzen mit bereits von frher her bekannten
philosophischen Gedankengngen, insbesondere solchen, die zur Konstruktion von Paradoxien fhrten. Diese Paradoxien waren meist als mehr
oder weniger unfruchtbare, mehr oder weniger sophistische gedankliche
Spielereien aufgefat worden. Nun konnten aber bedeutende metalogische
und metamathematische Resultate dadurch gewonnen werden, da man
an jenen zu Paradoxien fhrenden berlegungen gewisse Modifikationen
vornahm, fehlerhafte Elemente ausschied und gltige Schlufolgerungen
przisierte und in geschickter Weise auswertete. Dies gilt insbesondere
fr die Antinomie des Lgners von EpIMEN'IDES und das Paradoxon
von RICHARD. Die Analyse der ersteren stellte auch einen bedeutsamen
Schritt zum Aufbau der Semantik dar, in welcher erstmals zahlreiche
logische und erkenntnistheoretische Begriffe einer przisen Bestimmung
zugefhrt werden. Eine weitere philosophische Tatsache ist in dem
Umstande zu erblicken, da bei vielen wichtigen metamathematischen
Resultaten (insbesondere bei smtlichen, die im folgenden zur Sprache
kommen werden) vom CANToRschen Diagonalverfahren Gebrauch gemacht wird, welches in seiner einfachsten Gestalt innerhalb des klassischen
Beweises der berabzhlbarkeit der in Dezimalbruchform angeschriebenen
reellen Zahlen zwischen 0 und 1 auftritt.
Stegml!er, Unvollstndigkeit
Einleitung
* Alle Zahlen in eckigen Klammern beziehen sich auf das Literaturverzeichnis am Ende der Abhandlung.
A. Intuitiver Zugang
zum Gdelsehen Unvollstndigkeitstheorem :
Die Antinomie von Richard
Die Antinomie von RICHARD, eines der hufig angefhrten Beispiele
logischer Paradoxien, kann durch berfhrung aus der vagen Alltagssprache in ein nach przisen Regeln aufgebautes zahlentheoretisches
System S sukzessive in das erste Theorem von GDEL umgeformt werden.
Durch diese berfhrung verschwindet der antinomische Charakter des
ersten Satzes und an die Stelle einer antinomischen Behauptung tritt
ein wichtiges metamathematisches Resultat. Man kann geradezu sagen,
da die Leistung GDELS darin bestand, die Fehler zu korrigieren, die
fr das Zustandekommen jener Antinomie verantwortlich zu machen
sind, dabei aber zugleich die bei der Konstruktion der Antinomie verwendeten korrekten Schlsse beizubehalten und sie in geschickter Weise
fr sein Theorem auszuwerten.
Fr die Bildung der Antinomie von RICHARD betrachten wir jene
Ausdrcke der deutschen Sprache, welche Definitionen von Eigenschaften
natrlicher Zahlen darstellen (wir wollen im folgenden statt "natrliche
Zahl" einfach "Zahl" sagen). Da die Anzahl der Ausdrcke, welche
wir in einer Sprache bilden knnen, abzhlbar ist, mu insbesondere
die Klasse jener Definitionsausdrcke abzhlbar sein. Wir knnen diese
Ausdrcke somit numerieren und als eine unendliche Folge anschreiben:
Al, A 2 , A a, ...
Die Anordnung kann ganz willkrlich vorgenommen werden. Man kann
z. B. bestimmen, da ein Ai einem Ai dann voranzugehen habe, wenn Ai
weniger Buchstaben enthlt als Ai' oder, falls beide dieselbe Anzahl
von Buchstaben besitzen, dann, wenn der erste unter den vom Beginn
des Ausdruckes an gezhlten Buchstaben von Ai' der von dem entsprechenden Buchstaben in Ai verschieden ist, im Alphabet an frherer
Stelle steht als der entsprechende Buchstabe in Ai (lexikographische
Anordnung). Da es sich bei all diesen Prdikaten Ai um Zahlprdikate
handelt, mu, wenn irgendein derartiges Ai herausgegriffen wird, fr
jede beliebige Zahl entweder gelten, da diese Zahl die durch jenes Ai
bezeichnete Eigenschaft besitzt oder da sie diese Eigenschaft nicht
besitzt. Da die Ai durch ihre unteren Indizes numeriert werden, kann
man dies auch so ausdrcken: Fr zwei beliebig herausgegriffene Zahlen n
und k mu entweder der Fall eintreten, da n die durch A k bezeichnete
(a)
1*
Al' A 2 , A a,
An ausgedrckt wird"
oder, wie man auch hufig sagt, "n erfllt nicht die Aussageform An".
In intuitiver Hinsicht ist es ganz klar, was damit gemeint ist; denn
wir werden von einer Zahl n dann und nur dann sagen, da sie eine
Aussageform M mit einer freien Variablen erfllt, wenn der Satz M(n)
wahr ist, wobei "n" jenes Symbol sei, durch welches in S die Zahl n
bezeichnet wird. Wir nennen diese Symbole "Ziffern" und nehmen an,
da die Ziffern in S die Gestalt ,,1", ,,2", ,,3", ... , "n", ... haben.
Auf die erste Schwierigkeit stoen wir bereits bei dem Versuch, den
zur Antinomie analogen Satz innerhalb von S zu konstruieren. Der
2. Ausdrcke:
->-
8.
al
a2
aa
Al - - - - - - + ) Gdelzahl von Al
A2
von Ai
A3
von A a
3. Ausdrucksreihen: B l
Ra
R2
------+)
Gdelzahl von Bi
von Ra
von R 2
Deutung) des Systems S zu tun. S bleibt nach wie vor ein rein syntaktisch
beschreibbares formales System, und was sich in diesem ersten Schritt
ndert, ist allein die Interpretation smtlicher metatheoretischer, auf S
bezogener Aussagen, insbesondere also auch des Satzes (I). Es wird
einfach beschlossen, diese metatheoretischen Aussagen nicht mehr auf
die Ausdrcke von S, sondern auf die ihnen durch die Gdelisierung
entsprechenden Zahlen zu beziehen. In einem zweiten Schritt wird von
der bereits erwhnten Tatsache Gebrauch gemacht, da die den
grammatikalischen (syntaktischen) Begriffen auf Grund der Zuordnung
korrespondierenden Zahlbegriffe rein arithmetisch definiert werden
knnen. Dadurch gehen die metatheoretischen Aussagen in arithmetische
Stze ber. Wir wollen gelegentlich von einer arithmetischen bersetzung der ursprnglichen metatheoretischen Aussagen sprechen. Durch
das umseitige Schema soll dies verdeutlicht werden. Die Aussagen
von M beziehen sich zunchst auf S (einfacher Pfeil), nach Vornahme
der Arithmetisierung auf die entsprechenden Zahlen (Doppelpfeil).
Erst nachdem die ganze Metatheorie M von S auf diese Weise in ein
System arithmetischer Aussagen umgeformt worden ist, wird in einem
dritten Schritt die Interpretation der Objektsprache S selbst mit herangezogen. Da Seine Formalisierung der Arithmetik enthlt, mu es
daher im Prinzip mglich sein, jene metatheoretischen Aussagen nach
deren Umwandlung in arithmetische innerhalb von S selbst zu formulieren.
Diese Mglichkeit mu zumindest dann bestehen, wenn S einen hinreichend groen Teil der Arithmetik enthlt, um die arithmetischen
Korrelate der ursprnglichen metatheoretischen Aussagen ber S wiederzugeben. Durch diesen gedanklichen Trick der Arithmetisierung wird es
somit mglich, metatheoretische Aussagen ber S in S selbst auszudrcken.
Wenn wir umgekehrt von Stzen des formalen Systems Sausgehen,
so werden wir dabei auf solche Stze stoen, die, im Lichte der Arithmetisierung betrachtet, metatheoretische Aussagen ber S darstellen. "Im
Lichte der Arithmetisierung betrachtet" heit dabei folgendes: Wenn
wir einen Satz P von S herausgegriffen und inhaltlich gedeutet haben,
so ist zu untersuchen, ob er eine arithmetische bersetzung einer metatheoretischen Aussage ber S darstellt. Sofern dies der Fall ist, handelt
es sich um einen Satz von der fraglichen Art. Insbesondere erweist es
sich durch eine geschickte Anwendung des CANToRschen Diagonalverfahrens als mglich, einen Satz G von S zu konstruieren, der, als
metatheoretische Aussage im Lichte der Arithmetisierung gedeutet,
seine eigene Unbeweisbarkeit behauptet (d. h. G behauptet die Unbeweisbarkeit eines Satzes aus S mit einer bestimmten Gdelzahl.
Nachtrgliche berprfung ergibt, da der Satz mit dieser Gdelzahl G selbst ist).
Auf Grund der Gdelisierung gehen die wahren metatheoretischen
Aussagen in wahre arithmetische Aussagen ber. Es ist vorlufig nichts
darber ausgesagt worden, ob die wahren metatheoretischen Aussagen
ber S nach deren Umformung in arithmetische Aussagen und Formulierung innerhalb von S in beweisbare Stze von S bergehen. Es wird
sich herausstellen, da dies nicht immer der Fall ist, so da also das
System S - sofern es gewissen formalen Ansprchen gengt - wahre
Aussagen enthlt, die in S nicht beweisbar sind. Der Satz Gerweist
sich nmlich als ein derartiger Satz, der dann und nur dann wahr i8t,
wenn er in S nicht bewie8en werden kann.
Kehren wir nUn zum Satz (I) zurck. Wir knnen diesen Satz auf
Grund der Arithmetisierung in S ausdrcken. Es wird sich dann herausstellen, da dieser Satz gerade der erwhnte Satz G ist. Im einzelnen
sieht die Konstruktion so aus: Der Satz A,,{f} von S (wobei f jene Zfer
sein mge, welche die Zahl k bezeichnet), der bei inhaltlicher Deutung
besagt, da die Zahl k die durch das note Glied der Folge (b) bezeichnete
Eigenschaft besitzt, habe die Gdelzahl j(n,k). Die hierbei verwendete
Funktion j mit zwei Argumenten ist so zu verstehen, da sie fr zwei
beliebig vorgegebene Zahlen n und k stets die Gdelzahl des Satzes A,,{f}
liefert. Diese Funktion j wurde soeben nicht mit arithmetischen Mitteln
definiert; aber es lt sich fr sie eine in einem hinlnglich reichen
System S formulierbare arithmetische Definition geben. T sei ferner
die Klasse aller Gdelzahlen der Theoreme (= beweisbaren Stze)
von S. Auch diese Definition ist keine arithmetische (denn sie enthlt
ja syntaktische Ausdrcke wie "Satz" und "beweisbar"); es lt sich
jedoch fr sie ebenfalls eine quivalente arithmetische Definition finden,
die in Sausdrckbar ist. Wenn wir das Enthaltensein eines Elementes a
in einer Klasse K symbolisch durch "a E K" und das Nichtenthaltensein
durch "non(a E K)" darstellen, so ergibt sich fr den Satz (I) die folgende
quivalente Formulierung:
(II)
non(f(n,n)
T).
10
11
barkeit, der Widerspruchsfreiheit uud der sogenannten w- Widerspruchsfreiheit operiert. Auch der Begriff der Ausdrckbarkeit einer Eigenschaft
in einem formalen System wird allein mit Hilfe des Begriffs der Beweisbarkeit przisiert. Wir werden im folgenden an dieses ursprngliche
GDELsehe Vorgehen anknpfen. Daneben besteht noch das semantische
Verfahren. Hier wird der Wahrheitsbegriff nicht vermieden, sondern
in bezug auf das formale System in prziser Weise definiert und die
Ausdrckbarkeit einer Eigenschaft durch eine Aussageform des Systems
auf diesen Wahrheitsbegriff zurckgefhrt. Eine Methode zur przisen
Definition des Wahrheitsbegriffs fr formale Systeme wurde erstmals
von TARSKI entwickelt. An seine Methode htte der semantische Beweis
des Satzes von GDEL anzuknpfen. Wir wollen diesen Weg hier nicht
verfolgen, da wir dazu auer den im syntaktischen Verfahren erforderlichen Begriffen auch noch die ganze Semantik von TARSKI entwickeln
mten. Im Werk von MOSTOWSKI [17] wird sowohl der syntaktische
wie der semantische Weg beim Beweis des GDELschen Satzes beschritten.
13
14
zwei Namen, nmlich "tP" und "lJI", anzuschreiben, wie dies hier geschehen ist. QUINE hat fr diesen Zweck ein eigenes Symbol, "QuasiAnfhrungszeiohen" genannt, eingefhrt. Dieses besteht darin, da
man statt der Anfhrungszeichen zwei kleine Ecken anschreibt, also
z. B.: itP A lJI"l. Durch diesen letzten Ausdruck wird eine Formel bezeichnet, die dadurch entsteht, da man zunchst die Formel tP anschreibt (und nicht etwa "tP"!), sodann das Zeichen "A" und schlielich
die Formel lJI. Das Zeichen "A" selbst kommt in diesem Ausdruck also
nicht als logisches Zeichen, sondern als Namensbestandteil vor; denn
der ganze Ausdruck ist ein Name und keine Formel. Aber durch die
Gestalt dieses Ausdruckes wird kenntlich gemacht, da das Benannte
eine Konjunktion der Objektsprache sein soll, welche aus den beiden
durch die Buchstaben"tP" und "lJI" benannten Formeln als Konjunktionsgliedern besteht. Die nhere Gestalt der beiden Formeln tP und lJI bleibt
dabei unbestimmt. Einen ganzen derartigen Ausdruck: Quasi-Anfhrungszeichen plus Inhalt dazwischen, nennen wir Quasi-Anfhrung. Die
Verwendung der Quasi-Anfhrung ist immer ntig, wenn in kurzer Form
die logische Struktur von Formeln der Objektsprache beschrieben werden
soll, ohne da man jene Formeln im Detail charakterisieren will. So
bezeichnet z. B. "iVlXtP(lX)"l" eine Formel aus ZL, deren Struktur
umstndlicher so beschrieben werden mte: "eine Formel, die mit
dem Zeichen "V" beginnt, worauf die Variable lX (etwa "x") folgt und
hierauf die Formel tP, in welcher die Variable lX frei vorkommt"3. Man
kann dasjenige, worauf sich Ausdrcke, die mit Quasi-Anfhrungszeichen versehen sind, beziehen, am einfachsten so charakterisieren,
da man sagt: Eine Quasi-Anfhrung bezeichnet jenen Ausdruck der
Objektsprache, der aus demjenigen, was zwischen den beiden Q1lasiAnfhrungszeichen steht, dadurch hervorgeht, da man die griechischen
Buchstaben durch die Ausdrcke ersetzt, welche durch diese Buchstaben
bezeichnet werden (dagegen die brigen Zeichen ",...../', "V", ,,=",
,,+" usw. unverndert lt).
Wenn in einer Formel tP die Variablen lX, p, y, ... frei vorkommen,
so schreiben wir die Formel gelegentlich auch so an: tP(lX,P,y, ... ), und
zwar ohne Bentzung von Quasi-Anfhrungszeichen. Man knnte die
Auffassung vertreten, da auch hier die Quasi-Anfhrung am Platze
wre, da nach den unten gegebenen Formregeln Ausdrcke mit Variablen
auch Klammern enthalten mssen, die Klammersymbole also zur Objektsprache zu rechnen seien. Diesem mglichen Einwand knnen wir durch
die folgende Festsetzung entgehen: Die in einer Formel tP frei vorkommenden Variablen lX, p, y, .. sollen, falls wir sie explizit anfhren wollen,
der betreffenden Formel als untere Indizes angefgt werden, also: tP""fJ. Y
Der Ausdruck "tP(lX,P,y, .. .)" sei dann eine (aus drucktechnischen
Grnden erfolgende) Abkrzung fr den Ausdruck "tP",.fJ.1'.. ".
Wir gehen nun zur Formulierung der Syntax von ZL ber.
a Fr eine przise Definition dieser Ausdrcke vgl. die Ausfhrungen
unten.
15
I. Zeichentabelle
I. Logische Zeichen:
(a) Logische Konstanten: ,,1""ooJ" ("nicht"; Negation), "A" ("und"; Konjunktion), "y" ("oder"; Disjunktion), ,,:::>" ("impliziert"; Implikation).
(b) Quantoren: ,,"1" ("fr alle"; Allquantor), ,,3" ("es gibt"; Existenzquantor 4).
2. Individuenbezeichnungen:
(a) Konstante: ,,0" (Null).
(b) Variable: "a", "b", "c", ...
3. Prdikatausdruck: ,,=" ("gleich").
2. Formeln:
(a) wenn e und a Terme sind, dann ist r(e) = (a)' eine Formel;
(b) wenn tP und P Formeln sind, so sind auch r l""ooJ(tP) I, r(tP) A (P)I,
r (tP) y (P) I und r (tP) :::> (P) I Formeln;
(c) wenn iX eine Variable ist und tP eine Formel, so sind auch rVrx(tP) I
und r3iX(tP) I Formeln5 ;
(d) es gibt keine weiteren Formeln auer den in (a) bis (c) angefhrten.
Unsere nchste Aufgabe bestnde darin, die Axiome und Ableitungsregeln von ZL anzufhren. Wir werden unten beispielshalber ein solches
System von derartigen Regeln anfhren. Die spezielle Gestalt dieses
Systems ist fr uns jedoch gar nicht wesentlich, sondern allein dies,
, Ein Ausdruck, der aus einem Quantor mit angefgter Variablen besteht,
also z. B.
oder r3{J', soll dagegen All- bzw. Existenzquantijikator heien.
& Wenn keine Gefahr eines Miverstndnisses besteht, lassen wir hier
die Klammern meist weg, schreiben also ,,(/" statt ,,(e)''', "rtP v W," statt
"r(tP) v (W),,, usw.
"'IX'
16
17
da ein Term e frei fr IX in cJ>(IX) ist, wenn kein freies Vorkommen von IX
in cJ>(IX) sich im Bereiche eines Quantifikators 'V' oder '3' befindet,
wobei eine freie Variable von e sei (andernfalls wrde nach Einsetzung
des Terms e fr IX die in e vorkommende freie Variable durch einen
jener Quantifikatoren "eingefangen" werden). Das metasprachliche
Symbol ,,~" dient zur abkrzenden Wiedergabe einer Ableitungsbeziehung : Die Formel" P,E I- cJ>" besage "cJ> ist aus P und E ableitbar"
und ,,1-cJ>" besage "cJ> ist beweisbar" (d. h. aus den Axiomen allein ableitbar). Die konstanten Terme der Objektsprache ,,0", ,,0"', ,,0'''', ...
mgen abkrzend durch die blichen Zeichen ,,0", ,,1 ", ,,2", ... wiedergegeben und Ziffern genannt werden. Falls ein Symbol "n" oder "x"
spter dazu verwendet werden wird, um eine intuitive natrliche Zahl
zu bezeichnen, so sollen die entsprechenden deutschen Buchstaben "n"
bzw. ,,~" die entsprechende Ziffer bezeichnen ("n" bezeichnet also die
Ziffer ,,0"" '" mit n oben angefgten Strichen); "n - 1" bzw. ,,~- 1"
mgen die um 1 kleinere Ziffer bezeichnen. Diese deutschen Buchstaben
dienen also als metasprachliche Bezeichnungen von Ziffern. Formeln
von der Gestalt 'e < a ' seien eine Abkrzung fr '3y(y'
e = a) I
und I e "" a' eine Abkrzung fr I e < ave = a I. Um Klammern
zu sparen, mgen die logischen Zeichen und Funktionszeichen wie blich
nach abnehmender Reichweite geordnet werden: :::>, A, V, ,....." 'VIX ' ,
'31X I, =, +, ., " (so da also z. B. "x. y' + z = u." dasselbe ist wie
,,((x. (y)') + z) = u" und 1cJ> V PA E:::> T' dasselbe wie '((cJ> V P) A E)
:::> T').
Es sollen nun fr ZL die folgenden Metatheoreme gelten:
(1) cJ>,PI- If/J A pi (A-Einfhrung).
(2) I- I (cJ> :::> ,.....,P) = ,.....,(cJ> A P) I.
(3) I- I (cJ> A ,.....,P) ::::> ,.....,( ",CJ> V l[I) I.
(4) cJ>(e) I- '31XcJ>(1X)1 (Schlu vom Einzelfall auf die generelle
Existenzbehauptung : 3-Einfhrung).
(5) '31X cJ>(IX) I I- I ,.....,V IX ,.....,cJ>(IX) I.
(6) 'cJ>(IX):::> P(IX)'I- '31XcJ>(1X):::> 31X P(IX)I.
(7) I- '31X ,.....,cJ>(IX):::> ,.....,VIXcJ>(IX)'.
(8) I- 1,.....,31XcJ>(1X) = VIX,.....,cJ>(IX)'.
(9) (a) cJ>(0), cJ>(1)8, . .. , cJ>(~ -1) I- 'VIX(IX < ~:::> cJ>(IX))';
(b) cJ>(0), cJ>(1), ... , cJ>(~) I- 'VIX(IX ~:::> cJ>(IX))I.
(10) cJ>(e) I- 'VIX[e IX::::> 3( IX A cJ>())]'
(11) 'V IX( IX < e :::> cJ>(IX)) I, 'V lX(e IX :::> P(IX)) '1- 'V1X(cJ>(IX) V P(IX)) '.
Wir machen weiter die Voraussetzung, da in ZL die blichen Ersetzungstheoreme gelten. Insbesondere soll fr zwei Formeln cJ> und P
gelten: I- 1cJ> = pi, sofern cJ> und P sich nur durch Teilformeln (bzw.
Terme) unterscheiden, deren quivalenz (bzw. Identitt) beweisbar ist.
Ferner sollen gelten: modus ponens (vgl. S. 18) und Deduktionstheorem.
8 Wir haben hier die freie Variable iX innerhalb von cJi{iX) durch Ziffern
ersetzt. "cJi(O)" z. B. besagt daher dasselbe wie "Ergebnis der Einsetzung
von ,0' fr iX in cJi(iX) " ; analoges gilt in den anderen Fllen.
Stegmller, Unvollstndigkeit
18
(1) bis (3) sind elementare aussagenlogische Umformungen, (4) bis (8)
Lehrstze der Quantifikationstheorie und (9) bis (11) zahlentheoretische
Metatheoreme. Man macht sich leicht intuitiv klar, da alle Behauptungen
wahr sind, insbesondere auch (10) und (11) (Erluterung zu (10): wenn t/J
fr einen Term (] gilt, dann gibt es zu allen x, die grer oder gleich
gro sind wie (], ein , welches kleiner oder gleich x ist, so da t/J()
gilt; e selbst nmlich ist ein solches . Erluterung zu (11): wenn fr
alle x, die kleiner sind als e, t/J(x) gilt, und fr alle x, die grer oder
gleich gro sind wie e, 'P(x) gilt, so mu fr alle x berhaupt
I t/J( x) v 'P( iX) I gelten; denn die erste Hlfte dieser Disjunktion ist im
ersten Falle zutreffend, die zweite Hlfte im zweiten Fall). Wir weisen
ferner darauf hin, da die Behauptungen (1) bis (11) nicht nur innerhalb
der klassischen, sondern sogar innerhalb der intuitionistischen Logik
gelten. Ein System von Axiomen und Ableitungsregeln, welches zur
Gewinnung aller logischen und zahlentheoretischen Theoreme, insbesondere auch fr die Gewinnung von (1) bis (11), ausreicht (und welches
wir daher als System ZL whlen knnen), ist das folgende, von KLEENE
in [16] gegebene Axiomensystem 9 :
IH. Axiome und Ableitungsregeln
+ y)'.
+
x.
9 Auf dieses System werden wir auch bei der spteren Skizze der
Arithmetisierung Bezug nehmen.
19
Im System von KLEENE fllt die groe Anzahl der Axiome des
Aussagenkalkls auf. Diese ist dadurch gerechtfertigt, da im Gegensatz zu den meisten anderen Systemen hier der intuitionistische Kalkl
als Teilkalkl ausgesondert werden kann: smtliche Formeln, die nach
Ersetzung von Axiom 11. durch die (hier leicht beweisbare) Formel
r -f/J:::> (f/J ~ P)' abgeleitet werden knnen, sind gltig im intuitionistischen Sinn. Dies gilt insbesondere von den obigen Formeln (1) bis (11).
Im Rahmen der folgenden metatheoretischen Betrachtungen werden
Zeichen, Ausdrcke und Ausdrucksreihen (insbesondere Beweise) als
formale Objekte bezeichnet. Ableitungen und Beweise knnen in zweifacher
Weise konstruiert werden: als eindimensionale oder als zweidimensionale
Gebilde. Als eindimensionales Gebilde aufgefat, ist eine Ableitung
einer Formel P aus den Ausgangsformeln f/Jl' ... , f/J n eine Folge von
Formeln, so da jede Formel dieser Folge entweder eines der f/J i (1 .;;; i .;;; n)
oder ein Axiom ist oder aus frheren Gliedern der Folge (mittels
der Regeln 3., 12. oder 15.) unmittelbar abgeleitet werden kann und
P das letzte Glied der Folge darstellt. Analog ist der Begriff der
Beweisbarkeit einer Formel P als eindimensionale Formelfolge zu
konstruieren. Man kann eine Ableitung und einen Beweis aber auch
als zweidimensionales Gebilde, nmlich in der Gestalt von Beweisfden,
darstellen. Man schreibt dazu die verwendeten Ausgangsformeln und
Axiome an den Anfang und die abgeleiteten Formeln unter jene, aus
denen sie unmittelbar abgeleitet wurden (im Fall von 12. und 15. schreibt
man die abgeleiteten Formeln direkt unter die eine Prmissenformel,
im Fall von 3. in die Mitte unter die beiden Prmissenformeln). Prmissen
und Conclusio werden durch einen waagrechten Strich getrennt. Wenn
wir die einzelnen Formeln des Beweises numerieren und die Nummern
fr die Formeln verwenden, so hat ein derartiger Beweis etwa die folgende
Gestalt:
1
5
6
----2
7
3
--4
8
10
9
11
12
Die Ausgangsformeln sind hier: 1, 3, 5, 6, 10. 2 ist aus 1 ableitbar, 4 aus
2 und 3 usw., 12 kann schlielich aus 9 und 11 mittels modus ponens
abgeleitet werden. Fr die Arithmetisierung der Metamathematik
empfiehlt sich die Anknpfung an die zweidimensionale Gestalt von
Ableitungen und Beweisen.
Wir fhren abschlieend fr den spteren Gebrauch noch einige
technische Ausdrcke ein: Eine Formel f/J heit bewei8bar, wenn es einen
Beweis gibt, so da f/J das letzte Glied des Beweises ist. Eine Formel
heit unbewei8bar, wenn sie nicht beweisbar ist. Eine Formel f/J heit
widerlegbar, wenn r -f/J' beweisbar ist, also wenn ~ r -f/J'. Ein Satz f/J
2-
20
=");
,,(Ey) P(y)".
21
Da. "Q(x,z)" besage dasselbe wie "X ist die Gdelzahl einer Formel
(nmlich der Formel Fx{iX*)) und z ist die Gdelzahl eines Beweises
der Formel ' ........Fx{!)'''. Fr iX* gilt dasselbe wie in D2.
Wir gehen nun von einem Hilfssatz aus, dessen Beweis erst im nchsten
Abschnitt im Zusammenhang mit einer Schilderung der Gdelisierung
skizziert werden kann:
12 r.,(!;) ist also jene Formel, die aus der der Zahl x zugeordneten Formel
(d. h. jener Formel, deren Gdelzahl x ist), dadurch entsteht, da man
fr die in dieser Formel vorkommende und explizit angegebene freie Variable lX *
jene Ziffer (nmlich ~) einsetzt, welche im formalen System gerade die
Zahl x reprsentiert.
22
23
24
I- 13P'-' [,...,,(/J(q,P)
25
(a)
Ferner folgt wegen Th 4 und der Annahme der formalen Widerspruchsfreiheit die Unbeweisbarkeit von Fq(q). Es kann also keine Zahl geben,
welche die Gdelzahl eines Beweises dieser Formel wre; somit gilt
keiner der unendlich vielen Stze "R(q,i)" (fr i = 0, 1,2, ... ) und daher
insbesondere nicht die ersten r von diesen Stzen. Da "R" durch (/J
formal ausgedrckt wird, gelten also die r Stze: I- r ",(/J(q,O)',
I- r r-..4>(q,I)', ... , t- r ",(/J(q,r -1)'. Gem (9)(a) ergibt sich aus
diesen r Stzen:
(b)
t- rvp[p < r::> r-..4>(q,P)]';
aus (a) und (b) folgt nun mittels (11):
(c)
(c) ist aber dasselbe wie Fq(q). Die Voraussetzung war somit unrichtig,
und es gilt: nicht t- r ,....-Tq(q)'.
Th 6 Falls ZL formal widerspruchsfrei ist, gilt:
(1) ZL ist formal unvollstndig;
(2) Fq(q) ist ein Beispiel eines in ZL formal unentscheidbaren Satzes.
In Thl , Th 4 , Th s wird jeweils eine bestimmte Formel unter der Voraussetzung der formalen Widerspruchsfreiheit als unbeweisbar erkannt, in
Th 2 eine bestimmte Formel als unbeweisbar unter der Voraussetzung
der w- Widerspruchsfreiheit.
Wir geben nun noch kurz die berlegungen wieder, die zu GDELS
zweitem Resultat fhrten. Dazu gehen wir von Thl aus. Wrden wir
zu diesem Theorem einen Beweis der formalen Widerspruchsfreiheit
von ZL hinzufgen, dann knnten wir durch Anwendung des intuitiven
modus ponens den Dann-Satz in Thl vom Wenn-Satz lostrennen und
htten einen Beweis fr die Unbeweisbarkeit von Ff)(lJ) schlechthin.
Wir berlegen uns jetzt, ob die Aussage, da das System ZL formal
widerspruchsfrei ist, innerhalb von ZL selbst ausgedrckt werden kann.
Dies ist tatschlich der Fall. Dazu betrachten wir irgendeine beliebige
in ZL beweisbare Formel 1:, die keine freien Variablen enthlt. ZL ist
26
nur dann formal widerspruchsfrei, wenn nicht gleichzeitig" --17' beweisbar ist. Es sei k die Gdelzahl dieser Formel" --17'. Wenn wir nun
wieder auf unser in D2 eingefhrtes Prdikat "R(x,y)" und dessen formale
Ausdrckbarkeit durch $(ex*,) zurckgehen, so wird die Aussage,
da" --17' unbeweisbar ist, wiedergegeben durch" --3$(t,) , (d. h.
es gibt keine Zahl b, welche die Gdelzahl eines Beweises der Formel
mit der Gdelzahl k, also der Formel" --17', ist). Wir bezeichnen
diese Aussage durch "Wid".
Zum Nachweis von Th l wurde ein intuitiver metamathematischer
Beweis fr den Satz erbracht:
(1) Wenn {das System ZL ist formal widerspruchsfrei}, dann {r;p(1J)
ist in ZL unbeweisbar}.
Unter Bentzung der Arithmetisierung, d. h. der Darstellung der
formalen Objekte von ZL durch die ihnen zugeordneten Gdelzahlen,
kann der ganze Beweis von (1) selbst innerhalb von ZL dargestellt werden.
An die Stelle von "das System ZL ist formal widerspruchsfrei" tritt
dann die durch "Wid" abgekrzte Formel, das "wenn ... dann - - - "
wird durch ,,::::>" ersetzt und der Satz "r;p(1J) ist unbeweisbar" wird
durch r;p(1J) selbst reprsentiert (denn wir haben uns davon berzeugt,
da diese letzte Formel bei inhaltlicher Deutung gerade ihre eigene
Unbeweisbarkeit behauptet)l5. (1) wird somit durch einen in ZL selbst
beweis baren Satz ersetzt:
(II)
Angenommen nun, es gelnge uns, die formale Widerspruchsfreiheit
des Systems ZL mit den in ZL selbst zur Verfgung stehenden Methoden
zu beweisen. Dies wrde bedeuten, da I- Wid, d. h. die Formel Wid
wre beweisbar. Man knnte dann auf (II) die formale modus-ponensRegel anwenden und erhielte I- r;p(1J), d. h. r;p(lJ) wre beweisbar. Dies
widerspricht jedoch dem Ergebnis von Tb l , wonach nicht I- r;p(lJ). Also
kann unter der Voraussetzung, da ZL formal widerspruchsfrei ist,
kein Beweis von Wid in ZL existieren. Dies ist das zweite Theorem
von GDEL:
Tb 7 Wenn das System ZL formal widerspruchsfrei ist, so ist Wid
nicht beweisbar, d. h. es gibt unter der Voraussetzung der formalen Widerspruchsfreiheit des Systems keinen Widerspruchsfreiheitsbeweis, der mit
den im System selbst formalisierten Methoden erbracht werden knnte.
Auch fr Tb 7 ist die Voraussetzung der formalen Widerspruchsfreiheit
von ZL wesentlich. Wre das System nicht widerspruchsfrei, so wre
darin jede Formel, insbesondere also auch Wid beweisbar. Ein formal
widerspruchsvolles System kann somit den Betrachter in dem Sinne
foppen, als es (im Gegensatz zum wahren Sachverhalt) einen Beweis
seiner eigenen formalen Widerspruchsfreiheit gestattet. Man beachte
15 Den bergang von (I) zu (II) zu bewerkstelligen, ist ein uerst langwieriges Unterfangen. Bisher wurde diese Aufgabe nur von HILBERTBERNAYS fr ein spezielles System im Detail durchgefhrt; vgl. [12], S. 283ff.
27
28
29
bertrgt sich nach dem obigen von ZL auf ZL' - beweisbar wre
und von dem wir gleichzeitig wten, da er etwas Unzutreffendes
behauptet.
Die w-Unvollstndigkeit des Systems kann dadurch behoben werden,
da man zu den brigen logischen Regeln eine Regel der sogenannten
"unendlichen Induktion" (nicht zu verwechseln mit der transfiniten
Induktion!) hinzufgt, in welcher ein Schlu aus unendlich vielen
Prmissen gezogen werden kann: aus I- E(O), I- E(I), I- E(2), ... kann
danach I- 'V IX E(IX) I erschlossen werden. Offenbar wrde in einem
solchen System bereits ein w- Widerspruch auf einen formalen Widerspruch hinauslaufen. Systeme mit unendlicher Induktionsregel wurden
von LORENZEN l7 und spter von SCHTTE l8 fr einen finitren Widerspruchsfreiheitsbeweis eines Systems, in dem ein Groteil der Analysis
in formalisierter Gestalt enthalten ist, bentzt.
18
30
xn )
== q.
Xi'
Es ist klar, da diese drei Funktionen stets berechenbar sind (im zweiten
Fall mu natrlich q und im dritten i vorgegeben sein); denn fr AF1
haben wir zur Berechnung des Funktionswertes den Nachfolger des
Argumentwertes zu nehmen, fr AF 2 unabhngig von der Wahl der
n Argumentwerte die feste vorgegebene Zahl q und fr AF a bei vorgegebenem i das i-te Argument. Wir bezeichnen die Nachfolgerfunktion
abkrzend durch N, die Konstanzfunktion durch K nq und die Identittsfunktion durch In;. Den Ableitungsregeln beim Aufbau von Logikkalklen entsprechen hier zwei Schemata. Das erste ist das Substitutionsschema. Danach kann eine neue prim. rek. Funktion t aus bereits
vorgegebenen prim. rek. Funktionen g, h1 , . . . , h m dadurch gewonnen
werden, da man die Funktionen hi in die Argumentstellen von g einsetzt, genauer:
31
SS. Wenn g(xl , ... , x m) und ~(Xl' ... , x,,), ... , hm(xl , .., x,,) prim.
rek. Funktionen sind, welche die angegebene Anzahl von ArgumentsteIlen besitzen, so ist auch die folgende Funktion I(xl , ... , x,,) prim. rek.:
I(xl , ... , x,,) = g(hl(Xl , ... , x,,), ... , hm(xl , ... , x,,.
Wir bezeichnen dieses Schema abkrzend mit S"m(g,hl , ... , hm)' Wieder
sieht man unmittelbar ein, da unter der Voraussetzung der Berechenbarkeit von g, hl , . , km auch I berechenbar ist. Es seien nmlich
n Argumentwerte Xl"'" x" vorgegeben. Dann kann man wegen der
Berechenbarkeit aller h i die m Werte ht(xl , ... , x,,) (1 .;;;; i .;;;; m) berechnen. Diese so ermittelten m Werte sind dann als Argumentwerte in die
Funktion g(Yl"'" Ym) einzusetzen. Da auch g laut Voraussetzung
berechenbar ist, lt sich der zugehrige Funktionswert der g-Funktion
ermitteln, und dieser soll nach der Definition gleich dem Wert von
I(x l , .. , x,,) sein.
Das zweite Schema zur Gewinnung neuer Funktionen ist das Schema
der primitiven Rekursion. Hier wird mittels einer sogenannten rekursiven
Definition eine n+l-stellige Funktion I in zwei Schritten unter Verwendung einer vorgegebenen n-stelligen Funktion g und einer weiteren
vorgegebenen n+2-stelligen Funktion h gewonnen. Charakteristisch
fr rekursive Definitionen ist dies, da im zweiten Schritt die Funktion I
unter den Argumentwerten der Funktion h selbst vorkommt. Dieses
Vorkommen des Definiendums im Definiens bedeutet aber keinen circulus
vitiosus, da der erste Argumentwert der I-Funktion innerhalb der
h-Funktion um 1 niedriger ist als der erste Argumentwert der zu definierenden I-Funktion. In einer endlichen Zahl von Schritten fhrt dies
auf den Fall zurck, wo jener erste Argumentwert 0 ist. Dieser Fall
wird im ersten Definitionsschritt auf die vorgegebene g-Funktion zurckgefhrt, unter deren Argumentwerten keine I-Werte mehr vorkommen.
Genau lautet die Definition so:
RS. Wenn g(xl , ... , x,,) und h(y,z,xl , ... , x,,) prim. rek. sind, so ist
auch l(y,x1 , , x,,) prim. rek., sofern gilt:
1(0,x1 , , x,,) = g(xl , ... , x,,),
I(y',xl , ... , x .. ) == h(y,/(y,xl , ... , x,,), Xl' ... , xn)'
Wir lassen auch den Fall n = 0 zu; dann hat an die Stelle der g-Funktion
eine feste Zahl q zu treten. Wir krzen dieses Schema ab durch R" + 1 (g,h)
bzw. durch R1.,ih) fr den Fall n = O. Man sieht leicht ein, da auch
durch dieses Schema aus berechenbaren Funktionen wieder nur berechenbare gewonnen werden. Denn wenn z. B. die Aufgabe besteht, fr eine
Zahl rund n Zahlen Xl'" " x .. den Wert von l(r,x1 , , " x .. ) zu berechnen, so bestimme man zunchst mit der ersten Gleichung den Wert
von 1(0,x1 , " x n) (was mglich ist, da die g-Funktion nach Voraussetzung berechenbar ist), sodann mittels der zweiten Gleichung den Wert
von 1(I,x1" , . , x n ) (was wegen der vorausgesetzten Berechenbarkeit
der h-Funktion ebenfalls mglich sein mu, da deren zweiter Argument-
32
wert jetzt 1(0,x1 , , x,J lautet und dieser im ersten Schritt ermittelt
wurde) und fahre so fort, bis man auf den Wert von l(r,x1, , Xn) stt.
" Man kann sich leicht davon berzeugen, da zahlreiche gebruchliche
Funktionen prim. rek. sind. Wir fhren einige dieser Funktionen an und
zeigen dann an Beispielen, wie die Darstellung innerhalb des Schematismus
der prim. rek. Funktionen zu erfolgen hat:
t1. n
t2.
t3.
t
t
t
+ m.
n.m.
nm .
4. n!.
5. Vorgngerfunktion: V(n) =
n =f 0,
0, falls n = o.
6 Dff
f nkt'
{ n - m, falls n > m,
1 erenz u
IOn: n -7- m =Df ansonsten O.
n - m, falls n :;;. m,
7. Absoluter Betrag: In - ml = Df { m - n, f a 11sm,?
-..... n.
8. Das Minimum von a und b: min(a,b).
Df
t 9.
t
t 11.
t 12.
= {I, falls n = 0,
g
Dt 0, falls n > o.
Der Rest bei der Division von m durch n: rest(m,n).
8" (n)
[mjn]ll1.
+ 0 = n,
+ m' = (n + m)'.
N(l32(m,r,n
1".
Wir geben im folgenden nur Formulierungen von der einfacheren Form (a);
es ist aber zu bedenken, da bersetzungen in die przisere Form (b)
stets mglich sind. Dann sind weitere Beispiele: t 2. m .0 = 0; m. n' =
m. n + m. t 5. V(O) = 0; V(n') = n. t 10. (Dies ist also jene Funktion, die fr den Argumentwert 0 den Wert 0 hat, fr alle brigen
Argumentwerte hingegen den Wert 1): sg(O) = 0; sg(n') = 1.
t11. sg(O) = 1; sg(n'),= O. t 12.rest(0,n) = 0; rest(m',n) = (rest(m,n' X
18 Wenn z. B. 19 durch 5 dividiert wird, dann ist der Quotient 3 und
der Rest 4; also [19/5] = 3 nnd rest(19, 5) = 4.
33
(rest(m,n))'j)20 (grerer Deutlichkeit halber verwenden wir bisweilen" x" statt "." als Multiplikationszeichen).
13. [Ojn] = 0;
[m'ln] = [mjn] + sg(ln - (rest (m,n))'j)21.
Der Begriff der primitiven Rekursivitt kann nun von Funktionen
auch auf Prdikate ausgedehnt werden. Es wird zunchst eine Funktion
I(x l , . . . , x n ) reprsentierende Funktion eines Prdikates "P(x l . . . , x n )"
genannt, wenn die Funktion erstens nur die Werte 0 und 1 annimmt
und zweitens I(xl , . . . , x n ) = 0 dann und nur dann gilt, wenn "P(x l , ... , x n )"
gilt. Weiter wird ein Prdikat prim. rek. genannt, wenn seine reprsentierende Funktion prim. rek. ist. Es ist klar, da fr ein prim. rek.
n-stelliges Prdikat stets effektiv entschieden werden kann, ob es auf
ein n-tupel von Argumenten (Xl' ... , x n ) zutrifft oder nicht. Dazu hat
man nur zur reprsentierenden Funktion dieses Prdikates berzugehen
und zu untersuchen, ob diese Funktion fr jenes n-tupel (Xl"'" x n )
den Wert 0 annimmt oder nicht. Da diese reprsentierende Funktion
laut Voraussetzung prim. rek. ist und alle prim. rek. Funktionen nach
der obigen Feststellung effektiv berechenbar sind, mu diese Untersuchung nach endlich vielen Schritten zu einem Resultat fhren. Dann
und nur dann, wenn sich als Funktionswert dabei der Wert 0 ergibt,
trifft das fragliche Prdikat auf das n-tupel (Xl' ... , x n ) zu. Ein einfaches
Beispiel ist das Gleichheitsprdikat : m = n. Die reprsentierende prim.
rek. Funktion ist s(J(lm - nl), die tatschlich nur im Fall der Gleichheit
von mund n den Wert 0 ergibt, ansonsten den Wert l.
Es ist fr das Folgende wichtig, zu erkennen, da gewisse Operationen
an prim. rek. Prdikaten abermals zu prim. rek. Prdikaten fhren.
Zunchst entsteht aus einem prim. rek. Prdikat "P(Yl> ... , Yr)" wieder
ein prim. rek. Prdikat, wenn an die Stelle von YI'" ., Yr die prim.
rek. Funktionen gl(X I" " , x n ), . . . , (Jr(x I , . . , x n ) eingesetzt werden.
s(J(ln -
20 Erluterung : War der Rest bei der Division von m durch n gerade
n -. 1, so ist (re8t(m,n))' = n und das Argument der 8g-Funktion ist daher
oben n - n = 0; da sg(O) = 0, steht somit rechts vom Gleichheitszeichen 0.
In der Tat aber ist m' durch n ohne Rest teilbar, wenn die Division von m
durch n den Rest n -- 1 ergab. Ist dagegen der Rest bei der Division von m
durch n kleiner als n - 1, so ist (1'est(m,n))' kleiner als n und als Argument.
wert der 8g-Funktion steht eine positive Zahl; der 8g-Wert ist daher 1.
re8t(m',n) ist dann der um 1 vergrerte Rest bei der Teilung von m durch n,
d. h. (re8t(m,n))'. Gerade dies steht wieder rechts vom Gleichheitszeichen.
21 Erluterung: Es sei m = 19, n = 5. Dann ist [mln] = 3 und der Rest 4.
(rest(m,n))' ist daher gleich 5 und als Argument der sg-Funktion steht
5 - 5 = 0; sg(O) aber ist 1. Auf der rechten Seite der Gleichung steht
also: 3 + 1 = 4. Tatschlich ist 20/5 = 4. Wenn dagegen rest(m,n) kleiner
ist als n - 1, dann mu [m'ln] = [mln] sein (da in der ersten Division
nur ein hherer Rest herauskommt, der aber nicht gleich n sein kann, da n
nicht fter in m' enthalten ist als in m). Tatschlich ist in diesem Falle
auch (rest(m,n))' kleiner als n, der Argumentwert der ag-Funktion daher
grer als
und daher der sg-Wert gleich 0. Man beachte noch, da
im Gegensatz zur blichen Deutung, wo [mln] und rest(m,n) fr n = 0
berhaupt nicht definiert sind, hier. die beiden Funktionen auch diesen
Grenzfall umfa88en, wobei [mIO] =
und re8t(m,0) = m, wie man leicht
nachprft.
Stegmfiller, Unvollstndigkeit
34
v<z
"P" entstehende Prdikat ",uy[y < z & P(x l , ... , x",y)]" (zu lesen als:
"das kleinste y, welches kleiner ist als z, so da P(xl , ... , x",y), sofern
es ein solches y gibt, ansonsten z") ist prim. rek. 23. Schlielich gilt noch
folgendes: Wenn "PI", ... , "p.:' einander ausschlieende prim. rek.
( )_I
Xl' . . . , X n
-Dt
Ir (Xl'
... , X n
),wenn P r (Xl>
(8g(h 1 ) X
ft)
+ ... + (8g(h r )
X Ir)
... ,
. . . , X" ,
x n )
+ (h
X ... X hr X fr+
1)'
Was spielen die prim. rek. Funktionen beim Nachweis fr den noch
ausstehenden Hilfssatz H 1 fr eine Rolle? Auf dem Wege ber die Arithmetisierung der Metamathematik gehen, wie bereits bemerkt, die meta22
und ".E" die Summe ber alle Zahlen y, die kleiner als z sind.
v<.
18 Fr einen genauen Nachweis dafr vgl. KLEENE [16], S. 229.
35
t 14.
t 15.
=
m <
...!..
16. "x teilt y" (xly): xlY =DI (Ez) (z <: y & x X z
y).
Pr(x)=Ddx=t=O&x=t=l&
18. Die (i
Po =DI 2,
i<1I
. ,
x n ) fr r
<
p!
1.
26 KLEENE
[16], S. 231.
3*
36
,,*"
37
Gebilden iXo, iXI , . . . , iXr angewendet, ein neues, durch ,,(iXo, iXI' ... , IX,),'
bezeichnetes Gebilde. Dabei kann r die drei Werte 0,1 und 2 annehmen. Die Gleichheit zweier Gebilde drcken wir symbolisch durch
"iX '" " aus. "iX -oE " soll besagen, da das Gebilde iX in dem Proze
der Erzeugung von Gebilden vor erzeugt wurde. Eine verallgemeinerte
Vorgngerfunktion {iXh wird so definiert, da {iX h ,...., iXi' wenn iX"""
(iXo, iXI' ... , iXr ) und i .;;;; r, und ansonsten {iX}i""" IX. {iX}i wird der i-te Vorgnger von iX genannt.
Das System ZL kann nun in der verallgemeinerten Arithmetik dargestellt werden und zwar dadurch, da man die formalen Objekte von
ZL als Gebilde von VA darstellt. Den 11 Grundzeichen von ZL werden
zunchst die 11 ersten Nullen von VA zugeordnet. Den Variablen von
ZL "a", "b", "e", ... mgen hier die folgenden, aus .der zwlften und
dreizehnten Null entstehenden Gebilde entsprechen: a, (-tt-, a),
(-tt-, (-tt- , a)), . . . (a bgekrzt auch: a, a -tt-, a -tt- -tt-, . . . geschrieben), also
jene Gebilde, die aus der zwlften Null von VA dadurch entstehen, da
man darauf die verallgemeinerte Nachfolgerrelation mit r = I und
der dreizehnten Null als erstem Vorgnger anwendet. Den Termen
r e + a i , re.a i , re'i werden die entsprechenden Gebilde (+, e, a),
(., e, a), (', e) zugeordnet, analog den Formeln r e = a i , r ",q)l,
r(/JA 1]11, rViX(/J(iX)i, ... die Gebilde (=, e, a), ('"",(/J), (A, (/J, P),
(V, IX, (/J(iX)), . . (also jeweils ein verallgemeinerter Nachfolger mit
r = I oder r = 2). Der Einfachheit halber mgen alle diese Gebilde
wieder genau so geschrieben werden wie die entsprechenden Ausdrcke
von ZL: also (/J A P statt (A, (/J, lJf), e == a statt (=, e, a) usw. Dadurch
kann man dann unmittelbar alle Aussagen ber Gebilde als Aussagen
ber formale Objekte von ZL auffassen. Ebenso sollen die metamathematischen Prdikate von ZL beibehalten werden, d. h. Gebilde von
der Gestalt e' (d. h. also von der Gestalt (" e)) sollen Terme heien,
Gebilde von der Gestalt (/J::J P (d. h. (::J, (/J, P)) sollen Formeln genannt
werden usw. Auch Beweise und Ableitungen von ZL sollen durch Gebilde
von VA dargestellt werden. Dabei denken wir uns zunchst die Beweise
und Ableitungen innerhalb von ZL alle zweidimensional in der Gestalt
von Beweisfden angeschrieben. Falls dann (/J eine Formel und Q sowie A
Ableitungen in der Gestalt von Beweisfden sind, so kann eine Deduktion
mit der Schluformel (/J drei Formen haben: (/J, ~,
{}(]JA.
In VA werden
diesen drei Ableitungsformen die Gebilde (/J), (/J, Q), (/J, Q, A) zugeordnet
(der erste Fall ist der einzige, in welchem die verallgemeinerte Nachfolgerrelation mit r = 0 verwendet wird; es wird also klar unterschieden
zwischen der Formel (/J und einer Ableitung, die nur aus dieser Formel
allein besteht).
Da die Gebilde von VA aus den dreizehn Nullen durch Nachfolgerrelationen erzeugt werden, ist es mglich, durch rekursive Definitionen
die metamathematischen Prdikate, die sich ursprnglich auf ZL bezogen,
als solche Prdikate einzufhren, die sich auf die Gebilde von VA beziehen. Wenn dann in einer zweiten Abbildung den Gebilden von VA
38
Einige weitere Definitionen (V 5 bis V9) schreiben wir nicht mehr explizit
an, da das Verfahren durch die bisherigen Beispiele bereits hinreichend
deutlich geworden sein drfte. Es handelt sich um die Definitionen der
folgenden Begriffe: "lP enthlt die Variable lX frei", ,,(/J entsteht aus lJI
dadurch, da der Term e fr die freie Variable lX eingesetzt wird", ,,(!
ist frei fr lX in (/J", ,,(/J ist ein Axiom", ,,(/J ist unmittelbar ableitbar
aus lJI"27. Fr die modus-ponens-Regel und drei weitere Begriffe wollen
wir die Definitionen wieder explizit anschreiben:
VlO (/J ist unmittelbar ableitbar aus lJI und
(/J und lJI sind Ji'ormeln und
~ lJI::> lP.
Vn . 1; ist die Ziffer fr die natrliche Zahl x (abgekrzt: 2if(~,x)):
1. !~ 0 und x = 0 28
2. !~ n' (d. h. C, n)) und x == n', wobei 2if(n,n).
VI2 . Q ist ein Beweis (~etv(Q)). Es gilt einer der drei Flle:
1. Q ~ (lP), wobei lP ein Axiom ist.
2. Q~ (lP,A), wobei A ein Beweis ist und lP unmittelbar ableitbar
ist aus {A }o29.
----27 Vgl. dazu KLEENE [16], Dn 5 bis Dn 9, S. 253.
28 Man beachte, da das erste Symbol ,,0" auf dieser Zeile die elfte Null
des Systems VA bezeichnet, whrend das zweite Symbol ,,0" die bliche
intuitive Bezeichnung fr die Null darstellt.
29 Hierbei wird die oben definierte verallgemeinerte Vorgngerfunktion
fIX h verwendet. Der Leser erinnere sich daran, wie die zweidimensionalen
Beweisfden im System VA dargestellt werden; das letzte Beweisglied steht
immer ganz links.
r:
V13
39
::JAvr-..JV3
3 5 7 9 11 13
15
17
19
21
0
23
a*
25
27
Es mu jetzt noch festgesetzt werden, welche natrlichen Zahlen Nachfolgergebilden (tXo, ... , iXr ) zugeordnet werden sollen, wenn bereits eine
Zuordnung von natrlichen Zahlen zu den Gebilden tX o, ... , tXr erfolgt
ist. Diese Festsetzung lautet: Wenn den Gebilden tXo, ... , tXr die Zahlen
xo, ... , X r zugeordnet wurden, so soll dem Gebilde (tX o,"" tXrl die
Zahl P6>.. p:r zugeordnet werden (Pi ist dabei wieder die i + I-te
Primzahl; Po = 2). Diese so erhaltenen Zahlen nennen wir die Gdelzahlen der entsprechenden Gebilde. Offenbar werden verschiedenen
Gebilden stets verschiedene Zahlen zugeordnet; denn 1. den 13 Nullen
wurden verschiedene ungerade Zahlen zugeordnet, allen Nachfolgergebilden aber nur gerade Zahlen (weil die Gdelzahlen von Nachfolgergebilden stets Po = 2 als Faktor enthalten); 2. da eine positive ganze
40
iWl
(u)
([> '"
31
41
(v)
+-+
Da (Y)i stets kleiner ist als y, falls Y =1= 0, wird durch die ganze Formel
eine Wertverlaufsrekursion im frheren Sinne definiert. Auf Grund dieser
Tatsache und des Satzes ber Wertverlaufsrekursionen sowie der Voraussetzung, da die Prdikate" V(x)" und "T(x)" bereits als prim. rek. erkannt wurden (mittels der zahlentheoretischen Entsprechungen von V2
und V3 ), folgt dann die primitive Rekursivitt von "F(y)" unter Heranziehung von t 2, t 3, t 14, t 19 und den frheren Feststellungen,
wonach aussagenlogische Verknpfungen von prim. rek. Prdikaten
und Einsetzungen von prim. rek. Funktionen in die Argumentstellen
eines prim. rek. Prdikates wieder ein prim. rek. Prdikat ergeben. Wir
wollen kurz zeigen, inwiefern unter all diesen frheren Resultaten ber
prim. rek. Funktionen auch das Ergebnis ber Wertverlaufsrekursionen
bentigt wird: In der Formel (v) wird "F(y)" ausgedrckt mit Hilfe
von y, ferner mittels der bereits als prim. rek. vorausgesetzten Prdikate
"V(x)" und "T(x)", auerdem aber auch unter Verwendung von "F(n)"
mit n < y. In diesem letzteren liegt die Notwendigkeit der Verwendung
von Wertverlaufsrekursionen begrndet. Es sei f(y) die reprsentierende
Funktion von "F(y)". Unter Verwendung der Wertverlaufsfunktion f(y)
von f(y) kann dann offenbar an Stelle von ,.FY)I)" und "FY)2)" in
der Formel auf der rechten Seite von (v) geschrieben werden: "my) )(1/>' = 0"
und ,,(j(y(I/). = 0" . (denn dies besagt nach dem Frheren dasselbe
wie "fY)I) == 0" bzw. "fy)2) = 0" und dies wiederum dasselbe wie
"F trifft auf (y)1 zu" bzw. "F trifft auf (y)2 zu"). Ersetzen wir nun nach
dieser nderung in (v) fr den Augenblick das "f(y)" durch die
Variable "z", so erhalten wir ein Prdikat "G(y,z)", welches prim. rek.
ist, sofern die darin auerdem vorkommenden Prdikate" V(x)" und
"T(x)" prim. rek. sind. Letztere wurden aber (laut Voraussetzung) bereits
als prim. rek. erkannt; daher ist "G(y,z)" prim. rek. Die reprsentierende
42
(prim. rek.) Funktion davon sei g(y,z). Wenn wir somit in der quivalenz (v) an die Stelle der Prdikate die reprsentierenden Funktionen
einsetzen, so erhalten wir die Gleichung: f(y) = g(y,f(y)). Die primitive
Rekursivitt von f folgt dann nach dem Satz ber Wertverlaufsrekursionen
(Schlu von Abschn. 3).
Es ist jetzt leicht einzusehen, da "F(y)" tatschlich das dem 'ij(I/
entsprechende zahlentheoretische Prdikat darstellt, d. h. es gilt: (1) Wenn
F(y) auf Grund von (v), dann ist y die Gdelzahl eines Gebildes 1/>,
so da 'ij(I/ (auf Grund von (u)); (2) Wenn 'i5(1/ auf Grund von (u) und y
die Gdelzahl des Gebildes I/> ist, so gilt F(y) (auf Grund von (V))33.
Wir geben noch das zahlentheoretische Korrelat des ersten Teiles von
Definition VI3 an. Das zahlentheoretische Korrelat von ,,1/> enthlt ,a'
frei" sei "E(f,25)", das Korrelat von "IBero(Q)" heie "Bew(o)", das
von ".3if(n,x)" laute "Zij(n,x)" und das zahlentheoretische Korrelat
von ,,1/> entsteht aus lJf dadurch, da e fr ,a' eingesetzt wird" werde
durch "S(f,g,r,25)" bezeichnet (wobei natrlich j die Gdelzahl von 1/>,
g die von lJf und r die von e ist). Die bersetzung von V13 , 1.. lautet
dann: {E(f,25) & Bew(o) & (Er)[r- < & Zif(r,x) & S((0)0'/,r,25)J}.
An
diesem Beispiel wird deutlich, da auch das frhere Ergebnis, wonach
die Anwendung von beschrnkten Quantoren auf prim. rek. Prdikate
wieder prim. rek. Prdikate ergibt, verwendet werden mu (die Einfgung
von "r < 0" ist dadurch berechtigt, da das durch r dargestellte Gebilde
bereits in dem durch (0)0 dargestellten Gebilde enthalten ist und der
Relation -oE zwischen Gebilden die Kleiner-Relation zwischen Zahlen
entspricht) .
Es kann jetzt sofort eingesehen werden, da die beiden in H I von
Abschn. 2 (S. 22) verwendeten Prdikate "R(x,y)" und "Q(x,z)" prim. rek.
sind. Es sei nmlich das dem Prdikat "IBero(I/>(<x*),x,Q)" von VI3
entsprechende prim. rek. zahlentheoretische Prdikat "Bew(f,x,o)".
Dann kann das Prdikat "R(x,y)" von D 2 aus Abschn. 2 offenbar identifiziert werden mit "Bew(x,x,y)" und das Prdikat "Q(x,z)" von D 3 mit
"Bew(2 9 .3 x ,x,z)". Damit ist bewiesen, da diese beiden Prdikate
prim. rek. sind.
In HI war aber nicht die primitive Rekursivitt jener beiden Prdikate
verlangt worden, sondern deren formale Ausdrckbarkeit in ZL. Dazu
mte bewiesen werden, da alle prim. rek. Prdikate in ZL formal
ausdrckbar sind. Dieser Nachweis kann in der Tat erbracht werden.
Wir verzichten an dieser Stelle deshalb auf seine Wiedergabe, weil es
sich hierbei um keinen wesentlichen Bestandteil des GDELschen
Theorems handelt. Wre der Nachweis nmlich nicht gelungen, so htte
man die Resultate von GDEL trotzdem in der Weise erhalten knnen,
da man zu den Axiomen von ZL die Rekursionsgleichungen fr smtliche
bentigten prim. rek. Funktionen hinzugefgt htte. Die Bedingung
KLEE NE
43
Allgemein-rekursive Funktionen
45
5. Allgemein-rekursive Funktionen
Wir haben bereits darauf hingewiesen, da die Klasse der prim. rek.
Funktionen eine erste, in einem przisen formalen Gewande erfolgende
Approximation an die intuitive Klasse der berechenbaren Funktionen
darstellt. Da, wie aus den frheren Beispielen ersichtlich ist, die blichen
zahlentheoretischen Funktionen als prim. rek. Funktionen darstellbar
sind, knnte man glauben, mit dieser letzteren Klasse bereits alle berechenbaren Funktionen erfat zu haben. AOKERMANN gelang es 1928
in [1], eine zweistellige Funktion f zu konstruieren, deren Wert z fr
jedes Argumentpaar (x,y) berechnet werden kann, von der sich aber
gleichzeitig beweisen lt, da sie rascher wchst als jede prim. rek.
Funktion 37 Damit war der Beweis erbracht, da es berechenbare
Funktionen gibt, die nicht prim. rek. sind. Es tritt die Frage auf, ob
es mglich ist, zum Schematismus der prim. rek. Funktionen eine Ergnzung hinzuzufgen, durch welche eine umfassendere Klasse von
Funktionen gewonnen werden kann, die mit der Klasse der im
intuitiven Sinn berechenbaren Funktionen zusammenfllt. Diese Ergnzung ist in der Tat mglich, und zwar kann sie in einem einzigen
Schritt erfolgen: durch die Hinzunahme des unbeschrnkten fl-Operators,
wobei "flYP(x1 , , xn>Y)" besagt "das kleinste y, so da P(x 1 , , xn>Y),
falls ein solches Y existiert" (der beschrnkte fl-Operator, fr welchen
eine obere Schranke hinzugefgt wird, ist dagegen, wie bereits in
Abschn. 3 hervorgehoben, durch prim. rek. Funktionen allein definierbar).
In der Tat lt sich zeigen, da die AOKERMANN-Funktion durch Hinzunahme des fl-Operators definiert werden kann. Das Analoge gilt fr die
anderen Flle bekannter berechenbarer Funktionen, die sich nicht im
Formalismus der prim. rek. Funktionen darstellen lassen. Die Klasse
der in formal prziser Weise definierbaren Funktionen, welche den
berechenbaren Funktionen entsprechen, soll die Klasse der allgemeinrekursiven (abgekrzt: allg. rek.) Funktionen genannt werden. Die
eben geschilderten Resultate legen den Gedanken nahe, die formale
Charakterisierung der berechenbaren Funktionen als allg. rek. Funktionen
Fr n = 0 geht die Prdikatvariable in eine Aussa,genvariable ber.
Die genaue Definition der ACKERMANN -Funktion, die in drei Schritten
erfolgen mu, lautet: (a) f(O,y) = y',
36
37
46
durch die folgende Bestimmung vorzunehmen: Man gehe vom Schematismus der prim. rek. Funktionen aus (also den drei Ausgangsfunktionen
AFI bis AF 3' dem Substitutionsschema SS und dem Rekursionsschema RS,
wobei die Ausdrcke "prim. rek." berall durch "allg. rek." zu ersetzen
sind)38 und fge das folgende Schema KO ("Kleinste-Zahl-Operator")
hinzu:
KO. Wenn g(xl , . . . , xnoY) eine allg. rek. Funktion ist, welche die
Bedingung erfllt:
(a) (Xl) ... (xn)(Ey)[g(x l , . . . , xmy) = 0], so ist auch die Funktion t(x v ... , x n ) allg. rek., welche definiert ist durch:
(b) t(xl , . . . , x n ) = fty[g(x l , . . . , xnoY) = OJ.
Damit wurde zugleich festgesetzt, da der ft-Operator hier nur fr den
Fall der Erfllung der Existenzbedingung (a) zur Anwendung gelangen
soll. Wenn man von der Funktion g zu dem entsprechenden Prdikat "G"
bergeht 39, so bedeutet dies, da der Ausdruck "ftyG(y)" nur bentzt
werden soll unter der Voraussetzung ,,(Ey)G(y)"4o. Wir haben bereits
frher festgestellt: Ein Prdikat ist genau dann (im intuitiven Sinn)
effektiventscheidbar, wenn die reprsentierende Funktion berechenbar
ist. Gehen wir daher von der Funktion g zum entsprechenden Prdikat "G"
ber, so knnen wir uns sofort davon berzeugen, da die in KO vorgenommene Bestimmung nicht aus dem Bereich des Berechenbaren
herausfhrt; denn es gilt offenbar der
Satz 11: Wenn das Prdikat "G(x v ... , xmy)" entscheidbar ist und
tr jedes n-tupel Xl' . . . , Xn ein y existiert, so da G(xv ... , xnoY), so ist
flyG(X I , . . . , xmy) berechenbar.
Beweis: Man ordne fr vorgegebene Xl"'" x n die n + I-tupel
xnoY nach wachsendem y und prfe fr jedes dieser n I-tupel,
ob "G(xl , . , xnoY)" gilt oder nicht. Da gem der Voraussetzung das
Prdikat "G(xv ... , xnoY)" entscheidbar ist, mu sich fr jedes dieser
n + I-tupel nach endlich vielen Schritten feststellen lassen, ob
"G(x1 , . , xnoy)" gilt oder nicht. Da gem der zweiten Voraussetzung
auerdem zu jedem n-tupel Xl"'" x n ein y existiert, so da
"G(xl , . . . , xnoY)" gilt, mu das Verfahren stets nach endlich vielen
Schritten zu der kleinsten Zahl y fhren, so da G(x1 , . . . , x.,,,y).
Damit besitzen wir also die Gewhr, da die Klasse der allg. rek.
Funktionen wirklich nur berechenbare Funktionen enthlt. Die Umkehrung ist nicht streng beweisbar, da der Begriff der berechenbaren
Funktion ein intuitiver Begriff ist und man keinen formal exakten Beweis
dafr erbringen kann, da ein formal prziser Begriff genau dasjenige
Xl' . . ,
Allgemein-rekursive Funktionen
47
umfat, was mit einem mehr oder weniger vagen intuitiven Begriff
"intendiert" war_ Es gibt aber verschiedene Grnde, welche uns in
ihrer Gesamtheit praktisch die Gewiheit geben, da smtliche als
effektiv berechenbar zu bezeichnenden Funktionen (oder analog: smtliche
effektiventscheidbaren Prdikate) durch den Schematismus der allg.
rek. Funktionen erfat werden knnen. Zunchst wird diese Annahme
empirisch besttigt durch die Tatsache, da fr alle speziellen berechenbaren Funktionen, welche eigens daraufhin untersucht wurden, die
DarsteIlbarkeit als allg. rek. Funktionen gezeigt werden konnte. Es
gibt aber noch zwingendere Grnde. Zwei solche mgen hier angefhrt
werden: Zunchst lt sich durch Analyse und Normierung des Verhaltens eines Rechners zeigen, da smtliche Operationen, die von einem
Rechner ausgefhrt werden knnen, auch von einer Maschine zu bewerkstelligen sind. Derartige Maschinen werden nach ihrem Erforscher
TURINGMaschinen genannt. Mit Hilfe dieses Begriffs kann der Begriff
der berechenbaren Funktionen zu dem der TURING-berechenbaren
Funktionen verschrft werden: Eine Funktion t(x l , . . . , x n ) heit TURINGberechenhar, wenn es eine TURING-Maschine gibt, welche fr ein beliebiges
n-tupel X l " ' " x n den Wert jener Funktion berechnet. Die TURINGberechenbaren Funktionen umfassen smtliche Funktionen, die nach
allem Ermessen von irgendeinem endlichen Rechner berechnet werden
knnen41 Es konnte bewiesen werden, da die Klasse der TURINGberechenbaren Funktionen mit der Klasse der allg. rek. Funktionen
zusammenfllt. Dies ist eine auerordentlich starke Sttze fr die
Ansicht, da durch den Schematismus der allg. rek. Funktionen tatschlich alle berechenbaren Funktionen erfat werden. Einen ganz anderen
formalen Zugang zum Begriff der berechenbaren Funktion hat CHURCH
durch seinen Begriff der A-Definierbarkeit gewonnen. Auch hier konnte
nachtrglich die quivalenz der Begriffe der A-definierbaren und allg.
rek. Funktionen bewiesen werden 42 Wenn wir analog zum frheren
Vorgehen ein Prdikat allg. rek. nennen, falls die reprsentierende Funktion
dieses Prdikates allg. rek. ist, so kann fr die folgenden Betrachtungen
somit die Annahme von CHURCH zugrunde gelegt werden:
These von CHURCH: (1) Jede berechenbare Funktion ist allg. rek.
(2) Jedes effektiventscheidbare Prdikat ist
allg. rek.
48
entscheidbad", "Ist das Zutreffen eines Prdikates ,P' auf ein Zahlenn-tupel Xl' . . . , X" effektiventscheidbad" in die Sprache der allg. rek.
Funktionen bersetzt werden. Unter Verwendung einer geeigneten
Gdelisierung kann das Entscheidungsproblem sogar selbst dann in der
Sprache der allg. rek. Funktionen ausgedrckt werden, wenn die betrachteten Objekte, ber deren Zugehrigkeit oder Nichtzugehrigkeit
zu einer Klasse entschieden werden soll, nicht Zahlen, sondern formale
Ausdrcke eines Kalkls sind 43 Es bestehe z. B. ein als Kalkl aufgebautes formales System Z. Es wird die Frage aufgeworfen, ob fr
eine beliebige Formel aus Z effektiventscheidbar ist, ob diese Formel
in Z bewiesen werden kann oder nicht. Diese Frage kann nach Vornahme
einer Gdelisierung in der folgenden Weise formuliert werden: Ist die Klasse
der Gdelzahlen von beweisbaren Formeln aus Z effektiv entscheidbar1
und diese Frage wiederum ist wegen der These von CHURCH in der folgenden
Gestalt ausdrck bar : Ist die Klasse der Gdelzahlen von beweisbaren
Formeln aus Z allg. rek. (d. h. gibt es eine allg. rek. Funktion, die fr
jene und nur jene Zahlen als Argumente den Wert 0 liefert, welche
Gdelzahlen von beweisbaren Formeln aus Z sind)?
49
Stegmller, Unvollstndigkeit
50
f"
51
geschrieben wird: "x". "x#", "x##", .... Analog kann man die verschiedenen Funktionsvariablen durch ,,/". ,.1#" ... voneinander unterscheiden. Es gengen dann fr die Darstellbarkeit in GK die folgenden
9 Zeichen: 0", ,,'" (Nachfolger), "f", "x", ,,=", ,,#", "A" (Konjunktion)
und die beiden Klammern.
&? Man beachte wieder die implizite Anwendung des CANToRSchen Diagonalverfahrens, die in dem doppelten Vorkommen von x zum Ausdruck kommt .
.-
52
Auswertung von ,,/" aus P fr alle und nur jene Argumente x ableitbar
wre, die zum Vorbereich von L gehren. Man whle nun fr x die
Gdelzahl der Konjunktion P: x drfte nach der soeben getroffenen
Feststellung nur dann zum Vorbereich von L gehren, wenn fr x als
Argument die Null-Auswertung von ,,/" aus P ableitbar wre. Dies
widerspricht jedoch der Definition von L, wonach x nur dann zum
Vorbereich von L gehren darf, wenn eine positive Auswertung von ,,/",
fr x als Argument, ausl einer Konjunktion P mit der Gdelzahl x
ableitbar ist. Damit ist die Behauptung bewiesen.
"e",
53
t;p
54
(III) Wenn die Ordnung von C positiv ist und lJf(ex) sich nur dadurch
von P(C) unterscheidet, da es an solchen Stellen freie Vorkommnisse
von ex aufweist, an denen P(C) freie Vorkommnisse von C hat, so ist
'(ex = C)::J (lJf(ex) = lJf(C))"l ein Theorem.
(IV) Wenn'YJ eine positive Ordnung aufweist und lJf(C) sich nur dadurch
von lJf('YJ) unterscheidet, da es freie Vorkommnisse von C an solchen
Stellen aufweist, an denen P('YJ) freie Vorkommnisse von 'YJ besitzt, so
ist '('YJ = C)::J (lJf(C) = lJf('YJ))"l ein Theorem.
(V) Wenn P(C) sich nur dadurch von lJf(ex) unterscheidet, da es an
allen Stellen freie Vorkommnisse von C aufweist, an denen lJf(ex) freie
Vorkommnisse von ex besitzt, so ist 'lJf(C)::J (3ex) lJf(ex)"l ein Theorem.
Wir verzichten auf die zwar ziemlich einfachen, aber etwas umstndlichen Beweise von (I) bis (V) (die Theoreme wurden in der Reihenfolge
angeschrieben, in der ihr Beweis zu erfolgen htte). Vom inhaltlichen
Standpunkt aus sind diese Behauptungen klar: (II) und (V) enthalten
die Formalisierung des Schlusses vom "alle" auf einen bestimmten
Term bzw. von einem bestimmten Term auf die entsprechende generelle
Existenzbehauptung. (I) besagt, da eine Variable und ein Term von
der ersten Ordnung im Falle der Identitt in beliebigen Kontexten bei
freiem Vorkommen miteinander austauschbar sind, (III) verallgemeinert
dies auf Terme mit beliebiger positiver Ordnung und (IV) verallgemeinert
dies nochmals, indem an Stelle der Variablen selbst ein Term von positiver
Ordnung zugelassen wird.
55
56
57
Damit ist (3) bewiesen. In D4 von Abschn. 6 wurde aber eine Relation L
angegeben, von der gezeigt werden konnte, da sie effektiventscheidbar
ist, jedoch keinen allg. rek. Vorbereich besitzt. Mittels (2) und (1) kann
man daraus folgern, da Leine allg. rek. Relation darstellt, deren Vorbereich nicht effektiventscheidbar ist. Dies widerspricht dem DannSatz der eben bewiesenen Behauptung (3). Also mu der Wenn-Satz
von (3) falsch sein. Dies aber ist gleichbedeutend mit der Aussage, da
das Theorem von CHURCH, nmlich Th s' wahr ist. Damit ist alles bewiesen.
Durch das Theorem von CHURCH fr die Quantifikationstheorie wurde
die bereits von FREGE vertretene Ansicht von der Nichttrivialitt der
Logik in einem strkeren Sinn besttigt, als dies FREGE selbst vorschwebte. FREGE hob z. B. hervor, da er den Hauptfehler von KANTS
theoretischer Philosophie in der Unterschtzung des analytischen Denkens
erblicke. Ihm selbst ging es darum, auch das Gesamtgebiet der Arithmetik durch definitorische Zurckfhrung der arithmetischen Begriffe
auf logische und Ableitung der Grundstze der Arithmetik aus logischen
Prinzipien (im Gegensatz zur Auffassung KANTs) in den Umkreis des
analytischen Schlieens einzubeziehen. Man braucht aber nicht ber
den Bereich des rein Logischen im engeren Sinne hinauszugehen, um
die These von FREGE zu sttzen. Denn welche Einstellung man auch
immer gegenber den logizistischen Versuchen zur Zurckfhrung
mathematischer Begriffe auf logische Begriffe und mathematischer
Lehrstze auf logische Theoreme beziehen mge: die Quantifikationstheorie (Prdikatenlogik der ersten Stufe) gehrt auf alle Flle zur Logik
im engeren Sinn. Auf der anderen Seite wird man eine Theorie als in
einem wesentlichen Sinne nichttrivial ansprechen mssen, wenn man
die Lsung der innerhalb dieser Theorie formulierbaren Probleme unmglich einer Maschine berlassen kann, d. h. wenn es logisch ausgeschlossen ist, eine derartige Lsungsmaschine zu konstruieren. Gerade
dies besagt der Satz von CHURCH von der effektiven Unentscheidbarkeit
der Klasse der gltigen Formeln der Quantifikationstheorie fr dieses
Gebiet der Logik.
55
59
...,
xnoY)
(b') t(z',O,y) = y,
= II g(x l , . . ,
r<y
.. ,
xnor),
xnoy),h(x l ,
.,
xmy'),y].
Die Funktion t(u,v,w) ist dabei eine Hilfsfunktion, welche gem (b')
nur fr den Fall u =1= 0 und v = 0 definiert wurde, dagegen fr u = 0
und fr v > 0 undefiniert bleibt.
Wir behaupten, da mittels (a') bis (c') gerade die Funktion
.uy[g(xl , . . . , xmy) = 0] durch t(xl , . . . , x n) dargestellt wird (so da
dieses t(xl , . . . , x n) mit dem gleichbenannten Ausdruck von Gleichung (b)
in KO identisch ist). Die Richtigkeit dieser Behauptung ist am besten
aus einer Tabelle zu ersehen, fr welche die Werte Xl' . . , X n fest vor57 (]
60
gegeben seien (wir schreiben daher zur Abkrzung nur "g(r)" und
"h(y)"). Fr die Werte von y = 0, 1, ... (erste Zeile) mge g(y) die in
der zweiten Zeile angegebenen Werte annehmen:
h(y)
g(y)
II g(r)
pB 7
r<y
2
3
3
2
21
42
5
8
6
5
o
o
8
9
9
2
(Ey)G(x l ,
..,
xmy) ~ (EQ)@:in(IP,xl ,
..,
xn,.fJ).
Wenn wir von dem auf der rechten Seite stehenden metamathematischen
6B Da die Menge der Werte g(r) fr r< y und y = 0 leer ist, soll die
links stehende Gleichung bedeuten, da h(O) vorgegeben ist.
69 Wir haben wieder stets die Argumente Xi' die als fest angenormnen
werden, nicht ausdrcklich erwhnt.
60 Vgl. Funote 39.
61
Prdikat zu dem entsprechenden zahlentheoretischen Prdikat bergehen, so erhalten wir, falls d die Gdelzahl von rp ist:
(2)
xmy).
Zum Zwecke der Abrundung spterer Resultate hat KLEENE vorgeschlagen, statt des Prdikates ,,sn" ein anderes Prdikat "T n" zu verwenden, welches durch die folgende quivalenz definiert ist:
(3)
T n(z,x1 ,
<
y)
-'>-
(Ey)Tn(z,x1,
xmy).
Dieses Prdikat "T n" hat eine Reihe von bemerkenswerten Eigenschaften, mit deren Hilfe die folgenden allgemeinen Resultate gewonnen
werden knnen.
61 Vgl. KLEENE [16], S. 281. Der Leser mge beachten, da hier und
im folgenden ausschlielich intuitive Symbole verwendet werden.
62
(y)R(x1 ,
. ,
xmy)
+--+
(y)T ,,(g,x1,
xmy).
Zum Beweis hat man zunchst in (5) links das Prdikat "R(xl> ... , xmy)"
einzusetzen, wobei das erste Zahlargument im T ,,-Prdikat diesmal g
genannt werde, und auf beiden Seiten zu negieren. Dadurch erhlt man
(auf Grund des intuitiven Korrelates zur Formel (8) aus Abschn. 1):
(y)R(x 1 ,
. ,
xmy).
Daraus erhlt man das obige Resultat (6)62. Aus ThlO folgt, da auch
fr die Prdikate von der Gestalt ,,(y)R(x1 , , xmy)" mit allg. rek. "R"
eine Aufzhlung (mit Wiederholungen) existiert, nmlich mittels des
Prdikates ,,(y)T,,(z,x1 , , xmy)" fr z = 0, 1, 2, 3, . ... Th g und
Th10 (sowie leicht zu gewinnende Verallgemeinerungen fr beliebige
Kombinationen von Quantoren vor dem allg. rek. Prdikat "R") werden
zusammen unter dem Begriff "Aufzhlungstheorem" zusammengefat.
Eine Folgerung aus diesem Theorem ist die, da die Klasse der Prdikate,
welche aus einem Quantifikator mit nachfolgendem rekursiven Prdikat
gebildet werden, dieselbe ist, gleichgltig, ob jenes Prdikat prim. rek.
oder allg. rek. ist; denn durch den bergang von der linken auf die rechte
Seite in (5) und (6) kann das allg. rek. Prdikat durch ein prim. rek.
Prdikat ersetzt werden (auch hier gilt die Verallgemeinerung fr
beliebige Kombinationen von Quantifikatoren vor dem Prdikat).
Fr die folgenden wichtigen Resultate wird wieder vom CANToRschen
Diagonalverfahren Gebrauch gemacht. Ferner wird die Tatsache bentzt,
da jedes n-stellige allg. rek. Prdikat "R(x1, . , x,,)" mittels eines
n + 1-stelligen allg. rek. Prdikates "R(x1 , , x..,y)" in der Form
,,(Ey)R(x1 , . , x",y)" darstellbar ist.
Dazu hat man nmlich
"R(x1 , . . , xmy)" einfach zu definieren durch "R(x1 , . , x,,) & y =: y";
denn unter dieser Voraussetzung gilt offenbar:
(7)
R(x1 ,
x",y).
63
Mit Hilfe von (6) wird (fr n = 1 und Einsetzung von "g" fr ,.x") zunchst
das Resultat erhalten: (y)R(g,y) H (y)T1(g,g,y). Die rechte Formel
ist quivalent mit ,,(Ey)T1(g,g,y)". Ferner aber gilt offenbar auch die
Nichtquivalenz : (Ey)T1(g,g,y) +-/+ (Ey)T1(g,g,y). Insgesamt erhlt man
also: (y)R(g,y) <-/-+ (Ey)T1(g,g,y). Dies fhrt zum nchsten Theorem:
Th12 Wenn ein allg. rek. Prdikat "R(x,y)" vorgegeben wird, so kann
eine Zahl g gefunden werden, so da gilt:
(9) (y)R(g,y) <-/-+ (Ey)T1(g,g,y).
Wegen (7) folgt aus Th n und Th w da dann erst recht das nchste
Theorem gilt:
ThlS . Fr ein gegebenes allg. rek. Prdikat "R(x)" knnen Zahlen d
und g gefunden werden, so da die beiden N ichtquivalenzen gelten:
(10)
(11)
R(g)
64
(12)
(Xl)'"
(Xl)'"
(14)
(Xl)'"
(15)
(Xl)'"
Da durch (14) fr jedes n-tupel Xl' ... , Xn die Existenz eines y gesichert ist, so da Sn(s,x1, ... , xmy), ist die Voraussetzung fr die Anwendung des unbeschrnkten fl-Operators bezglich y gegeben. Wenn
man dann dieses kleinste y, so da S ..(s,x1, .. ., xn,y), als Argument
von U einsetzt, so erhlt man auf Grund von (15) gerade den Funktionswert (I(x1, ... , x .. ). Wenn die Zahl s gegeben ist, so kann daher diese
Funktion so dargestellt werden:
(16)
(I(x1, ... , x n)
Wegen (4) aus Abschn. 9 kann man in (14) ,,(Ey)Sn(s,x1, ... , xmy)"
durch ,,(Ey)Tn(s,x1, ... , xmy) ersetzen. Das "Sn" kann aber auch
in (15) durch "T n " ersetzt werden, da offenbar die Formel "T n (s,x 1 , ,
xmy) ~Sn(S,X1"'" xmy)" gilt (vgl. dazu die Definition von "T n"
63 Nmlich ,,(y)Tl(x,x,y)" hat diese Gestalt, da "Tl" und daher natl'lieh auch die Negation "Tl" rekursiv, und zwar sogar prim. rek., ist.
Das Normalformentheorem
65
in (3) von Abschn. 9: das "S." ist danach Konjunktionsglied von "T n ").
Daraus folgt schlielich die Mglichkeit der Ersetzung von "Sn" durch
"T n " auch innerhalb von (16). Dies fhrt zu dem KLEENEschen Normalfor~entheore~:
(Xl)'"
(18)
g(xl ,
(19)
, X n)
U(ftyT n(s,x l ,
xmY),
,
xmY,
-)0
St~gmller.
Unvollstndigkeit
66
65 KLEENE
[15], S. 59.
Algorithmische Theorien
67
allg. rek. Funktion oder eines allg. rek. Prdikates bersetzt werden.
Wenn insbesondere in bezug auf ein gegebenes Prdikat "P(x)" die
Behauptung aufgestellt wird, da es fr dieses Prdikat ein effektives
Entscheidungsverfahren oder eine vollstndige algorithmische Theorie
gibt, so ist dies bei Annahme jener These gleichbedeutend mit der Aussage,
da es ein mit jenem Prdikat quivalentes allg. rek. Prdikat "R(x)"
gibt, so da also der Satz gilt: P(x) +--+ R(x).
Wenn wir nun nach diesen Vorbetrachtungen wieder auf das
Theorem Th13 zurckgreifen und bedenken, da ,,(y)1\(x,x,y)" und
,,(Ey)T1(x,x,y)" Prdikate mit einer freien Variablen sind, so lt sich
der Gehalt von Th13 auch so ausdrcken:
Th15 Es gibt tr keines der beiden Prdikate ,,(y)T1(x,x,y)" und
,,(Ey)T1(x,x,y)" ein effektives Entscheidungsvertahren (eine vollstndige
algorithmische Theorie).
Denn in Th13 war gezeigt worden, da fr ein beliebiges allg. rek.
Prdikat "R(x)" die quivalenz "R(x) +-+ (y)T1(x,x,y)" bzw.
"R(x) +--+ (Ey)T1(x,x,y)" bei geeigneter Wahl von Zahlen d bzw. g als
Argumenten fr die freie Variable "x" widerlegt werden kann.
Whrend in Abschn. C die Unlsbarkeit des Entscheidungsproblems
fr einen ganz bestimmten Kalkl: die formalisierte Quantifikationstheorie (niedere Prdikatenlogik) gezeigt worden war, wird in Th15 die
Unlsbarkeit des Entscheidungsproblems fr zwei Prdikate ausgesprochen, ohne da auf einen bestimmten Kalkl Bezug genommen wird.
Dabei ist im Sinne der klassischen Logik jedes dieser zwei Prdikate
mit der Negation des anderen quivalent.
Da in Th15 von jedem konkreten Kalkl abstrahiert wurde, knnte
man geneigt sein, von dem verallgemeinerten Theorem von CRuRCH
zu sprechen (analog wie in Abschn. 13 das verallgemeinerte Theorem
von GDEL angefhrt werden soll). Diese Bezeichnung wre aber,
historisch gesehen, nicht berechtigt; denn obzwar hier eine Verallgemeinerung gegenber dem in Abschn. C bewiesenen Theorem vorliegt, so ist doch von CHURCH selbst bereits ursprnglich ein (wenn auch
anderes) Beispiel fr ein unentscheidbares Problem angefhrt worden.
Wir sprechen daher von Th15 als von dem Theorem von CHURCH in der
Fassung von KLEENE.
Bei der Beurteilung dieser sowie der folgenden Verallgemeinerungen
gegenber den frheren Resultaten ist zu beachten, da der Ausdruck
"Verallgemeinerung" hier nicht so zu verstehen ist, als wrden dabei
diese frheren Resultate, welche fr spezielle Kalkle (das zahlentheoretische System ZL oder die Quantifikationstheorie) gelten, vorausgesetzt und lediglich in eine umfassendere Theorie eingeordnet. Vielmehr
wurden die Ergebnisse von KLEENE ganz unabhngig von jenen speziellen
Resultaten gewonnen. Daher knnen diese allgemeinen Ergebnisse nun
umgekehrt zur Gewinnung jener oder analoger spezieller Resultate verwendet werden. Dies ist auch tatschlich das Vorgehen von KLEENE:
5*
68
Rekursive Aufzhlbarkeit
69
t- ([>w.
70
des Systems ein Beweis ist oder nicht, mu prinzipiell einer Maschine
berlassen werden knnen (whrend die Auffindung eines Beweises in
der Regel nicht einer Maschine berlassen werden kann). Diese Maschine
htte die Aufgabe, fr jede einzelne der in diesem formalen Objekt vorkommenden Formeln festzustellen, ob sie ein Axiom darstellt oder aus
frheren Formeln der Reihe mittels der Ableitungsregeln deduzierbar
ist. Insbesondere mu fr eine vorgegebene natrliche Zahl x und ein
ebenfalls vorgegebenes formales Objekt D effektiv entschieden werden
knnen, ob D ein Beweis von ([J(~) ist; denn dazu ist nur festzustellen,
ob 1. D berhaupt ein Beweis ist (wofr nach dem eben Gesagten ein
effektives Verfahren bestehen mu) und 2. ob ([J(~) die letzte Formel
dieses Beweises darstellt (was jedenfalls effektiv festgestellt werden kann).
Dies bedeutet aber nichts anderes, als da es einen Algorithmus oder
ein effektives Entscheidungsverfahren dafr geben mu, ob ffi(x,D) gilt
oder nicht. Dieses metamathematische Prdikat mu also ein effektiv
entscheidbares zweistelliges Prdikat sein. Der Leser verwechsle dies
nicht mit der ganz anderen Aufgabe, effektiv zu entscheiden, ob eine
Formel ([J(~) beweisbar sei, bzw. wenn dies der Fall ist, einen solchen
Beweis effektiv anzugeben. Fr unser Problem handelt es sich vielmehr
nur darum, festzustellen, ob eine bereits vorgegebene Formelreihe ein
Beweis ist oder nicht, d. h. in bezug auf das Prdikat" ffi(x,y)": es handelt
sich nicht darum, ein formales Objekt D zu finden, so da ffi(x,D) gilt,
sondern es handelt sich darum, fr ein vorgegebenes D festzustellen, ob
die Aussage ffi(x,D) zutrifft oder nicht.
Damit ein Entscheidungsverfahren fr ffi(x,D) bestehen kann, mu
dieses D aus einer endlichen Anzahl von Ausgangsobjekten (den Zeichen
des Systems 66 ) mittels einer endlichen Anzahl von festgelegten Operationen
erzeugbar sein. Wenn diese Voraussetzung erfllt ist, dann kann aber
prinzipiell eine effektive Gdelisierung des formalen Systems vorgenommen werden. Da die Gdelisierung effektiv ist, bedeutet, da
aus einem vorgegebenen formalen Objekt durch eine effektive Methode
die dem Objekt entsprechende Gdelzahl gefunden werden kann und
da auch umgekehrt, wenn eine Zahl vorgegeben wird, (a) effektiventschieden werden kann, ob diese Zahl berhaupt die Gdelzahl eines
formalen Objektes des Systems ist, und (b) falls dies der Fall ist, dieses
entsprechende formale Objekt effektiv angegeben werden kann. Auf
Grund dieser Gdelisierung entspricht dann dem effektiventscheidbaren
metamathematischen Prdikat "ffi(x,D)" ein effektiventscheidbares
zahlentheoretisches Prdikat "R(x,o)", welches quivalent ist mit der
Aussageform ,,0 ist die natrliche Zahl, welche (auf Grund der Gdelisierung) einem formalen Objekt D zugeordnet wurde, so da ffi(x,D)".
Es mu dann gelten: (ED)ffi(x,D) ~ (Eo)R(x,o). Wegen der These
66
Die Zeichen des Systems brauchen nicht endlich viele zu sein. Wenn
das System unendlich viele Zeichen enthlt, so mssen diese aber numerierbar
sein und jedes formale Objekt mu aus einer endlichen Anzahl von diesen
abzhlbar unendlich vielen Zeichen bestehen.
Rekursive Aufzhlbarkeit
71
von CHURCH mu dieses Prdikat "R(x,y)" allg. rek. sein. Wir erhalten
somit aus (20):
(21) (Ey)R(x,y) +--+ I- lP(!) (fr allg. rek. "R").
Der Satz, da eine bestimmte Formel des Systems beweisbar ist,
mu also stets in der Gestalt ,,(Ey)R(x,y)" mit allg. ~ek. "R" darstellbar
sein. Wir erhalten auf Grund dieser inhaltlichen berlegungen in Ergnzung zur These von CHURCH somit die
These von KLEENE: Fr ein gegebenes formales System FS, in welchem
die Anwendungsflle "P(O)", "P(l)", "P(2)", ... eines Prdikates "P(x)"
durch verschiedene Formeln lP(!) (fr x = 0, 1,2,3, ... ) ausgedrckt
werden, ist das metamathematische Prdikat "lP(!) ist beweisbar in FS"
in der Gestalt ,,(Ey)R(x,y)" ausdrckbar, wobei "R" allg. rek. ist (d. h.
es gibt ein allg. rek. Prdikat "R", so da (21) gilt).
Wegen der aus dem Aufzhlungstheorem (Th 9 , Th io ) gezogenen
Folgerung htte es hier auch gengt, von "R" zu verlangen, da es
prim. rek. ist.
Ein Anwendungsbeispiel knnen wir aus der Arithmetisierung von ZL
(Teil B) entnehmen. Dort war (Ende von Abschn.4) das prim. rek.
Prdikat "Bew(f,x,y)" verwendet worden. Wenn f die Gdelzahl der
Formel lP(IX*) aus ZL ist, dann kann, zurckgehend auf die Bedeutung
jenes Prdikates, "I- lP(!)" tatschlich in der Form ,,(Ey)R(x,y)" mit
prim. rek. "R" ausgedrckt werden, wenn "R(x,y)" hierbei definiert
wird durch: R(x,y) +--+ Bew(f,x,y).
Die These von KLEENE hat einen etwas anderen Charakter als die
These von CHURCH. Die letztere ist eine Hypothese, welche allerdings,
wie bereits hervorgehoben, durch logische wie empirische Daten in so
auerordentlichem Mae gesttzt werden konnte, da ihre Richtigkeit
heute praktisch auer Zweifel steht. Die These von KLEENE hat demgegenber eher definitorischen Charakter; denn es wird darin der Begriff
des Beweises von lP(!) fr ein gegebenes x expliziert: Wenn ein formales
System vorgegeben wrde, welches die Bedingungen dieser These nicht
erfllte, so wrden wir es ablehnen, zu sagen, da es sich um ein System
handle, in welchem die Theorie des Prdikates "P(x)" formalisiert
wird. Denn die Nichterfllung der Bedingungen dieser These knnte
nur darin bestehen, da nicht fr alle als "Beweisschritte" bezeichneten
Einzelprozesse ein effektives Entscheidungsverfahren zur Verfgung
stnde; ein Gebilde, in dem solche Schritte vorkommen, wrden wir
jedoch nicht mehr "Beweis" nennen wollen.
Man wird vom System FS allein unter der Voraussetzung sagen,
da es eine widerspruchsfreie oder korrekte Formalisierung des Prdikates
"P(x)" enthlt, wenn eine Formel lP(!) nur dann beweisbar ist, sofern
"P(x)" gilt, d. h. wenn die Bedingung erfllt ist:
(22) I- lP(!) --. P(x).
Andererseits wird FS allein unter der Voraussetzung eine vollstndige
Formalisierung der Theorie von "P(x)" genannt werden, wenn fr alle x,
72
Aus (22) und (23) zusammen erhlt man somit die folgende Bedingung
dafr, da FS eine widerspruchsfreie und vollstndige Formalisierung
der Theorie von "P(x)" enthlt:
(24)
<P("t)
+--+
P(x).
Auf Grund der These von KLEENE erhalten wir daraus unter Benutzung von (21) die Aussage, da es dann und nur dann eine widerspruchsfreie und vollstndige Formalisierung der Theorie von "P(x)"
gibt, wenn ein zweistelliges allg. rek. Prdikat "R" gefunden werden
kann, so da gilt:
(25)
(Ey)R(x,y)
+-+
P(x).
Wir whlen jetzt als einstelliges Prdikat "P(x)" das frhere Prdikat
,,(y)TI(x,x,y)". Auf Grund von Th w (8), wissen wir, da es bei dieser
Wahl von "P(x)" kein allg. rek. Prdikat geben kann, so da (25) fr
alle x gilt (denn fr jedes beliebige "R" kann wegen Thl l eine Zahl d
gefunden werden, welche die quivalenz (25) falsifiziert). Daraus folgt
die verallgemeinerte KLEENEsche Fassung des GDELsehen Theorems:
Thw Es existiert kein widerspruchsfreies und vollstndiges formales
System fr das Prdikat ,,(y)TI(x,x,y)".
KLEENE hat eine noch detailliertere Beschreibung dieses Sachverhaltes gegeben 67 : Es sei FS ein formales System, dessen Formeln l/>{'t;)
das Prdikat ,,(y)TI(x,x,y)" fr x == 0, 1, 2, ... formal ausdrcken mgen.
"R(x,y)" sei das allg. rek. Prdikat, welches (21) fr dieses jetzt vorliegende <P erfllt. Wir beschrnken uns nun auf die Forderung, da
FS eine (im obigen Sinne) korrekte oder widerspruchsfreie Formalisierung
von ,,(y)TI(x,x,y)" enthlt (whrend wir die Frage der Vollstndigkeit
fr den Augenblick offen lassen). Dann mu gem (22) gelten:
(26)
Nun gilt die quivalenz: (y)TI(x,x,y) +--+ (Ey)TI(x,x,y) (a). Auf Grund
des Aufzhlungstheorems Th g, (5) (fr n = 1 und Einsetzung jener
Ziffer "d" fr " Xl'" die Th g fr das jetzt vorliegende "R" erfllt), ergibt sich, da die rechts stehende Formel von (a) nach Ersetzung
von "x" durch "d" quivalent ist mit ,,(Ey)R(d,y)", d. h. da gilt:
(Ey)TI(d,d,y) +--+ (Ey)R(d,y) (b). Da von "R H vorausgesetzt worden
war, da es (21) erfllt, gilt weiterhin: (Ey)R(d,y) +--+ 1-l/>(b)68 (0).
[16], S. 302.
Man beachte, da hier auch auf der rechten Seite das intuitive Negationszeichen verwendet wird, welches sich ber das Zeichen ,,1-" erstreckt. Die
ganze rechts stehende Aussage ist somit eine symbolische Abkrzung fr
die metatheoretische Behauptung ,,!P(b) ist unbeweisbar in FS".
67 KLEENE
88
Rekursive Aufzhlbarkeit
73
Th17 gibt den Inhalt von Th16 mit grerer Genauigkeit an. Aus
der Annahme, da FS widerspruchsfrei ist, folgt, da nicht alle wahren
Stze, welche aus dem Prdikat ,,(y)T1(x,x,y)" gebildet werden knnen,
in FS beweisbar sind: es exi8tiert al80 kein vollBtndiges deduktive8 SY8tem
fr dieses Prdikat69
Das ursprngliche GDELsche Theorem war fr ein bestimmtes
formales System bewiesen worden. Es wurde innerhalb dieses Systems
eine formal unentscheidbare Formel konstruiert und damit die Unvollstndigkeit jenes Systems bewiesen. In Th16 und Th17 wird dagegen
nicht von einem bestimmten System ausgegangen, sondern von dem
bestimmten einstelligen intuitiven Prdikat ,,(y)T1(x,x,y)", von welchem
gezeigt wird, da es berhaupt kein formales System geben kann, das
eine vollstndige Formalisierung dieses Prdikates enthlt. Damit
ist die grtmgliche Abstraktion von konkreten formalen Systemen
vollzogen worden. Auch die Voraussetzungen, welche bei diesem Beweis
bentigt werden, sind denkbar schwach: Um die Bedeutung des
Prdikates ,,(y)1\(x,x,y)" zu verstehen, braucht man lediglich den
Begriff der prim. rek. Funktion in Anwendung auf einen speziellen Fall
zur Verfgung zu haben, und um die erforderlichen Beweisschritte
vollziehen zu knnen, bentigt man nur einige einfache Operationen,
8. In KLEENE [16], S. 304, wird gezeigt, da dieses Theorem auch formuliert werden kann, ohne vorauszusetzen, da die Formeln IJ)(~) die Anwendungsflle des Prdikates ,,(y)7't(x,x,y)" ausdrcken. An die Stelle der Bezugna.hme auf die Interpretationen jener Formeln tritt dann die Verwendung
der syntaktischen Begriffe der Widerspruchsfreiheit und Vollstndigkeit
des Systems im frher angegebenen Sinn (Ende von Abschn. 1).
74
die sich auf den Allquantor beziehen Wld selbst innerhalb der intuitionistischen Logik Gltigkeit besitzen, sowie die Annahme der These von
KLEENE, welche auf einer Analyse dessen beruht, was vorliegen mu,
damit von einem Beweis gesprochen werden kann.
Solange man bestimmte Systeme zum Gegenstand der Betrachtung
macht, wird man der Meinung sein, da ein "Vollstndigkeitsdefekt"
solcher Systeme sich auf einer hheren Ebene beheben lt. Die eben
geschilderten Resultate von KLEENE machen hingegen den Glauben
illusorisch, da jeder Vollstndigkeitsdefekt sich in irgendeiner Weise:
durch nderung oder Erweiterung des formalen Systems, beheben lasse;
es handelt sich hier um einen an sich bestehenden, unbehebbaren Mangel
jedes formalen Systems. Angenommen nmlich - um ein Bild von
KLEENE zu gebrauchen - , es gbe einen allwissenden Zahlentheoretiker
(das mathematische Analogon zum LApLAcEschen Weltgeist). Dieser
Zahlentheoretiker wrde unendlich viele Tatsachen auf einmal berblicken knnen; vor allem wrde er die Gesamtheit aller berhaupt
mglichen formalen Systeme berschauen und die widerspruchsfreien
daraus aussondern knnen. Auch dieser allwissende Geist jedoch wre
nicht imstande, unter diesen widerspruchsfreien Systemen ein solches
ausfindig zu machen, welches eine Formalisierung von ,,(y)TI(x,x,y)"
enthielte und zugleich vollstndig wre. Jede widerspruchsfreie
Formalisierung dieses Prdikates, die er uns zu liefern vermchte, wrde
sich als unvollstndig erweisen.
Vor einer weiteren Diskussion fhren wir noch den folgenden Begriff
ein. Ein Prdikat "F(x l , . , xnY' wird rekursiv au/zhlbar genannt,
wenn es ein allg. rek. Prdikat "R(xl , . , x""y)" gibt, so da fr alle
n-tupel Xl' , X", die quivalenz gilt: F(x l , , X .. ) +--+ (Ey)R(xl , , x""y).
Eine intuitive Rechtfertigung fr den Ausdruck "aufzhlbar" liegt in
folgendem. Setzen wir der Einfachheit halber n = 1. Es lassen sich
bekanntlich alle (n I)-tupel fr beliebiges n als eine abzhlbare Folge
anschreiben, insbesondere die Paare z. B. in der Form: (0,0), (1,0), (0,1),
(1,1), (2,0), (0,2), (2,1), . ... Da laut Voraussetzung "R" allg. rek. ist,
kann man fr jedes Paar effektiv entscheiden, ob "R(x,y)" darauf zutrifft oder nicht. Gilt "R(x,y)" nicht, so ist das entsprechende Paar (x,y)
aus der Folge zu streichen. Dadurch erhalten wir eine Aufzhlung aller x
(mit Wiederholungen), fr die es ein y gibt, so da "R(x,y)" gilt, bzw.
wegen der quivalenz: eine Aufzhlung aller x, so da "F(x)" gilt. Will
man eine Aufzhlung ohne Wiederholungen erhalten, so mu man nach
Vornahme der erwhnten Streichungen in der Folge fr jedes gegebene x,
so da "R(x,y)" zutrifft, nochmals z. B. alle Paare (x,y) bis auf das erste
streichen. Die analoge berlegung gilt fr den allgemeinen Fall beliebiger
(n I)-tupel. Infolge des Aufzhlungstheorems Th e, (5), kann man allen
n-stelligen rekursivaufzhlbaren Prdikaten eine normierte Darstellung
mittels eines n + 2-stelligen prim. rek. Prdikates geben; denn das
,,(Ey)R(xl , . , x""y)" kann wegen (5) durch ,,(Ey)Tn(d,xl , , xny)"
ersetzt werden, wobei das "T n" prim. rek. ist.
Rekursive Aufzhlbarkeit
75
Satz 111: "F(x)" ist rekursiv au/zhlbar genau dann, wenn entweder
"F(x)" niemals gilt (so da die durch "F(x)" bestimmte Klasse also leer
ist) oder eine prim. rek. Funktion / existiert, so da "F(y)" dann und nur
dann gilt, wenn y im Bildbereich der Funktion / liegt.
Durch /(0), /(1), /(2), ... wird also eine Aufzhlung (mit Wiederholungen)
aller und nur der Elemente der durch "F(x)" bestimmten Klasse vorgenommen (in klassentheoretischer Schreibweise mit "F" als Klassensymbol: durch /(0), /(1), ... wird eine Aufzhlung aller x bewirkt, so
da xeF), sofern diese Klasse berhaupt ein Element enthlt. Der
Beweis dieser Behauptung ist sehr einfach: Fr den Fall, da die Klasse F
leer ist, also "F(x)" niemals gilt, ist die Behauptung trivial. Wir wollen
daher voraussetzen, die Klasse besitze ein Element r.
l. Angenommen, die prim. rek. Funktion / nehme die geschilderte
Aufzhlung vor. Dann gilt offenbar: F(x) +-~ (Ey) (f(y) = X)70. Hinter
dem Existenzquantifikator steht rechts (wegen 14, Abschn. 3, und der
ebenfalls in Abschn. 3 gewonnenen Erkenntnis, da durch Einsetzung
von prim. rek. Funktionen in die Argumentstellen eines prim. rek.
Prdikates wieder ein prim. rek. Prdikat entsteht) ein prim. rek. Prdikat.
Insgesamt steht also rechts ein Ausdruck von der Gestalt ,,(Ey)R(x,y)"
mit prim. rek. "R". "F(x)" ist daher rekursivaufzhlbar.
2. Angenommen, "F(x)" sei rekursivaufzhlbar. Wir machen hier
von der Tatsache Gebrauch, da die Klasse F das Element r enthlt.
Dann gilt also zunchst: F(x) +-~ (Ey)R(x,y). Die gesuchte Funktion /
kann jetzt so definiert werden:
Auf Grund der Ergebnisse ber prim. rek. Funktionen ist / prim. rek.,
wenn "R" dies ist. "R" ist zwar im allgemeinen nur als allg. rek. vorausgesetzt. Infolge des Aufzhlungstheorems aber kann es durch das
Prdikat "Tl" ausgedrckt werden, welches prim. rek. ist. Damit ist
alles bewiesen72
70
71
76
Wir wollen schlielich noch eine wichtige Relation zwischen den beiden
Begriffen der Allgemein-Rekursivitt und der rekursiven Aufzhlbarkeit
feststellen. Wenn K eine Klasse ist, so da fr jedes Objekt effektiv
entschieden werden kann, ob es zu dieser Klasse gehrt oder nicht,
dann ist diese Klasse rekursivaufzhlbar. Denn wegen der These von
HURCH ist zunchst K allg. rek. Erst recht ist dann K rekursiv aufzhlbar (denn man kann, wie bereits hervorgehoben, aus einem allg.
rek. Prdikat "F(x)" ein Prdikat von der Gestalt ,,(Ey)R(x,y)" mit
allg. rek. "R" stets dadurch erhalten, da man das triviale Glied "y = y"
hinzufgt, den Existenzquantifikator ,,(Ey)" dem ganzen Ausdruck
voranstellt und somit das rekursivaufzhlbare Prdikat ,,(Ey) (F(x) &
y = y)" erhlt). Die Komplementrklasse K von K ist zunchst ebenfalls
allg. rek. (da x8K +-+ x8K, d. h. das Prdikat "x8K" durch Negation
aus dem als allg. rek. vorausgesetzten Prdikat "x8K" gewonnen wird73 ).
Wegen der eben gemachten Feststellung ist daher K a fortiori rekursiv
aufzhlbar. Es gilt somit: Wenn die Klasse K allg. rek. (effektiv entscheidbar74 ) ist, so ist sowohl K wie K rekursivaufzhlbar. Es gilt auch
die umgekehrte Implikation. Es sei nmlich K sowie K rekursiv aufzhlbar. Dann gibt es ein allg. rek. Prdikat " R 1 ", so da "x8K"
darstellbar ist durch ,,(Ey)R1 (x,y)", und ein allg. rek. Prdikat "R 2 ",
so da "xeK" darstellbar ist durch ,,(Ey)R2 (x,y)". Es gilt nun:
(xeK) V (x8K) (um den folgenden Schlu auch intuitionistisch gltig
zu machen, mu dies als Zusatzhypothese mit aufgenommen werden).
Diese Aussage ist auf Grund der Voraussetzungen gleichwertig mit
,,(Ey)[R1(x,y) v R 2(x,y)]". Da die Existenzbedingung erfllt ist, kann
man daher auf diesen letzten Fall den unbeschrnkten ,u-Operator anwenden und den Ausdruck bilden ",uy(R 1 (x,y) V R 2(x,y))". Es ist
nun leicht zu sehen, da die Aussage "x8K" quivalent ist mit
"R1 [x,,uy(R 1(x,y) V R 2(x,y))]". Es gilt also (fr die klassische Logik)
das Theorem
Th1S Eine Klasse K ist genau dann effektiv entscheidhar (allg. rek.),
wenn sowohl K wie die Komplementrklasse j{ rekursiv au/zhlbar ist75
Um diese Begriffe auf die metamathematischen Resultate anzuwenden,
bemerken wir noch, da auch die Umkehrung der These von KLEENE
in dem folgenden Sinne zutrifft: Fr jedes Prdikat von der Gestalt
,,(Ey)R(x,y)" mit allg. rek. "R" gibt es ein widerspruchsfreies und
da alle rekursivaufzhlbaren Klassen, die wir verwenden, auch in dem
strkeren KLEENEschen Sinn rekursivaufzhlbar sind.
73 Das frhere Ergebnis (Abschn.3), wonach die Anwendung aussagenlogischer Operationen, insbesondere also auch der Negation, auf prim. rek.
Prdikate wieder prim. rek. Prdikate ergibt, ist natrlich analog auf allg.
rek. Prdikate zu bertragen.
74 Eine Klasse K heit effektiventscheidbar, wenn das Prdikat "xeK"
effektiventscheidbar ist.
76 Statt von einer Klasse htte hier wieder von einem Prdikat gesprochen werden knnen.
Rekursive Aufzhlbarkeit
77
78
Rekursive Aufzhlbarkeit
79
80
81
auerdem ein solches formales System sucht, welches nicht nur die
wahren Flle eines Prdikates zu beweisen gestattet, sondern die falschen
widerlegt (diese Forderung wre z. B. dann erfllt, wenn nicht nur die
formalen Reprsentanten wahrer Flle des Prdikates innerhalb des
Systems beweisbar wren, sondern wenn auerdem die Negationen von
Formeln, welche formale Reprsentanten der falschen Flle jenes
Prdikates darstellen, alle im System bewiesen werden knnten). Unter
dieser Annahme kann man nun mit Hilfe von Th18 sofort erkennen, da
das verallgemeinerte Theorem von GDEL aus Th15 deduziert werden
kann. Denn ,,(y)T1(x,x,y)" ist offenbar (sogar intuitionistisch) die
Negation von " (Ey) T1(x,x,y)". Falls das tertium non datur fr diese
Prdikate gilt, mu jedes x entweder in der durch das erste Prdikat
bestimmten Klasse liegen oder in der durch das zweite Prdikat bestimmten Klasse. Htten wir daher ein widerspruchsfreies und vollstndiges formales System fr " (y)T1(x,x,y)", so wre dieses Prdikat
rekursivaufzhlbar (These von KLEENE). Da dieses Prdikat das
Komplementrprdikat von ,,(Ey)T1(x,x,y)" darstellt und dieses letztere
Prdikat gewi rekursivaufzhlbar ist (vgl. Funote 77), so wre nach
Th18 die Klasse der x, welche das Prdikat ,,(Ey)T1(x,x,y)" erfllen, allg.
rek. oder effektiventscheidbar. Dies ist jedoch nach Th15 nicht der
Fall; es mu daher die Voraussetzung falsch sein und ,,(y)T1(x,x,y)"
kann nicht rekursivaufzhlbar sein, d. h. Th18 mu gelten. Man kann
sich den Grundgedanken dieser Beweisfhrung so veranschaulichen:
Man denke sich alle Beweise innerhalb der fr das Prdikat
,,(y)T1(x,x,y)" gesuchten vollstndigen Theorie FS1 nach zunehmender
Lnge geordnet. Ebenso denke man sich fr eine vollstndige Theorie
FS 2 von ,,(Ey)T1(x,x,y)" (die es wegen der rekursiven Aufzhlbarkeit
dieses Prdikates geben mu) alle Beweise nach zunehmender Lnge
geordnet. Man greife eine beliebige Zahl u heraus und untersuche in
einem ersten Schritt, ob der erste Beweis von FS1 ein Beweis jener Formel
ist, welche die Aussage ,,(y)T1(u,u,y)" formal reprsentiert. Wenn nicht,
so untersuche man, ob der erste Beweis von FS 2 einen Beweis jener Formel
darstellt, welche die Aussage ,,(Ey)T1(u,u,y)" in FS2 formal reprsentiert.
Ist dies auch nicht der Fall, so gehe man zum zweiten Beweis in FS1
ber usw. Da wegen des vorausgesetzten tertium non datur fr jedes u
entweder ,,(y)T1(u,u,y)" oder ,,(Ey)T1(u,u,y)" gelten mu und FS1
wie FS 2 nach Annahme vollstndige Theorien dieser Prdikate sind, so
mte man nach einer endlichen Anzahl von Schritten eine effektive
Entscheidung herbeifhren knnen. Dies widerspricht jedoch Th15
82
hat gezeigt, da es mglich ist, zwei einander ausschlieende (d. h. elementfremde) rekursivaufzhlbare Klassen K o und K I zu konstruieren, die
nicht durch eine allg. rek. Klasse in der Weise voneinander getrennt
werden knnen, da entweder K o ganz in dieser allg. rek. Klasse liegt
und K I auerhalb von ihr oder umgekehrt. Wegen Th l8 ist diese Behauptung gleichbedeutend mit der anderen, da es unmglich ist, alle
natrlichen Zahlen vollstndig in zwei einander ausschlieende rekursiv
aufzhlbare Klassen Mo und MI aufzuteilen. so da K o C M o78 und
K I C MI. Wre nmlich eine solche vollstndige Aufteilung aller
natrlichen Zahlen mglich, so wrde MI die Komplementrklasse von Mo
bilden und wir knnten wegen Th l8 auf die Allgemein-Rekursivitt
von Mo schlieen; Mo htte dann die gewnschte Eigenschaft. Ebensogut
aber knnte man von MI ausgehen, Mo als dessen Komplementrklasse
nehmen und auf die Allgemein-Rekursivitt von MI schlieen, so da MI
die gewnschte Klasse wre.
Die beiden Klassen K o und K I werden mittels zweier Prdikate
"Wo" und" W I " gebildet, die ihrerseits unter Verwendung des Prdikates
"TI(z,x,y)" und der prim. rek. Operation (X)i (t19, Abschn. 3) definiert
werden. Die Definitionen der beiden Prdikate lauten:
"Wo(x,y)" sei eine Abkrzung fr "TIx)I'X,y) & (z){z <; y -- l'tx)o,
x,z)}", "WI(x,y)" sei eine Abkrzung fr "TIx)o,x,y) & (z){z <; y-T I xh,x,Z)}"79.
83
(Ey)WI(x,y)
-+
(Ey)Wo(x,y).
(Ey)Ro(x,y) ~ (Ey)TIk)o,x,y);
(30)
(Ey)RI(x,y) ~ (Ey)TIkh,x,y).
Richtigkeit fr alle Zahlen, die kleiner sind als ein vorgegebenes y. Daher
kann man aus (b) und (0) schlieen: (Ey)[TIk)o,k,y) & (z){z ..;;; y-+
TIk)l,k,z))]. Das letztere ist aber, wie der Vergleich lehrt, nichts
anderes als: (Ey)WI(k,y), also wegen der Definition von K I dasselbe
wie: keKI . Wegen K I C MI mu dann auch gelten: keMI , was dem
obigen Ergebnis keMI widerspricht. Also mu die Annahme falsch
gewesen sein und k kann kein Element von Mo darstellen. Durch Betrachtungen, welche zu den eben angestellten vollkommen parallel
verlaufen, kann man erkennen, da k auch kein Element von MI sein
kann. Damit ist bewiesen, da tatschlich keine vollstndige Aufteilung
aller natrlicher Zahlen in zwei einander ausschlieende rekursiv aufzhlbare Klassen Mo und MI besteht, so da K o C Mo und K I C M l (fr
die mit Hilfe von" Wo" und" W l " definierten Zahlklassen K o und K I ).
Diese berlegungen fhren zu einer hnlichen Generalisierung des
verallgemeinerten GDELsehen Theorems Thl8 (bzw. Th17 ) wie der in
Abschn. 2 angefhrte Beweis von ROSSER eine Generalisierung des ursprnglichen GDELschen Theorems darstellte. Um dies einzusehen,
8-
84
85
(32)
Damit man mit Recht davon reden kann, da innerhalb von FS Beweise
fr die Formeln tP(~) oder I ",tP(~), existieren, mu die These von KLEEN"E
erfllt sein, d. h. es mu zwei allg. rek. Prdikate "Ro" und "RI " geben,
so da gilt:
I- tP(~);
(33)
(E~)Ro(x,y) +--+
(34)
(Ey)RI(x,y) +-+ I-
",tPW'.
Man sieht leicht ein, da diese beiden Prdikate mit jenen identifiziert
werden knnen, die oben zur Definition von Mound MI verwendet wurden;
denn dann gilt tatschlich wieder K o C Mo und K I C MI. (Wenn z. B.
,,(Ey)Wo(x,y)" gilt, so mu wegen (31) und (33) auch ,,(Ey)Ro(x,y)"
gelten; analog wegen (32) und (34) im anderen Falle.) Das verallgemeinerte
Theorem von GDEL in symmetrischer Form besagt nun:
Th19 Es gibt kein formal widerspruchsfreies und vollstndiges System,
welches die Bedingungen (31) bis (34) erfUt (d. h. man kann fr jedes
vorgeschlagene System eine Zahl k angeben, so da weder I- tP(f) noch
I- I ~(f)').
Wenn man von der Voraussetzung der formalen Widerspruchsfreiheit
ausgeht, so da nicht gleichzeitig I-tPW und I- I ",tPW', so kann der
Beweis von Thl9 vollkommen parallel mit den obigen berlegungen
erfolgen, wonach es eine Zahl k gibt, die weder in Mo noch in MI liegt.
Man kann hier dieselbe Zahl k whlen wie dort. Da, wie bereits erwhnt,
die hier verwendeten Prdikate "R o" bzw. "RI" mit den dortigen gleichbenannten Prdikaten identifiziert werden knnen, gilt wegen (33)
und (34) fr dieses k: weder I- tP(f) noch I- I ",tP(f) ,BI.
81 Dabei wird die Tatsache bentzt, da die obige Voraussetzung, wonach
die beiden Klassen Mound Mi einander wechselseitig ausschlieen, jetzt
sein Gegenstck in der Forderung der formalen Widerspruchsfreiheit des
Systems findet, wonach es kein x geben kann, so da gleichzeitig !P(~)
und r ,-,!P(~)' beweisbar ist. Man kann den Beweis von Th 19 wieder durch
intuitive re4~ctio ad absurdum fhren: Man gehe von der Annahme
I- !P(f) aus. Uber (33) und (29) gelangt man dann zu: (Ey)T 1 ((k)o,k,y) (a).
Aus der Annahme und der Voraussetzung der Widerspruchsfreiheit erhlt
man: I- r,-,!p(f)' und damit ber (34) und (30): (y)'i\((kh,k,y) (b). Aus (a)
und (b) gewinnt man wie oben: (Ey)W1 (k,y). Wegen (32) also: I- r,-,!p(f)',
86
----- ------Mo
Ko
MI
K1
Die Klasse der x, so da I- CP(~), ist wegen (33) (beruhend auf der The~e
von KLEENE) rekursivaufzhlbar. Sie umfat wegen (31) auerdem
die Klasse K o. Daher ist sie von der Art der Klasse Mo. Wir nennen
sie M~. Wre nun die Klasse der x, so da I- CP(~), rekursivaufzhlbar,
so wre dies eine Klasse von der Art MI' welche K I ganz umfat. Wir
nennen sie M~. Andernfalls nmlich mte es ein g geben, das in K I '
aber nicht in llf~ liegt. Dies ist aber ausgeschlossen, da wegen der
Definition von K I dann (Ey) WI(g,y) und daher infolge (32) I- ,- ",-,CP(g)' (a)
gelten mte. Wenn g aber nicht in M~ liegt (also nicht I- CP(A)), so mu
d. h. die Negation der Annahme. Somit gilt: I- <P(f). Genau so bewei,
man, da I- r-..<p(f)'. Ygl. dazu auch KLEE~E [U;]. S.309.
87
es in M~ liegen und gelten: I- <1>(g) (b). (a) und (b) zusammen sind unvereinbar mit der Voraussetzung der formalen Widerspruchsfreiheit.
Bei diesem letzten Schlu wurde von der Tatsache Gebrauch gemacht,
da die beiden sich nicht berschneidenden Klassen M~ und M~ zusammen alle natrlichen Zahlen enthalten (denn fr jede Zahl x ist <1>(~)
entweder beweisbar oder nicht beweisbar 82 ). Gerade diese Tatsache aber
steht in Widerspruch zu dem frheren, durch die obige Figur dargestellten
Ergebnis: Wir htten, wenn auch M~ rekursivaufzhlbar wre, eine
vollstndige Einteilung aller natrlichen Zahlen in zwei rekursiv aufzhlbare Klassen M~ und M~, so da K o C M~ und K 1 C M~, in
graphischer Darstellung:
Dies haben wir als unmglich erkannt (Satz IV). Man erhlt nun:
Th21 Fr ein SY8tem FS, welche8 die Bedingungen von Th 20 (unter
Wegla88Ung von (33)) erfllt, i8t da8 Ent8cheidung8problem unl8bar, d. h.
e8 i8t unmglich, ein ettektive8 EntBcheidung8verfahren zu entwickeln,
welche8 UM ge8tattet fe8tzU8tellen, ob eine Formel in FS bewei8bar i8t83 .
Der Beweis ergibt sich unmittelbar aus Th18 und Th 20 - Denn wre
das Entscheidungsproblem fr Beweisbarkeit in FS lsbar, also die
Klasse der beweisbaren Stze von FS eine effektiventscheidbare Klasse,
dann wre diese Klasse wegen der These von ClWRCH allg. rek. Dann
mte aber wegen Th18 diese Klasse sowie ihre Komplementrklasse
(= die Klasse der nichtbeweisbaren Formeln von FS) rekursivaufzhlbar
sein, d. h. es mte zwei allg. rek. Prdikate "Ro" und "P" geben, so da
(Ey)Ro(x,y) +--+ I- CP(~) (womit (33) erfllt ist) und (Ey)P(x,y) +-+ I- CP(~).
In Th 20 wurde jedoch gezeigt, da die Klasse der x, fr welche CP(~) nicht
beweisbar ist, nicht rekursivaufzhlbar ist.
Hier zeigt sich wiederum die Bedeutung von Th1S : Der Nachweis
dafr, da die rekursivaufzhlbare Klasse der beweisbaren Formeln
82 Dies ist eine Schluweise der klassischen Logik. Sie lt sich in eine
intuitionistisch gltige umformen; denn fr das obige Resultat, wonach es
unmglich ist, alle natrlichen Zahlen in die beiden einander ausschlieenden
Klassen Mo und MI einzuteilen, so da K o C Mo und K I C MI' wrde es
gengen, anstatt der Voraussetzung (x)(xeMoV xsM I ) die schwchere Voraussetzung (x)(xeM o v xsM I ) zu gebrauchen. Dann wird der hier vollzogene
Schlu dadurch intuitionistisch gltig, da man statt der Annahme "fr
jedes x ist cP(!) beweisbar oder unbeweisbar" die auch intuitionistisch gltige
Voraussetzung macht:
(x)[(xsx
I-
cP(~))
v (xsx I- cP))]
88
t-
};(r,t)) A Vy(y
t)::J ",P(r,y)'.
89
t- (J)(!),
also gerade dem gewnschten (31). Um die Gltigkeit von (32) einzusehen, kann man zunchst die Formel (J)(!) nach den ebenfalls im
Beweis von Th 4 (letztes Stck) verwendeten Methoden umformen und
erhlt:
Aus dieser Formel gewinnt man durch Kontraposition :
d. h. gerade die gewnschte Formel (32). Wir sehen also, da die Voraussetzung fr die Anwendung von Th 21 auf das System ZL erfllt ist. Damit
ist alles bewiesen.
Mit diesem Beweis ist zugleich nochmals die Bedeutung des KLEENEsehen T-Prdikates zutage getreten. Die ursprnglichen Resultate von
KLEENE bezogen sich nicht auf bestimmte Kalkle, sondern auf Prdikate,
und es wurde (in Th1S und Th16) gezeigt, da es entweder keine algorithmischen Theorien oder nicht einmal vollstndige formale Systeme (vollstndige Beweisverfahren) fr gewisse dieser Prdikate gibt. Wir haben
bereits an frherer Stelle darauf hingewiesen, da man die Unentscheidbarkeit bestimmter Kalkle auf die Unentscheidbarkeit solcher Prdikate
zurckfhren kann. Dies ist in Th 22 geschehen; denn dieses Theorem
wurde unter Verwendung zweier prim. rek. Prdikate" Wo(x,y)" und
"W1 (x,y)" gewonnen, die ihrerseits mittels des T-Prdikates gebildet
worden waren.
Es kann jetzt weiter rasch ein Zusammenhang zwischen dem Satz
von GDEL und dem Satz von CHURCH hergestellt werden. Die ursprnglichen speziellen Resultate lassen sich nicht miteinander in Beziehung
setzen, da sich der Satz von GDEL auf das zahlentheoretische System ZL
bezieht, der Satz von CHuRCH hingegen auf die Quantifikationstheorie.
Mit Th 22 wurde aber der Satz von CHURCH auch als fr ZL gltig erkannt.
Es zeigt sich jetzt, da der Satz von CHURCH fr ZL strker ist als der
von GDEL (zumindest bei Zugrundelegung der klassischen Logik), da
90
der letztere aUii dem ersteren abgeleitet werden kann (unter Bentzung
des tertium non datur).
Zunchst mssen wir jedoch den Satz von CauRca, den wir in Th 22
fr die Klasse der beweisbaren Formeln von ZL aussprachen, auf die
Klasse ~ der beweisbaren Stze (d. h. der beweisbaren Formeln ohne
freie Variable) von ZL bertragen. Diese bertragung ist deshalb berechtigt, weil eine Formel mit freien Variablen (z. B. (/J(o;,)) in
ZL ja genau dann beweisbar ist, wenn ihre "Allschlieung" (z. B.
'Vo;V(/J(o;,r1 ) in ZL beweisbar ist, d. h. der Satz, der aus der Formel
dadurch entsteht, da man fr alle in der Formel vorkommenden freien
Variablen Allquantifikatoren voranstellt. Htten wir nun ein Entscheidungsverfahren fr die Stze von ZL, so knnten wir es also auch zur
Prfung der Beweisbarkeit von Formeln mit freien Variablen und daher fr
alle Formeln von ZL verwenden. Es folgt somit aus der Unmglichkeit
eines Entscheidungsverfahrens fr die beweisbaren Formeln von ZL (Th 22 )
die Unmglichkeit eines solchen Verfahrens fr die beweisbaren Stze
von ZL.
Nehmen wir nun an, das Theorem von GDEL wre falsch 84 Dann
gibt es keine formal unentscheidbaren Stze in ZL, sondern es gilt von
jedem Satz aus ZL, da entweder er oder seine Negation beweisbar ist.
Da stets effektiv entschieden werden kann, ob eine Formel freie VariablE'
enthlt oder nicht, ist die Klasse der Stze von ZL allg. rek.; die
Klasse der Gdelzahlen von Stzen ist also darstellbar in der Form
"xG(x)" mit allg. rek. "G". Die Klasse 1: der beweisbaren Formeln von
ZL ist nach der KLEENEschen These rekursivaufzhlbar ; daher mu
die Klasse der Gdelzahlen T der beweisbaren Formeln von ZL darstellbar sein in der Form: T = x(Ey)R(x,y) mit allg. rek. "R". Der
Durchschnitt von und )[, der die Klasse 5B der beweisbaren Stze
darstellt, ist also auch rekursivaufzhlbar ; denn die Klasse B der
Gdelzahlen von Formeln, die zu diesem Durchschnitt gehren, hat
dann die folgende Gestalt: B = x(G(x) & (Ey)R(x,y)) = x((Ey) (G(x) &
R(x,y))). Aus diesem letzten Ausdruck wird unmittelbar ersichtlich,
da die Klasse B durch ein Prdikat von der Form ,,(Ey)F(x,y)" mit
allg. rek. "F" festgelegt ist; denn die Konjunktion zweier allg. rek.
Prdikate ergibt wieder ein allg. rek. Prdikat. Die rekursive Aufzhlbarkeit der Klasse 5B bedeutet aber nach einer frheren Feststellung
dasselbe wie da es eine rekursive (sogar prim. rek.) Funktion gibt, so
da alle und nur die Gdelzahlen der beweisbaren Stze im Bildbereich
dieser Funktion liegen. 1 sei eine derartige Funktion fr die beweisbaren
Stze von ZL; Cf> sei ein beliebiger Satz aus ZL. Es wird nun untersucht,
ob der Wert von 1(0) eine Gdelzahl von (/J ist. Ist dies nicht der
Fall, so untersuche man, ob 1(0) eine Gdelzahl von' ,",-,(/JI ist. Ist
84 So wie an frherer Stelle nennen wir eine Klasse K im folgenden
rekursivaufzhlbar, wenn das Prdikat "xcK" rekursivaufzhlbar ist.
\Venn ferner davon gesprochen wird, da eine Klasse von Formeln allg.
rek. bzw. rekursivaufzhlbar ist, so ist damit selbstverstndlich gerneint,
da diese Aussage fr die Klasse der entsprechenden Gdelzahlen gilt.
91
auch dies nicht der Fall, so stelle man dieselbe berlegung fr /(1) an
und schreite in dieser Weise fort. Da laut Voraussetzung in ZL keine
formal unentscheidbaren Stze vorkommen, mte nach einer endlichen
Anzahl von Schritten eine Zahl k gefunden werden, so da /(k) entweder
die Gdelzahl von (/> oder von ,- ,......,(/>1 ist. Damit aber htte man
nach einer endlichen Anzahl von Schritten erkannt, da (/> beweisbar
ist oder da: ,- ,....,(/>1 beweisbar ist, d. h. man htte ein effektives Entscheidungsverfahren fr die Stze von ZL. Da es ein solches (wegen
der erwhnten bertragbarkeit von Th 22 auf die Klasse 18) nicht geben
kann, mu die Voraussetzung unrichtig sein, d. h. es mu formal unentscheidbare Stze in ZL geben.
Statt von der prim. rek. Funktion / auszugehen, htte es auch gengt,
von irgendeiner Numerierung der Beweise von ZL (etwa nach zunehmender
Lnge) auszugehen und zu fragen, ob der erste Beweis in dieser Numerierung ein Beweis von (/> ist und wenn nicht, ob er ein Beweis von ,- ,....,(/>1
ist; wenn auch dies nicht der Fall sein sollte, ob der zweite Beweis in
der Numerierung ein Beweis von (/> ist usw. Wieder mte man, da alle
Beweise numeriert wurden und nach Voraussetzung keine formal unentscheid baren Stze vorkommen sollen, nach einer endlichen Anzahl
von Schritten zu einer Zahl n gelangen, so da der n-te Beweis in der
Nurnerierung entweder ein Beweis von (/> oder von ,- ,......,(/>1 wre.
Wir geben diese Ableitung des Theorems von GDEL aus dem Theorem
von ORURCR nun nochmals in einer formal prziseren Gestalt wieder.
Der Leser mge sich diese Ableitung mit Hilfe eines Diagrammes veranschaulichen, welches in folgender Weise zu konstruieren ist: Ein
groes Quadrat reprsentiere die Klasse aller Formeln von ZL. Dieses
Quadrat sei in vier Rechtecke unterteilt; der Einfachheit halber whle
man diese Rechtecke wieder als Quadrate. Die beiden oberen Quadrate
mgen dann zusammen die Klasse @ der Stze von ZL reprsentieren
und die beiden unteren Quadrate daher zusammen die Komplementrklasse @ von @, d. h. die Klasse der Formeln von ZL mit freien Variablen.
Das linke obere und das linke untere Quadrat sollen zusammen die
Klasse X der beweisbaren Formeln (also der formalen Theoreme) von ZL
reprsentieren und die Summe aus dem rechten oberen und dem rechten
unteren Quadrat daher die Klasse 'i der nichtbeweisbaren Formeln
von ZL. Die Klasse 18 der beweisbaren Stze von ZL wird daher durch
das linke obere Quadrat reprsentiert und die Komplementrklasse 58
durch die Summe aus dem rechten oberen und den beiden unteren
Quadraten. Die gewnschte Ableitung kann dann auf zweifachem
Wege erfolgen:
1. Verfahren. Wir haben bereits oben festgestellt, da aus der Gltigkeit des Theorems von ORURCR fr die Klasse .:t der beweisbaren Formeln
von ZL unmittelbar dessen Gltigkeit fr die Klasse 18 der beweisbaren
Stze von ZL folgt. 18 kann somit nicht allg. rek. sein. Es soll gezeigt
werden, da unter der Voraussetzung der Falschheit des Theorems
von GDEL sowohl )ti wie 58 rek. aufzhl bar sind, woraus sich dann
92
auf Grund von Th lS die Allgemein-Rekursivitt von )8 ergibt, im Widerspruch zu dem eben angefhrten Resultat. Nehmen wir also an, das
Theorem von GDEL sei falsch. Dann ist das System ZL formal vollstndig, d. h. fr jeden Satz W von ZL gilt: I- W oder I- r roo...4>'. Wir
erhalten nun sukzessive die folgenden Resultate:
(a) Die Klasse )8 der beweisbaren Stze von ZL ist rekursivaufzhlbar.
Dieses Resultat hatten wir bereits oben auf Grund der Tatsache gewonnen, da )8 den Durchschnitt von % und @, also einer rekursiv
aufzhlbaren und einer allg. rek. Klasse, bildet. Die Klasse B der Gdelzahlen von Formeln aus )8 ist daher darstellbar in der Form:
B = x(Ey)F(x,y) mit allg. rek. "F".
2. Verfahren. Es soll jetzt unter der Annahme der formalen Vollstndigkeit von ZL gezeigt werden, da die Klasse % der nichtbeweisbaren Formeln von ZL rekursiv aufzhl bar ist. Auf Grund von Th lS
folgt daraus die Allgemein-Rekursivitt von %, im Widerspruch zum
ursprnglichen (d. h. auf die Klasse der beweisbaren Formeln % bezogenen)
93
94
95
96
15. Zusammenfassung
Wir fassen die wichtigsten Ergebnisse nochmals stichwortartig
zusammen.
Quantitikationstheorie: 1. Die Klasse der beweisbaren Formeln IV
ist rekursivaufzhlbar (These von KLEENE). 2. I = IV, d. h. die
87 A. TARSKI, ADecision Method for Elementary Algebra and Geometry,
Santa Monica 1948.
88 A. TARSKI, Undecidability of Group Theory, The Journal of Symbolic
Logic 14, 76/77, 1949, ferner: TARSKI-MoSTOWSKI-RoBINSON, Undecidable
Theories, Amsterdam 1953.
89 "\V. ACKERMANN, Solvable Cases of the Decision Problem, Amsterdam 1954.
Zusammenfassung
97
Klasse der beweisbaren Formeln ist identisch mit der Klasse der
gltigen Formeln (Vollstndigkeitstheorem von GDEL fr die
II: erfllbare nichtI: gltige Formeln
gltige Formeln
III: ungltige Formeln
~==~~===~r====~==~i====~==3,1
VI: unentscheidbare
Stze
_I,
--I
V: widerlegbare Stze
Stegmller, Unvollstndigkeit
98
E. Anhang
16. Die Gdelsehe -Funktion
Der Beweis des Theorems von GDEL in Abschn. 2 erfolgte unter
der Voraussetzung, da die beiden in D2 und Da eingefhrten Prdikate
"R(x,y)" und "Q(x,z)" im System ZL formal ausdrckbar sind (in dem
durch DI , Abschn. 2, S. 21, przisierten Sinn). Auf dem Wege ber die
Arithmetisierung der Metatheorie konnte in Abschn. 4 gezeigt werden,
da jene beiden Prdikate prim. rek. sind. Um den Beweis zum vollstndigen Abschlu zu bringen, mu noch bewiesen werden, da alle
prim. rek. Prdikate innerhalb von ZL formal ausdrckbar sind. Dieser
Beweis ist zumindest dann erforderlich, wenn man das System ZL nicht
durch zustzliche Axiome in geeigneter Weise verstrkt. Wir hatten
am Schlu von Abschn. 4 darauf hingewiesen, da eine derartige Verstrkung mglich wre: Man htte einfach die Rekursionsgleichungen
fr die bentigten prim. rek. Funktionen zum Formalismus ZL als
Axiome hinzuzufgen. Fr den Fall einer derartigen Verstrkung von
ZL wrde sich der noch ausstehende Beweis erbrigen. Es soll nun
gezeigt werden, da diese Verstrkung nicht notwendig ist: das System
ZL in seiner ursprnglichen Gestalt ist bereits vollkommen ausreichend,
um alle prim. rek. Prdikate formal auszudrcken.
Dieser Nachweis wird wieder am besten in zwei Schritten erbracht.
Es wird zunchst gezeigt, da jedes prim. rek. Prdikat ein sogenanntes
arithmetisches Prdikat ist, d. h. mit Hilfe jener begrifflichen Mittel
gebildet werden kann, die durch Logik und Arithmetik zur Verfgung
gestellt werden. In einem zweiten Schritt kann dann auf Grund der
Tatsache, da ZL die Begriffe und Operationen der Logik und Arithmetik
in formalisierter Gestalt enthlt, die formale Ausdrckbarkeit der prim.
rek. Prdikate (nach erfolgter Darstellung als arithmetischer Prdikate)
innerhalb von ZL gezeigt werden.
Zur Erbringung des Nachweises, da jedes prim. rek. Prdikat auch
als arithmetisches formuliert werden kann, mu zunchst eine Methode
zur Verfgung gestellt werden, um endliche Folgen von natrlichen Zahlen
in arithmetischer Weise zu behandeln. Vorlufig verfgen wir noch
ber kein derartiges Verfahren, da die seinerzeitige Methode, wonach
eine endliche Folge von Zahlen n o, n I , . . . , n r durch die Zahl P::-.... .p;r
dargestellt wird, jetzt nicht verwendbar ist; denn fr die Rckgewinnung
Stegmller, Unvollstndigkeit
Anhang
100
der einzelnen Glieder jener Folge aus dieser zuletzt angefhrten Zahl
mu man von den in den Definitionen 3, 18 und 19 eingefhrten
Funktionen n m, Pi und (n)i Gebrauch machen, die zwar alle prim. rek.
sind, jedoch nicht mittels arithmetischer Prdikate gebildet wurden.
Ein Verfahren zur arithmetischen Behandlung von Zahlfolgen wird
dagegen durch die GDELsche -Funktion zur Verfgung gestellt.
Wir geben zunchst eine genauere Bestimmung des ebenfalls auf
GDEL zurckgehenden Begriffs des arithmetischen Prdikates: Ein
Prdikat heit arithmetisch, wenn es allein mit Hilfe von konstanten
Bezeichnungen fr natrliche Zahlen, Variablen fr natrliche Zahlen,
ferner mittels der beiden Funktionen
und "." (Addition und Multiplikation), des Gleichheitsprdikates ,,=", der Konstanten des Aussagenkalkls ,,-", ,,-", ,,&", "v" und der Quantoren ,,(x)" und ,,(Ex)"
ausgedrckt werden kann (wobei natrlich vorausgesetzt wird, da das
Prdikat gem den blichen syntaktischen Regeln gebildet wurde).
Man knnte fr diesen Begriff eine rekursive Definition geben (entsprechend etwa den rekursiven Definitionen von "Term", "Formel" usw.
fr das System ZL), doch verzichten wir hier darauf, einmal deshalb,
weil die vorgenommene Bestimmung hinreichend klar ist, um ein gegebenes Prdikat als arithmetisch zu erkennen, ferner aber auch aus
dem Grunde, weil die Verwendung einer rekursiven Definition fr ein
Prdikat in suggestiver Weise den Gedanken aufdrngt, da der fragliche
Begriff auf ein bestimmtes formales System bezogen sei. Mit der Einfhrung des Begriffs des arithmetischen Prdikates verlassen wir aber
keineswegs den Bereich des intuitiven Denkens, weshalb wir fr die
obige Begriffsbestimmung auch intuitive Symbole (im Sinne von Abschn.l,
S. 20) und nicht formale Symbole verwendeten. Trotz dieser Tatsache,
da das Prdikat " arithmetisch " als intuitives Prdikat eingefhrt
wurde, ist es zweckmig, wenn der Leser bereits an dieser Stelle bedenkt,
da alle fr die Definition des Prdikates "arithmetisch" verwendeten
begrifflichen Hilfsmittel auch in ZL zur Verfgung stehen. Denn daraus
ergibt sich dann ohne weiteres, da mit dem Nachweis, da alle prim.
rek. Prdikate arithmetisch sind, der noch ausstehende Beweis im
wesentlichen bewltigt wurde. Das einzige, was dann noch zu tun brig
bleibt, ist die Erledigung der rein technischen Aufgabe, die intuitiven
gedanklichen Operationen, welche bei der berfhrung von prim. rek.
Prdikaten in arithmetische verwendet wurden, innerhalb von ZL zu
formalisieren.
Die fr die {I-Funktion bentigten Ergebnisse wollen wir schrittweise
gewinnen, indem wir zunchst drei Hilfsstze H 2 bis H 4 beweisen. Die
/I-Funktion wird mittels der durch 12, Abschn. 3, definierten Funktion
rest(m,n) ausgedrckt. Wir mssen zunchst zeigen, da eine Gleichung
von der Gestalt "rest(m,n) = s" arithmetisch ist. Dies ist der Inhalt
von H 2 Die Definition 12 ist fr unsere gegenwrtigen Zwecke unbrauchbar, da in ihr die Nachfolgerfunktion sowie die Funktion Sr! bentzt
werden, die uns jetzt beide nicht zur Verfgung stehen.
H 2 Das Prdikat "rest(m,n) = s" ist arithmetisch.
,,+"
101
H s . Es seien r 1 relativ prime positive ganze Zahlen qo' ... , qr gegeben. Lt man dann in dem (r 1)-tupel rest(p,qo), rest(p,ql)' ... '
rest(p,qr)91 das erste Argument, also die Zahl p, genau qo X ... X qr aufeinanderfolgende Zahlenwerte durchlaufen (die im brigen mit einer beliebigen
Zahl beginnen knnen), so entstehen auf diese Weise alle (r 1)-tupel
n o, ... , n r mit n o < qo, ... , n r < qr genau einmal (die Anzahl der voneinander verschiedenen (r 1)-tupel n o' ... , n r ist daher ebenfalls gleich
qo X ... X qr> da jedes ni von 0 bis qi - 1 luft).
Wir erlutern zunchst den Sinn dieser Behauptung. Man whle
1 vorgegebenen Zahlen qi
eine beliebige Zahl p und berechne fr die r
alle Werte rest(p,qo), ... , rest(p,qr). Wir erhalten auf diese Weise r + 1
Werte n o, ... , n r . Wenn wir dann in einem zweiten Schritt statt p als
1 whlen, so werden wir r
1 neue Werte n',
erstes Argument p
o ... , n'T
erhalten. Falls wir auf diese Weise fortfahren und fr das erste Argument
sukzessive einen um 1 greren Wert einsetzen, so werden wir nach
(qo X ... X qr)-maliger Anwendung dieses Verfahrens alle Werte n o, ... , n r
mit n o < qo, ... , n r < qr erhalten haben und auch jeden dieser Werte
nur einmal. Ein Beispiel mge dies illustrieren. Es sei r = 1, und zwar
qo = 2, ql = 5. Wir berechnen rest(p,qo) und rest(p,ql) bei wachsendem p,
wobei wir mit p = 0 beginnen. In der folgenden Tabelle sind die Ergebnisse eingetragen.
pOl
0
1
0
1
rest (p, 2)
rest (p, 5)
2
0
2
3
1
3
4
0
4
5
1
0
6
0
1
7
1
2
8
0
3
9
1
4
10
0
0
11
1
1
Anhang
102
Wir ersehen aus der zweiten und dritten Zeile der Tabelle, da tatschlich das Paar rest(p,2), rest(p,5) alle 10 mglichen (geordneten)
Wertepaare von Zahlen n o, n l mit n o < 2, n l < 5 annimmt, wenn p
von Obis 9 fortschreitet. In H 3 wird behauptet, da dies ganz allgemein
gilt.
Beweis: Die r
I Divisionen rest(p,qo), rest(p,ql)' ... , rest(p,qr) mgen
die Werte n o, n v ... , n r zunchst fr p = k und spter fr p = k
1
annehmen. k wie k + 1 ergeben bei Division durch qi denselben Rest n i
(fr i = 0, ... , r); daher mu ihre Differenz 1 genau den Wert qi als
Faktor enthalten92 Fr jedes qi gilt somit eine Gleichung 1 = ciqi,
d. h. 1 = Co qo = Cl ql = ... = crqr fr gewisse Zahlen CO"," cr.
qo, ql' ... , qr kommen also alle als Faktoren in 1 vor. Da die qi auerdem in H 3 als relativ prim vorausgesetzt worden waren, so mu lein
Vielfaches von qo X ql X .. X qr sein. Gem unserer Voraussetzung
kehrt das geordnete (r l)-tupel rest(p,qo), rest(p,ql)' ... , rest(p,qr) nach
genau 1 Schritten wieder zu einer gegebenen Folge von Zahlen n o, n l , . . . , n r
zurck. Wir wissen daher auf Grund der eben gemachten Feststellung
ber l, da diese Rckkehr nicht erfolgen kann, solange das erste
Argument p weniger als qo X ... X qr aufeinanderfolgende Werte angenommen hat. Die Rckkehr zu derselben Zahlenfolge n o, ... , n r
kann aber auch nicht erst spter stattfinden (d. h. 1 mu mit dem
Produkt qo X . . . X qr identisch sein), da es genau qo X ql X . . . X qr
verschiedene Folgen von Zahlen n o, n v ... , n r mit n o < qo, n 1 < qv ... ,
n r < qr und ni ;> gibt. Es mu daher jede dieser Zahlfolgen genau
einmal vorkommen, wenn qo X ... X qr aufeinanderfolgende Werte
von p gewhlt werden.
H 4. Es sei die Funktion v(x,i) definiert durch: v(x,i) =Df (i
l)x
1.
Ferner sei fr eine vorgegebene Zahlfolge n o, ... , n r die Zahl z die grte
unter den Zahlen r, n o, ... , n r . Es sei q = z! 93. Wenn wir dann den
Ausdruck v(q,i) betrachten, so gilt von diesem:
(a) die Zahlen qi = v(q,i) (fr i = 0, I, ... , r) sind relativ prim;
(b) fr jedes i (i = 0, ... , r) gilt: ni < qi'
Beweis: (a) Wenn wir zwei beliebige Zahlen aus der Reihe der qi
herausgreifen, so haben diese etwa die Gestalt (j
l)z!
I und
(j
k
l)z!
I (auf Grund der Definition von v(q,i) und der Tatsache,
da q = z! gesetzt worden war; fr k gilt offenbar die Relation k <; r).
Angenommen, diese beiden Zahlen htten einen gemeinsamen Faktor
auer 1. Dann htten sie auch einen gemeinsamen Primfaktor p. Ihre
Differenz, welche gleich k. z! ist, mte dann ebenfalls den Faktor p
haben. p aber kann nicht ein Faktor von z! sein; denn dann wre p
auch Faktor von (j + l)z!, was damit in Widerspruch steht, da p als
Faktor von (j + l)z! + I vorausgesetzt worden war. Andererseits aber
+ +
mit
I
92
(k
+ 1) -
(bi -
ai)qi'
103
kann p auch nicht ein Faktor von k sein. Denn k ,;;;; r ,;;;; z und jede Zahl
,;;;; z ist ein Teiler von z!; wenn k durch p teilbar wre, so mte daher
auch z! durch p teilbar sein. Da p kein Teiler von z! sein kann, haben
wir aber gerade festgestellt. Die Annahme, da die beiden aus der
Reihe der qi willkrlich herausgegriffenen Zahlen (j + 1)z! + 1 und
(j + k + 1)z! + 1 einen gemeinsamen Faktor auer 1 haben knnten,
ist damit widerlegt.
(b) Fr jedes i (i = 0,1, ... , r) gilt wegen der Wahl von z:
ni ,;;;; z ,;;;; z! < (i + 1)z! + 1 = v(z!,i) = v(q,i) = qi'
Wir kommen nun zum entscheidenden
Satz V: Es ist mglich, eine Funktion (x,y,i) zu konstruieren, welche
die beiden folgmden Eigenschaften besitzt:
(1) das Prdikat "(x,y,i) = u" ist arithmetisch;
(2) wenn eine endliche Folge von Zahlen n o, n l , . . . , n r vorgegeben ist,
so knnen zwei natrliche Zahlen p und q effektiv angegeben werden, so da
fr alle i = 0, 1, ... , r gilt: (p,q,i) = n i (d. h. die -Funktion liefert
nach Bestimmung der ersten beiden Argumente p und q gerade die
r + 1 Zahlen der vorgegebenen Folge, wenn fr das dritte Argument
in der -Funktion sukzessive die Zahlen 0, 1, ... , r eingesetzt werden).
Beweis: Wir geben fr die -Funktion unter Verwendung der Funktion
rest(m,n) und der in H 4 eingefhrten Funktion v(x,i) die folgende
Definition:
(x,y,i) =Df rest(x,v(y,i)).
(1) Auf Grund von H 2 wissen wir, da das Prdikat "rest(x,t) = u"
arithmetisch ist. Wenn wir nun hierin fr "t" den Ausdruck "v(y,i)"
einsetzen, so ndert sich dadurch nichts am arithmetischen Charakter
des ganzen Ausdruckes, da "v(y,i)" in H 4 explizit allein mittels ,,1 ",
" +" und "." definiert worden ist.
(2) Wir whlen fr die vorgegebene Folge von Zahlen n o, . .. , n r
das q genau so wie in H 4 (also gleich z! mit z als grtem unter den
Werten r, n o, ... , n r ). Die beiden Behauptungen (a) und (b) von H 4
treffen dann fr den vorliegenden Fall zu. Wenn wir daher fr die Yi
in rest(p'Yi) die speziellen Werte qi = v(q,i) einsetzen, so sind wegen
der Gltigkeit von H4 (a) die in H 3 fr die qi ausgesprochenen Voraussetzungen erfllt, d. h. diese Zahlen qi = v(q,i) sind relativ prim. Da
auch H 4 (b) gilt, so ist fr alle i (i = 0, ... , r) die Zahl ni stets kleiner
als qi' Man kann daher H 3 in der folgenden Weise anwenden: Wenn
wir in rest(x,qi) fr x sukzessive die Werte x = 0, 1, ... , (qo X ql X ..
X qr) - 1 whlen, so mu fr genau eine Wahl p von x fr alle i
(i = 0, ... , r) rest(p,qi) = n i sein, d. h. das (r + 1)-tupel rest(p,qo)'
rest(p,ql)' ... , rest(p,qr) mu fr dieses p genau mit dem vorgegebenen
(r + 1)-tupel n o, n l , . . . , n, bereinstimmen. Damit ist die Behauptung
bereits bewiesen; denn wegen der Wahl der qi und der Definition der
fJ-Funktion gilt: (p,q,i) = rest(p,v(q,i)) = rest(p,qi) = n i . Die beiden
Zahlen p und q, welche zu diesem Ergebnis fhren, konnten effektiv
angegeben werden: der Wert von q lie sich sofort ermitteln und auch
104
Anhang
der Wert von p ist stets nach endlich vielen Schritten bestimmbar, da
z. B. die Relation gilt: p < qo X ... X qr' sofern man in der Funktion
rest(x,qi) mit der Wahl x = 0 fr p beginnt.
Mit dem Satz V sind die Mittel zur arithmetischen Behandlung von
Zahlfolgen bereitgestellt. Davon wird bei der berfhrung prim. rek.
Prdikate in arithmetische Gebrauch gemacht werden.
105
"h1(Xl> ... , x,,) = Yl", ... , "hm(x 1, ... , x,,) = Ym" alle arithmetisch sind.
Es lt sich daher das Prdikat "j(x1, ... , x,,) = u" durch das folgende
damit quivalente Prdikat wiedergeben: ,,(EYl) ... (EYm)[h1(x1, ... , x,,)
= Yl & ... & hm(x1, ... , x,,) = Ym & g(Yl' ... , Ym) = ur
3. Fall (Schema der primitiven Rekursion):
j(0,x1, ... , x,,) = g(x1, ... , x n ),
j(y',x1, ... , x n ) = h(Y,f(Y,x1, . ,
Xn),X1 , . ,
x n )
Dabei sind die prim. rek. Funktionen g und h bereits frher eingefhrt.
worden, so da wir nach Indukt.ionsvoraussetzung annehmen knnen,
da die Prdikate "g(x 1, ... , x,,) = u" und "h(y,z,x1, ... , x n ) = u"
arithmetisch sind. Dies ist. der einzige kompliziertere Fall, fr den die
Verwendung der -Funktion erforderlich wird.
Angenommen, y, Xl> ... , xmu seien solche Zahlen, da f(Y,x 1, ... ,
x,,) = u zutrifft. Dann mu es eine Folge von Y + 1 Zahlen n o, n 1 , . . . , n ll
geben, welche die Werte der Funkt.ion f(i,x 1 , . . . , x n ) fr i = 0, I, ... , Y
sind, so da also gilt:
n o = f(0,x 1, ... , x n ) = g(x1, . . . , x,,) (1. Definitionsgleichung von RS)
n 1 = f(l,x 1, ... , x,,)
von RS)
(I)
n 2 = f(2,x 1 ,
x,,) = h(l,j(1,x1 ,
h(l,n1,x1 ,
. , Xn),X 1 , ,
...,
x,,)
x,,)
h(i,(p,q,i),x1 ,
. ,
x n )) & u = (p,q,y)].
Wenn (I) zutrifft, so mu also (II) gelten. Trifft umgekehrt (II) zu,
so mssen fr zwei Zahlen p und q die Werte (p,q,i) fr i = 0, ... , y
eine Folge von Zahlen n i darstellen, welche das Schema (I) erfllen.
Aus (I) aber ergibt sich f(y,x 1 , , x,,) = u. (I) und (II) sind somit
tatschlich quivalent. Da (II) arithmetisch ist, kann man aber sofort
erkennen, wenn man dieses Prdikat in der folgenden Weise anschreibt:
(III) (Ep)(Eq){(Ev)[(p,q,O) = v & g(x1 , . , x n ) = v] &
(i)[i< Y -.. (Ev)(Ew)((p,q,i + I) = v & (p,q,i) = w &
h(i,w,x1 , , x n ) = v)] & (p,q,y) = u}.
Die in (III) vorkommenden Identitten sind nmlich alle von der Art,
da wir von ihnen bereit.s wissen oder nach Indukt.ionsvorausset.zung
annehmen knnen, da sie arithmetisch sind. Auf Grund der Definition
106
Anhang
des Begriffs des arithmetischen Prdikates drckt daher auch die ganze
Formel (lU) ein arithmetisches Prdikat aus.
Damit ist gezeigt worden, da das Schema der primitiven Rekursion
ebenfalls nicht aus dem Bereich der arithmetischen Prdikate herausfhrt. Satz VI ist somit vollstndig bewiesen.
Satz VII: Jedes prim. rek. Prdikat "P(x l , . . . , xS' ist arithmetisch.
Beweis: Es sei "P(Xl> ... , x n )" prim. rek. Nach der Definition des
Begriffs des prim. rek. Prdikates besagt dies, da es eine prim. rek.
Funktion f(x l , . . . , x n ) gibt, welche die reprsentierende Funktion von
"P(x l , . . , x n )" ist, so da also die quivalenz gilt:
P(xl ,
...,
x n ) +--+ f(x l ,
... ,
xn ) =
o.
Wenn man Satz VI auf den speziellen Fall, da das dortige u gleich 0
ist, anwendet, so steht auf der rechten Seite der eben angeschriebenen
quivalenz ein arithmetisches Prdikat. "P(xl , . . . , x n )" ist daher
selbst arithmetisch.
Damit ist der Hauptteil des noch ausstehenden Beweises bewltigt.
Da in ZL gengend Mittel zur Verfgung stehen, um alle arithmetischen
Prdikate auszudrcken, ist es nur mehr erforderlich, die eben angestellten
(intuitiven) Betrachtungen in den Formalismus von ZL selbst zu bersetzen.
Dadurch erhalten wir dann den endgltigen Beweis dafr, da jedes prim.
rek. Prdikat im Sinne von DI , Abschn. 1, in ZL formal ausdrckbar ist.
Der Nachweis dafr, da jedes prim. rek. Prdikat arithmetisch ist,
wurde auf dem Umweg ber die Feststellung erbracht, da fr die das
betreffende Prdikat reprsentierende prim. rek. Funktion f jede Gleichung
von der Gestalt f(x 2 , , x n ) == u, insbesondere daher auch diese
Gleichung fr den Fall u = 0, arithmetisch ist. Es liegt somit nahe,
fr den Nachweis der formalen Ausdrckbarkeit prim. rek. Prdikate
innerhalb von ZL zunchst zu zeigen, da jede prim. rek. Funktion
in ZL ein "formales Spiegelbild" findet. Dazu mu zunchst vor allem
in prziser Weise definiert werden, was unter einem solchen formalen
Spiegelbild einer intuitiven prim. rek. Funktion in ZL verstanden werden
soll. Es erweist sich dabei als zweckmig, grerer Krze halber ein
neues Symbol ,,3 !X" einzufhren mit der Bedeutung "es gibt genau
ein x, so da". Dieses Symbol kann mittels der bisher verwendeten
formalen Symbole definiert werden, indem man ,,'3 !tXP(tX)'" als Abkrzung fr den komplexeren Ausdruck ,,'3tX(<<P(tX) A V(<<P()::> tX == )) I"
whlt, der offenbar gerade die intendierte Bedeutung wiedergibt. Analog
zu dem in D I , Abschn. 1, eingefhrten Begriff der formalen Ausdrckbarkeit eines Prdikates innerhalb des zahlen theoretischen Formalismus
soll jetzt der Begriff der formalen Darstellbarkeit einer beliebigen Funktion
innerhalb von ZL definiert werden. Der erste Definitionsschritt ist ganz
analog dem ersten Teil von DI , Abschn. 1. Im zweiten Definitionsschritt
wird dem Umstande Rechnung getragen, da f(x l , . . . , x n ) allein dann
als Funktion bezeichnet wird, wenn es fr jedes n-tupel Xl> , X n einen
und nur einen Wert y ("Funktionswert" genannt) gibt, so da
f(x l , . . . , x n ) = y. Offenbar mu dann auch die als formales Spiegel-
107
,::> ,. . .,
108
Anhang
(IV)
109
(V)
I- E(1J,q,O,n o)
I- E(1J,q,l,n l )
Zeile I
Zeile 2
I- E(1J,q,t),n,,)
I- .1(t) - l,n Y _l>h ... , tmny) Zeile y + I
I- E(1J,q,t),u)
Zeile y + 2
Die linke Reihe von Formeln in (V) gewinnen wir aus den intuitiven
Gleichungen (p,q,i) = ni unter Benutzung von Di(a) fr die die pFunktion formal darstellende Formel E. Die rechte Seite von Formeln
in (V) ergibt sich aus dem Schema (I) unter Verwendung von Di(a)
fr die Formeln Q und .1, welche nach Voraussetzung die Funktionen (J
und h formal darstellen. Es kann nun durch einige einfache logische
Operationen aus (V) die Formel e(t),h ... , tmu) gewonnen werden
(welche die Abkrzung fr die aus (IV) entstehende Formel darstellt,
wenn man in (IV) die Variablen durch die entsprechenden Konstanten
ersetzt). Nmlich aus den beiden ersten Formeln von Schema (V),
Zeile 1, erhalten wir durch A-Einfhrung (vgl. Abschn. 1, Formel (1))
und darauffolgende 3-Einfhrung (Abschn. 1, (4)) gerade das erste
Konjunktionsglied innerhalb der geschlungenen Klammer von (IV)
(nach Ersetzung der Variablen I' 2 und O(i durch die Konstanten 1J, q
und ti)' Ferner fassen wir fr alle Zeilen i (mit 1 <; i <; y) jeweils die
folgenden Formeln zusammen und verknpfen sie durch A-Einfhrung:
die Formel der linken vertikalen Reihe von (V) aus der i- ten Zeile und
beide Formeln aus der darauffolgenden Zeile. Wir erhalten dadurch
y Konjunktionen. Wenn wir fr diese je zwei 3-Einfhrungen vornehmen,
durch welche wir die Quantifikatoren '30"' und '3i I einschieben,
so knnen wir das Metatheorem (9) (a) von Abschn. 1 anwenden. Dadurch gewinnen wir das zweite Konjunktionsglied aus (IV) (mit der
Konstanten t) fr die Variable
Das letzte Konjunktionsglied von (IV)
(mit u fr y) wird schlielich aus der in der (y + 2)-ten Zeile stehenden
Formel von (V) gewonnen. Damit haben wir genau den Ausdruck
innerhalb der geschlungenen Klammer von (IV) erhalten (mit der angefhrten Ersetzung von Variablen durch Konstante). Zweimalige 3-Ein.
110
Anhang
fhrung, angewendet auf p und q (fr das e von (4), Abschn. 1) liefert
uns schlielich die gewnschte Formel 8(1)'61"'" 6n>U). Damit ist
gezeigt, da tatschlich Di(a) fr die durch ein Schema der primitiven
Rekursion eingefhrte Funktion f(y,xl> ... , x n ) erfllt ist. Der Beweis
von Di(b) hat auf analogem Wege zu erfolgen.
Aus dem Satz VIII gewinnen wir nun sofort den
Satz IX: Jede8 prim. rek. Prdikat "P(x l ,
drckbar in ZL.
.. ,
Der Beweis ergibt sich aus Satz VIII (analog wie Satz VII eine
Folgerung aus Satz VI darstellte): Wir gehen zunchst vom Prdikat
"P(x l , . . . , x n )" zu der prim. rek. Funktion f(x l , . . , x n ) ber, welche
dieses Prdikat reprsentiert. c[>(IXl"'" IXn>~) sei jene Formel von ZL,
welche gem Satz VIII die Funktion f(xl> ... , x n ) formal darstellt.
Wir behaupten, da die Formel c[>(IXl> ... , IXmO) dann das Prdikat
"P(x l , . . , x n )" in ZL formal ausdrckt (im Sinn von Dl , Abschn. 2).
Dazu ist zu zeigen, da beide Bedingungen von Dl , Abschn. 2, erfllt
sind. Fr die Bedingung (a) von Dl ergibt sich dies unmittelbar: wenn
P(xl , . , x n ), dann f(x l , . . . , x n ) = 0 (laut Definition von f), also
I- c[>(6l' ... , 6mO) (gem Di(a)). Um die Gltigkeit von Dl(b) einzusehen, mu gezeigt werden, da gilt: falls nicht P( Xl' ... , X n ), so
I- ''''c[>(6l,b ... , 6mO)'. Dazu mu von folgendem fr ZL gltigem
Metatheorem Gebrauch gemacht werden98 :
(VI)
Wenn
e und
an
v:
.;x
IU
(laut Definition von I), daher I- r ,....,(/>(~I' ... , ~mO) I (wegen der eben
bewiesenen Behauptung). Damit ist gezeigt worden, da das Prdikat "P"
auch die Bedingung von DI(b) aus Abschn. 2 erfllt. Da dieses Prdikat
ein beliebiges prim. rek. Prdikat war, ist daher der Nachweis dafr
erbracht, da alle prim. rek. Prdikate in ZL formal ausdrckbar sind.
Damit ist nun der Kreis vollstndig geschlossen. Der Beweis des
GDELsehen Theorems beruhte auf der Voraussetzung, da die beiden
in BI' Abschn. 1, eingefhrten Prdikate "R(x,y)" und "Q(x,z)" in ZL
formal ausdrckbar sind. Am Ende von Abschn. 4 wurde gezeigt, da
diese beiden Prdikate prim. rek. sind. Jetzt haben wir festgestellt,
da alle prim. rek. Prdikate in ZL formal ausdrckbar sind; also sind
insbesondere auch die beiden Prdikate "R(x,y)" und "Q(x,z)" in ZL
formal ausdrckbar. Bei der Konstruktion jener Formeln (/> und lJI
von ZL, welche diese beiden Prdikate formal ausdrcken, ist darauf
zu achten, da der intuitiven Variablen "x" von "R(x,y)" bzw. "Q(x,z)"
innerhalb von (/> und lJI die formale Variable <x* (d. h. die erste
Variable "a" von ZL) zu entsprechen hat, um im Einklang mit den
frheren Festsetzungen zu bleiben (vgl. dazu D 1 und D2 , S. 21, sowie
den auf BI folgenden Satz). Dies kann natrlich immer erreicht werden,
eventuell durch geeignete Um benennung der freien und gebundenen
Variablen von (/> und lJI.
Mit dem Beweis von Satz IX ist auch der Nachweis dafr abgeschlossen, da das Entscheidungsproblem fr ZL unlsbar ist; denn
der Beweis fr das diese Feststellung enthaltende Theorem Th 22 sttzte
sich ebenfalls auf die Voraussetzung, da jedes prim. rek. Prdikat
in ZL formal ausdrckbar ist.
Literaturverzeichnis
[I] ACKERMANN, W.: Zum Hilbertschen Aufbau der reellen Zahlen. Mathe
matische Annalen 99, 118-133, 1928.
[2] CHURCH, A.: An Unsolvable Problem of Elementary Number Theory.
American Journal of Mathematics 58, 345-363, 1936.
[3] - A Note on the Entscheidungsproblem. Journal of Symbolic Logic 1,
40-41, 101-102, 1936.
[4] - Introduction to Mathematical Logic, Band I. Princeton, N. Y. 1956.
IX + 376 S.
[5] GENTZEN, G.: Untersuchungen ber das logische Schlieen. Mathe
matische Zeitschrilt 39, 176-210, 405-431, 1934.
[6] - Die Widersprnchsfreiheit der reinen Zahlentheorie. Mathematische
Annalen 112, 493-565, 1936.
[7] GDEL, K.: Die Vollstndigkeit der Axiome des logischen Funktionen
~lkls. Monatshefte fr Mathematik und Physik 37, 349-360, 1930.
[8] - Uber formal unentscheidbare Stze der Principia Mathematica und
verwandter Systeme. Ebenda 38, 173-198, 1931.
[9] HERMES, H.: Vorlesungen ber Entscheidungsprobleme in Mathematik
und Logik. Mnster 1955.
[10] - und H. SCHOLZ: Mathematische Logik. (Enzyklopdie der mathe
matischen Wissenschaften, Band I, I, 2. Aufl., Heft I, Teil I.)
Leipzig 1952. 82 S.
[11] HILBERT, D. und W. ACKERMANN: Grundzge der theoretischen Logik,
3. Aufl. Berlin 1949. VIII + 155 S.
[12] - und P. BERNAYS: Grundlagen der Mathematik, Band 11. Berlin 1939.
XII + 498 S.
[13] KLEENE, ST. C.: General Recursive Functions of Natural Numbers.
Mathematische Annalen 112, 727-742, 1936. Korrektur: Journal
of Symbolic Logic 2, 38; 3, 152; 4, IV.
[14] - Je-Definability and Recursiveness. Duke Mathematical Journal 2,
340-353, 1936.
[15] - Recursive Predicates and Quantifiers. Transactions of the American
Mathematical Society 53, 41-73, 1943.
[16] - Introduction to Metamathematics. Amsterdam 1952. X + 550 S.
[17] MOSTOWSKI, A.: Sentences Undecidable in Formalized Arithmetic.
An Exposition of the Theory of Kurt Gdel. Amsterdam 1952.
VIII + 117 S.
[18] PETER, R.: Rekursive Funktionen. Budapest 1951. 206 S.
[19] QUINE, W. v. 0.: Mathematical Logic, Revised Edition. Cambridge,
Mass. 1951. XII + 346 S.
[20] - A Proof of Church's Theorem (vorgetragen in Vorlesungen seit 1949).
[21] ROSSER, B.: Extensions of Some Theorems of Gdel and Church. Journal
of Symbolic Logic 1, 87-91, 1936.
[22] - An Informal Exposition of Proofs of Gdel's Theorem and Church's
Theorem. Journal of Symbolic Logic 4, 53-60, 1939.
[23] TARSKI, A.: Der Wahrheitsbegriff in den formalisierten Sprachen.
Studia Philosophica 1, 261-405, 1936.
[24] TuNING, A. M.: On Computable Numbers, with an Application to the
Entscheidungsproblem. Proceedings of the London Mathematical
Society 42, 230-265, 1936. Korrektur: 43, 544-546, 1937.
KANT 57
KLEENE 2, 18f., 35, 38, 42, 44, 45,
47, 48ff., 50, 58ff., 61, 65, 66,
definierbar im Gleichungskalkl GK
72, 74, 81ff., 95, 98
50
- , These von 71
Disjunktion 15
Kleinste-Zahl-Operator 46
114
Konjunktion 15
Konstante 15
Konstanzfunktion 30
korrekte Formalisierung 71
A-definierbar 47
logische Konstanten 15
- Zeichen 15
LORENZEN 29
,u-Operator, s. beschrnkter ,u-Operator, unbeschrnkter ,u-Operator
:\1etasprache 6f., 12ff_
:\1etatheoreme von ZL 17
MOSTOWSKI 2, 11
:Sachfolgerfunktion 30
Negation 15
Normalformentheorem 65
Nullauswertung 49
Objektsprache 6f., 12ff.
- , unvollstndige 28
- , widerspruchsfrei 22
positive Auswertung 49
75
Prdikatausdruck 15
Prdikate, metamathematische und
zahlentheoretische 40ff_
Prdikatenkalkl, Axiome und Regeln
des 18
Prdikatenlogik, Unentscheidbarkeit
der 44ff_
primitiv rekursive Funktionen 29ff.
- - und arithmetische Prdikate 104ff.
- - , formal darstellbar in ZL
107ff_
- Prdikate 33ff.
- - und arithmetische Prdikate 106
- - , formal ausdrckbar in ZL
llO
primitive Formel 53
- Rekursion, Schema der 31
POST
Q 21
Quantor, Quantifikator 15
Quasi-Anfhrung 14
Quasi -Anfhrungszeichen 14
QUINE 2, 52, 54ff.
R 21
Rekursion 50
rekursivaufzhlbar 74f.
rekursive Ableitung 50
- Funktionen, s. primitiv rekursive
Funktionen, allgemein rekursive
Funktionen
reprsentierende Funktion eines Prdikates 33
RICHARD, Antinomie von 3ff.
Satz 16
Schema der primitiven Rekursion 31
schematische Funktionentheorie 52 ff.
SCHTTE 29
Semantik 11, 12
Substitutionsschema 30f.
symmetrische Form des Theorems von
GDEL 81ff.
Syntax 12
TARSKI 11, 28, 44
Term 15, 37, 49, 52
These von CHURCH 47
- - KLEENE 71
TURING-berechenbar 47
TURING-Maschinen 47
VA 36ff.
Variable, freie 16
-,gebundene 16
verallgemeinerte Vorgngerfunktion 37
vollstndige Formalisierung 71
Vollstndigkeit 20, 50
Vorbereich einer Relation 51
Wertverlaufsrekursionen 35, 41
- , Satz ber 36
widerlegbar 19
Widerlegungsverfahren 78
- , vollstndiges 78
- , fr Nichtgltigkeit (Nichtwahrheit) 78
widerspruchsfreie Formalisierung 71
Widerspruchsfreiheit 20, 50
zahlentheoretische Axiome 18
- Prdikate 40
Ziffer 17, 49
ZL 13ff.