Gödelscher Unvollständigkeitssatz

Aus AnthroWiki

Der Gödelsche Unvollständigkeitssatz ist einer der wichtigsten Sätze der modernen Logik. Er beschäftigt sich mit der Ableitbarkeit von Aussagen in formalen Systemen. Der Satz zeigt die Grenzen der formalen Systeme ab einer bestimmten Leistungsfähigkeit auf. Er weist nach, dass es in hinreichend starken Systemen, wie der Arithmetik, Aussagen geben muss, die man weder formal beweisen noch widerlegen kann. Der Satz beweist damit die Unmöglichkeit des Hilbertprogramms, welches von David Hilbert unter anderem begründet wurde, um die Widerspruchsfreiheit der Mathematik zu beweisen. Der Satz wurde 1931 vom österreichischen Mathematiker Kurt Gödel veröffentlicht.[1]

Genauer werden zwei Unvollständigkeitssätze unterschieden. Der Erste Unvollständigkeitssatz besagt, dass es in hinreichend starken widerspruchsfreien Systemen immer unbeweisbare Aussagen gibt. Der Zweite Unvollständigkeitssatz besagt, dass hinreichend starke widerspruchsfreie Systeme ihre eigene Widerspruchsfreiheit nicht beweisen können.

Durch diese Sätze ist der Mathematik eine prinzipielle Grenze gesetzt: Nicht jeder mathematische Satz kann aus den Axiomen eines mathematischen Teilgebietes (zum Beispiel Arithmetik, Geometrie und Algebra) formal abgeleitet oder widerlegt werden.

In der Wissenschaftstheorie und in anderen Gebieten der Philosophie zählt der Satz zu den meistrezipierten der Mathematik. Das Buch Gödel, Escher, Bach und die Werke von John Randolph Lucas werden häufig exemplarisch hervorgehoben.

Grundbegriffe

Aussagen sind Folgen von Zeichen, die ähnlich wie ein Programm einer Programmiersprache einer gewissen Syntax genügen müssen. Für solche Aussagen definiert man auf naheliegende Weise das Konzept der Gültigkeit oder Wahrheit in Strukturen (siehe Modelltheorie). Dabei kann die Wahrheit einer Aussage durchaus von der betrachteten Struktur abhängen: Eine Aussage mit der intendierten Bedeutung „Es gibt ein Element, das echt größer als 0 und echt kleiner als 1 ist“ gilt zum Beispiel in der Struktur der reellen Zahlen, nicht jedoch in der Struktur der natürlichen Zahlen.

Ein formales System ist ein System, in dem sich mathematische Aussagen beweisen lassen. Jedes formale System besteht aus einer Sprache, die die Menge der wohlgeformten Formeln und Aussagen spezifiziert, einer Menge von Axiomen und einer Menge von Schlussregeln, mit denen aus bereits bewiesenen Aussagen neue Aussagen hergeleitet werden können. Ein formales System bestimmt eine Theorie, die Menge aller im System herleitbaren Aussagen. Wichtig ist dabei, dass die Korrektheit eines Beweises im formalen System auf mechanische Weise verifiziert werden kann. Damit sind beispielsweise Kalküle mit unendlich großen Beweisen keine formalen Systeme in diesem Sinne. Im Sinne der Berechenbarkeitstheorie entspricht dies der formalen Forderung, dass die Theorie rekursiv aufzählbar sein muss.

Ein System T heißt widerspruchsfrei oder konsistent, wenn es keine Aussage A gibt, sodass aus T sowohl A als auch die Verneinung (Negation) von A folgt. Diese Bedingung ist, wie man mit dem Prinzip Ex falso quodlibet leicht zeigen kann, äquivalent dazu, dass nicht jede Aussage aus T folgt.

Ein System T heißt vollständig, wenn für alle Aussagen A die Aussage A oder deren Negation aus T folgt.

Gödels Sätze

Erster Unvollständigkeitssatz

Aussage

Der Erste Unvollständigkeitssatz besagt, dass man in rekursiv aufzählbaren Systemen der Arithmetik nicht alle Aussagen formal beweisen oder widerlegen kann:

Jedes hinreichend mächtige, rekursiv aufzählbare formale System ist entweder widersprüchlich oder unvollständig.

Eine hinreichende Bedingung dafür, dass ein System „ausreichend mächtig“ ist, ist dabei, dass es natürliche Zahlen mit Addition und Multiplikation beschreibt und dass sich einige elementare Eigenschaften von natürlichen Zahlen darin ausdrücken und beweisen lassen, darunter beispielsweise, dass es keine natürliche Zahl unter null gibt und dass sich Aussagen wie , Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x=1} oder usw. formulieren lassen.

Beweisskizze

Gödel zeigte den Satz ursprünglich unter einer etwas stärkeren Voraussetzung als der Konsistenz, nämlich der ω-Konsistenz, welche in dieser Skizze der Einfachheit halber auch angenommen wird. John Barkley Rosser zeigte 1936, wie sich diese Voraussetzung fallen lassen lässt.

Seine Argumentation benutzt eine Abzählung aller Sätze innerhalb des betrachteten formalen Systems. Hierbei wird jedem Satz eine eindeutige Nummer (seine Gödelnummer) zugewiesen. Gödel konstruiert dann eine Formel der Form

„Der Satz mit der Nummer ist nicht ableitbar“

und zeigt mit Hilfe einer Diagonalisierung, dass es eine Einsetzung für gibt, sodass der Satz mit der Nummer äquivalent zu der Aussage

„Der Satz mit der Nummer Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n} ist nicht ableitbar“

ist. Damit erhält er einen Satz mit der intuitiven Bedeutung „Ich bin nicht ableitbar“, den sogenannten Gödelsatz. Diese Konstruktion motivierte Gödel selbst mit dem Lügner-Paradoxon.

Man betrachte nun den Satz „Der Satz mit der Nummer ist ableitbar“. Anhand eines Widerspruchsbeweises zeigt sich, dass dieser Satz ebenso wenig wie seine Negation ableitbar und somit das System unvollständig ist: Angenommen, der Satz wäre ableitbar. Dann ergibt sich aus der ω-Konsistenz und der Stärke des Systems, dass der Satz mit der Nummer ableitbar ist. Dieser ist aber gerade äquivalent zur Negation des Satzes „Der Satz mit der Nummer ist ableitbar“. Hieraus ergibt sich ein Widerspruch im System. Da dieses aber als konsistent angenommen wurde, kann der Satz nicht ableitbar sein.

Man nehme nun an, dass die Negation des Satzes, also der Satz „Der Satz mit der Nummer ist nicht ableitbar“ ableitbar ist und somit auch der dazu äquivalente Satz mit der Nummer . Weil das System als hinreichend mächtig angenommen wird, um diesen Beweis innerhalb des Systems „nachzuvollziehen“, folgt nun, dass der Satz „Der Satz mit der Nummer ist ableitbar“ ableitbar ist. Hierfür müsste allerdings wiederum das System widersprüchlich sein. Also ist auch der Satz „Der Satz mit der Nummer ist nicht ableitbar“ nicht ableitbar. Der metasprachliche Satz, dass der Satz mit der Nummer in dem System nicht ableitbar ist, ist somit jedoch bewiesen.

Zweiter Unvollständigkeitssatz

Der Zweite Unvollständigkeitssatz besagt, dass jedes hinreichend mächtige konsistente System die eigene Konsistenz nicht beweisen kann:

Jedes hinreichend mächtige konsistente formale System kann die eigene Konsistenz nicht beweisen.

Die Aussage folgt aus dem ersten Satz. Sei ein konsistentes formales System, das so stark ist, dass darin der erste Unvollständigkeitssatz formalisiert und bewiesen werden kann. Dann beweist Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle T} die Aussage: „Wenn konsistent ist, dann ist der Satz „Ich bin nicht beweisbar“ nicht in Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle T} beweisbar.“ Um einen Widerspruch zu erzeugen, nehme man an, beweise die Aussage „ ist konsistent“. Kombiniert man die beiden Aussagen, erhält man durch Modus ponens in einen Beweis der Aussage „Der Satz „Ich bin nicht beweisbar“ ist nicht in beweisbar.“ Diese Aussage ist aber gleichbedeutend mit der Aussage „Ich bin nicht beweisbar“, damit gibt es auch einen Beweis für diese Aussage. Dies ist ein Widerspruch zum ersten Unvollständigkeitssatz. Also ist entweder inkonsistent, oder es kann die eigene Konsistenz nicht beweisen.

Bedeutung

Erster Unvollständigkeitssatz

Gödels erster Unvollständigkeitssatz zeigt, dass jedes konsistente formale System, das genug Aussagen über natürliche Zahlen enthält, unvollständig ist: es gibt wahre Aussagen, die in seiner Sprache ausdrückbar sind, die aber nicht beweisbar sind. Damit kann kein formales System (das die Voraussetzungen des Satzes erfüllt) die natürlichen Zahlen eindeutig charakterisieren, da immer unbeweisbare zahlentheoretische Aussagen übrigbleiben.

Die Existenz eines unvollständigen formalen Systems ist zunächst nicht überraschend. Ein System kann einfach deswegen unvollständig sein, weil nicht alle nötigen Axiome formuliert worden sind. Beispielsweise ist die Euklidische Geometrie ohne das Parallelenaxiom unvollständig; dieses kann mit den übrigen Axiomen weder bewiesen noch widerlegt werden.

Gödels Satz zeigt, dass in Theorien, die eine kleine Menge Zahlentheorie enthalten, eine vollständige und konsistente endliche Liste von Axiomen prinzipiell nicht existieren kann, und dass eine entsprechende unendliche Liste von einem Computerprogramm nicht aufgezählt werden kann. Nach der Church-Turing-These kann eine solche Liste auch nicht durch einen anderen intuitiv berechenbaren Algorithmus erstellt werden. Jedes Mal wenn ein neuer Satz als Axiom hinzugefügt wird, gibt es andere wahre Aussagen, die auch mit dem neuen Axiom immer noch nicht bewiesen werden können. Wenn ein Axiom hinzugefügt wird, das das System vollständig macht, wird das System gleichzeitig widersprüchlich.

Dennoch gibt es vollständige und konsistente Axiomenmengen für die Arithmetik, die aber von einem Algorithmus nicht aufgezählt werden können. Beispielsweise ist die Menge der wahren Aussagen über natürliche Zahlen, , eine vollständige und konsistente Axiomatisierung der Arithmetik. Die Schwierigkeit dabei ist, dass es keine mechanische Methode gibt, um nachzuweisen, dass eine Aussage in dieser Menge liegt. Ein ähnliches Problem entsteht bei unendlichen Kalkülen wie der Arithmetik mit ω-Regel, einer unendlichen Schlussregel, mit der sich genau die wahren arithmetischen Aussagen beweisen lassen. Da Ableitungen mit der ω-Regel unendlich groß sind, gibt es keine mechanische Methode, solche Beweise zu verifizieren.

Der Unvollständigkeitssatz sagt nur etwas aus für formale Systeme, die die notwendigen Voraussetzungen erfüllen. Nicht alle mathematisch interessanten Axiomensysteme erfüllen diese Voraussetzungen, selbst wenn sie Modelle haben, die die natürlichen Zahlen enthalten. Beispielsweise gibt es vollständige Axiomatisierungen der euklidischen Geometrie, der Theorie der algebraisch abgeschlossenen Körper von Charakteristik , der dichten linearen Ordnungen ohne größtes und kleinstes Element und der natürlichen Zahlen ohne Multiplikation (Presburger-Arithmetik). Entscheidend ist, dass diese Theorien nicht ausdrucksstark genug sind, um bestimmte wesentliche Eigenschaften über natürliche Zahlen darzustellen.

Zweiter Unvollständigkeitssatz

Gödels zweiter Unvollständigkeitssatz impliziert auch, dass eine ausreichend starke, konsistente Theorie nicht die Konsistenz einer Theorie beweisen kann, wenn diese die Konsistenz von beweist. Denn eine solche Theorie kann beweisen, dass wenn konsistent ist und dieses die Konsistenz von beweist, auch konsistent sein muss. Denn die Konsistenz von lässt sich formalisieren als „keine Zahl ist Gödelnummer eines Widerspruchsbeweises in “. Wenn inkonsistent wäre, dann würde für ein beweisen, dass die Gödelnummer eines Widerspruchsbeweises in ist. Aber wenn auch die Konsistenz von beweist, beweist es auch, dass kein solches existiert, wäre also inkonsistent.

Dieses Korollar des zweiten Unvollständigkeitssatzes zeigt, dass es nicht möglich ist, etwa die Konsistenz der Peano-Arithmetik mit finiten Mitteln zu formalisieren, die sich in einer schwächeren Theorie formalisieren lässt, deren Konsistenz die Peano-Arithmetik beweisen kann. Beispielsweise lässt sich die Konsistenz der Primitiv Rekursiven Arithmetik (PRA), die oft als Formalisierung des finiten Kerns der Mathematik angesehen wird, in der Peano-Arithmetik beweisen. Damit kann PRA die Konsistenz der Peano-Arithmetik nicht beweisen. Die Tatsache wird oft als Beweis gesehen, dass Hilberts Programm, das die Mathematik durch finite Konsistenzbeweise begründen wollte, zumindest nicht im engeren Sinne von „finit“ ausführbar ist.

Der zweite Unvollständigkeitssatz macht Konsistenzbeweise nicht vollkommen unmöglich, sondern nur Konsistenzbeweise, die in der betroffenen Theorie selbst formalisiert werden können. Insbesondere sind oft Konsistenzbeweise in stärkeren Systemen möglich. So beweist die Peano-Arithmetik die Konsistenz schwächerer Formen der Arithmetik, die Zermelo-Fraenkel-Mengenlehre die Konsistenz der Peano-Arithmetik, und Erweiterungen der Zermelo-Fraenkel-Mengenlehre mit großen Kardinalzahlen beweisen die Konsistenz der Mengenlehre. Eine solche Theorie muss aber nicht immer stärker sein. So lässt sich Gentzens Konsistenzbeweis für die Peano-Arithmetik in einer Theorie formalisieren, die aus der schwachen Primitiv Rekursiven Arithmetik und einem Axiom für die Wohlfundiertheit der Ordinalzahl ε0 besteht. Keine der beiden Theorien beweist alle Aussagen der anderen, die Stärken der beiden Theorien sind also nicht direkt vergleichbar.

Der zweite Unvollständigkeitssatz ist nur für formale Systeme bewiesen, die stark genug sind, um den Beweis des ersten Unvollständigkeitssatzes zu formalisieren. Es gibt konsistente Theorien, die Konsistenz ausdrücken und beweisen können, insbesondere Subsysteme der Arithmetik, in denen Multiplikation nicht beweisbar eine totale Funktion ist. Diese Systeme können zwar den Beweisbarkeitsbegriff formalisieren, aber nicht die für den ersten Unvollständigkeitssatz nötige Diagonalisierung.[2]

Bedeutung für das Hilbertprogramm

Gödel versetzte mit seinem Unvollständigkeitssatz dem sogenannten Hilbertprogramm einen schweren Schlag. Dieses wurde von David Hilbert 1921 vorgeschlagen und hatte einen entscheidenden Einfluss auf die Forschung in der Logik in den 1920er Jahren. Es zielte darauf ab, die gesamte Mathematik durch ein Axiomensystem in Prädikatenlogik erster Stufe zu formalisieren und die Widerspruchsfreiheit der Axiome nachzuweisen. Hiermit sollten die Bedenken gegenüber nichtkonstruktiven Schlussweisen in der Mathematik, die vor allem von Intuitionisten geäußert wurden, ausgeräumt werden. Hilbert schlug vor, die Widerspruchsfreiheit von komplexeren Systemen durch diejenige einfacherer Systeme nachzuweisen. Die Motivation hierfür ist, dass einem Beweis zur Widerspruchsfreiheit eines Systems, der in diesem System selbst gegeben ist, nicht getraut werden kann. Denn aus einem Widerspruch heraus lässt sich alles beweisen (Ex falso quodlibet), also ließe sich aus einem Widerspruch im System auch die Widerspruchsfreiheit des Systems beweisen. Daher sollte die Widerspruchsfreiheit in einem einfacheren System bewiesen werden, sodass letztlich die Widerspruchsfreiheit der gesamten Mathematik auf einfache, offensichtlich widerspruchsfreie Axiome zurückgeführt werden kann.

Nach dem zweiten Unvollständigkeitssatz ist es aber unmöglich, die Widerspruchsfreiheit eines Systems in ihm selbst nachzuweisen, und damit erst recht, sie in einem einfacheren System nachzuweisen.

Philosophische Interpretationen

Obwohl Gödel sich im Laufe seines Lebens wiederholt als Platoniker zu erkennen gab, wurde sein Unvollständigkeitssatz wiederholt in einem subjektivistischen Sinn interpretiert. Auch schien Gödels Teilnahme am Wiener Kreis eine Nähe des Unvollständigkeitssatzes mit dem logischen Positivismus nahezulegen, der dem Platonismus in vielerlei Hinsicht entgegengesetzt ist. Gödels zurückhaltende, konfliktscheue Art trug dazu bei, diese Interpretationen am Leben zu erhalten.

Gödel selbst verstand seinen Satz jedoch insbesondere als einen Schlag gegen den von Hilbert propagierten Formalismus in der Mathematik, der in letzter Konsequenz die gesamte Mathematik zu einem rein formalen Gebilde ohne Bezug zur „realen Welt“ machen sollte. Für Gödel als Platoniker waren jedoch die mathematischen Objekte durchaus „real“. Sie waren zwar nicht durch Sinneswahrnehmungen zu bestätigen (wie es die Positivisten einforderten), doch waren sie der Erkenntnis zugänglich. Der Unvollständigkeitssatz zeigte für Gödel, dass man dieser Realität nicht mit rein formalen Mitteln beikommen konnte.

Obwohl Gödel sich in seiner Grundhaltung gegenüber dem damals bedeutsamen logischen Positivismus nicht sehr von Ludwig Wittgenstein unterschied, der eine Realität jenseits der möglichen Bedeutung von Sätzen anerkannte (und sie sogar für wichtiger hielt als das Sagbare), hielten Wittgenstein und Gödel zeit ihres Lebens nicht viel voneinander. In Wittgensteins Werk wird der Unvollständigkeitssatz eher abschätzig behandelt. Für Wittgenstein taugte der Satz lediglich für „logische Kunststücke“. Gödel hingegen wies in späteren Interviews jeglichen Einfluss Wittgensteins auf sein eigenes Denken weit von sich.

Häufige Fehlschlüsse

Die Gödelschen Unvollständigkeitssätze werden auch außerhalb der mathematischen Logik zitiert, nicht nur in der Mathematik. Dabei kann leicht übersehen werden, dass die in den Sätzen verwendeten Fachausdrücke nicht immer die gleiche Bedeutung haben wie gleich oder ähnlich bezeichnete Begriffe in anderem Zusammenhang. In manchen Versuchen, die Ergebnisse einem breiteren Publikum zugänglich zu machen, wird dieses Problem nicht deutlich hervorgehoben. Insofern können auch falsche Vorstellungen über die Bedeutung der Sätze zustande kommen.

Daher folgen hier einige Warnungen vor möglichen Fehlschlüssen:

  • Verwirrung kann dadurch entstehen, dass Gödel nicht nur die Unvollständigkeitssätze bewiesen hat, sondern auch den Gödelschen Vollständigkeitssatz. Hier ist zu beachten, dass der Begriff der Vollständigkeit in zwei verschiedenen Bedeutungen gebraucht wird:
    • Der Vollständigkeitssatz beweist die semantische Vollständigkeit der Prädikatenlogik der ersten Stufe, behandelt also eine Beziehung zwischen Modellen und Beweisen.
    • Der Unvollständigkeitssatz hingegen beweist, dass gewisse Mengen von Ausdrücken nicht vollständig im Sinn einer Theorie sind: es gibt Fälle, wo weder ein Satz noch seine Negation zur Theorie gehören.
  • Ein weiterer Fehlschluss ist, dass die meisten in der Mathematik benutzten Theorien unvollständig seien. Es gibt aber einige wichtige vollständige, rekursiv aufzählbare, widerspruchsfreie Theorien, wie z. B. die Theorie der algebraisch abgeschlossenen Körper von Charakteristik , die Theorie der dichten linearen Ordnungen ohne größtes und kleinstes Element oder Tarskis Axiomatisierung der euklidischen Geometrie. Entscheidend ist, dass diese Theorien nicht ausdrucksstark genug sind, um wesentliche Eigenschaften über natürliche Zahlen darzustellen und um über sich selbst zu reden. Es gibt sogar gewisse vollständige, rekursiv aufzählbare Fragmente der Arithmetik in einer eingeschränkten Sprache. Ein einfaches Beispiel für ein derartiges, schwaches System ist die Arithmetik nur mit 0 und Nachfolger, ein weiteres die Presburger-Arithmetik.
  • Es ist möglich, die Arithmetik vollständig zu beschreiben: Die Theorie ist eine (im hier verlangten Sinn) vollständige, widerspruchsfreie Erweiterung der bekannten Peano-Axiome, true arithmetic genannt. Man könnte die gesamte Menge dieser Sätze als „Axiomatisierung“ der Arithmetik bezeichnen. Der erste Unvollständigkeitssatz zeigt, dass diese Axiomatisierung aber nicht rekursiv aufzählbar ist.

Beispiele für Unbeweisbarkeit konkreter Sätze

Während die unbeweisbare Aussage, die beim Beweis des ersten Unvollständigkeitssatzes konstruiert wird, eher künstlich ist, sind auch natürliche mathematische Aussagen bekannt, die in natürlichen mathematischen Axiomensystemen unbeweisbar sind.

Anwendung

Um die Unbeweisbarkeit einiger Aussagen der Mengenlehre zu zeigen, lässt sich mitunter auch direkt der zweite Unvollständigkeitssatz verwenden: Wenn aus einer Aussage in einer Mengenlehre folgt, dass es ein Modell dieser Mengenlehre gibt und sie daher konsistent ist, dann kann diese Aussage – Konsistenz der jeweiligen Mengenlehre angenommen – nicht ableitbar sein. Beispiele sind die Unbeweisbarkeit des Ersetzungsaxioms in der Zermelo-Mengenlehre, denn mit ihm lässt sich das Modell konstruieren, oder die Unbeweisbarkeit des Universenaxioms, welches direkt die Existenz gewisser Modelle von ZFC fordert.

Sonstiges

Gödel nannte seinen Aufsatz Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I, weil er plante, einen zweiten Aufsatz zu verfassen, in dem er den Beweis genauer erläutern wollte. Der erste Aufsatz fand jedoch bereits so große Anerkennung, dass der Bedarf für einen zweiten entfiel, der daher auch nie geschrieben wurde.

Konkret bezog sich Gödels Aufsatz auf die Principia Mathematica, ein großes formales System, das Bertrand Russell und Alfred North Whitehead zwischen 1910 und 1913 veröffentlichten. Gödel zeigte jedoch auf, dass jedes System mit der gleichen Mächtigkeit wie die Principia Mathematica ebenso anfällig ist.

Weiterhin konnte Gerhard Gentzen zeigen, dass eine konstruktive Mathematik und Logik durchaus widerspruchsfrei ist. Hier zeigt sich ein Grundlagenstreit der Mathematik. Der Philosoph Paul Lorenzen hat eine widerspruchsfreie Logik und Mathematik erarbeitet (Methodischer Konstruktivismus), und sein Buch Metamathematik (1962) eigens geschrieben, um zu zeigen, dass der gödelsche Unvollständigkeitssatz keinen Einwand gegen einen widerspruchsfreien Aufbau der Mathematik darstellt.

Siehe auch

Literatur

Originalpublikationen

  • Kurt Gödel: Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I. In: Monatshefte für Mathematik und Physik. 38, 1931, S. 173–198, doi:10.1007/BF01700692. Zentralblatt MATH.
  • Kurt Gödel: Diskussion zur Grundlegung der Mathematik: Erkenntnis 2. In: Monatshefte für Math. und Physik. 1931–32, S. 147–148.
  •  J. Barkley Rosser: Extensions of some theorems of Gödel and Church. In: Journal of Symbolic Logic. 1, 1936, S. 87–91.

Populäre Einführungen

  • Douglas R. Hofstadter: Gödel, Escher, Bach, ein Endloses Geflochtenes Band. München 1991 ISBN 3-423-30017-5. (Eine interessante und relativ leicht verständliche Erklärung von Gödels Satz und seinen Implikationen).
  • Wolfgang Franz: Über mathematische Aussagen, die samt ihrer Negation nachweislich unbeweisbar sind. Der Unvollständigkeitssatz von Gödel. Franz Steiner Verlag, Wiesbaden, 1977, 27 S., ISBN 3-515-02612-6. (Verständlicher Vortrag mit wissenschaftsgeschichtlichen Bezügen).
  • Raymond Smullyan: Dame oder Tiger – Logische Denkspiele und eine mathematische Novelle über Gödels große Entdeckung. Fischer-Verlag, Frankfurt am Main 1983. Das amerikanische Original erschien bei Alfred A. Knopf, New York 1982.
  • Raymond Smullyan: To Mock a Mockingbird. 1985.
  • Raymond Smullyan: Forever undecided: A puzzle guide to Gödel. 1987.
  • Dirk W. Hoffmann: Die Gödel’schen Unvollständigkeitssätze: Eine geführte Reise durch Kurt Gödels historischen Beweis. Springer 2013, ISBN 978-3-8274-2999-5.

Mathematische Einführungen

  •  David Hilbert, Paul Bernays: Grundlagen der Mathematik. II (= Die Grundlehren der mathematischen Wissenschaften. 50). Springer, Berlin 1939 (enthält eine detaillierte arithmetisierte Beweisskizze des zweiten Unvollständigkeitssatzes, ags.uni-sb.de).
  •  Peter G. Hinman: Fundamentals of Mathematical Logic. A K Peters, Wellesley 2005, ISBN 1-56881-262-0 (enthält einen detaillierten Beweis des zweiten Unvollständigkeitssatzes in der Mengenlehre).
  • Ernest Nagel, James R. Newman: Der Gödelsche Beweis. 8. Auflage. 2007, ISBN 978-3-486-45218-1.
  •  Wolfgang Rautenberg: Einführung in die Mathematische Logik. Vieweg+Teubner, Wiesbaden 2008, ISBN 978-3-8348-0578-2 (springerlink.com).
  • Peter Smith: An Introduction to Gödel’s Theorems. Cambridge Introductions to Philosophy. 2. Auflage, Cambridge 2013, ISBN 978-1-107-60675-3.
  •  Craig Smorynski: The incompleteness theorems. In: Jon Barwise (Hrsg.): Handbook of Mathematical Logic. North Holland, 1977, ISBN 0-444-86388-5.
  • Raymond Smullyan: Gödel’s Incompleteness Theorems. Oxford Logic Guides. Oxford University Press, 1992.
  • Max Urchs: Klassische Logik: eine Einführung. Berlin 1993, ISBN 3-05-002228-0 (dort im Kapitel Theorien erster Ordnung. S. 137–149).

Zur Bedeutung der Sätze

  • Norbert Domeisen: Logik der Antinomien. Bern 1990. ISBN 3-261-04214-1, Zentralblatt MATH.
  • Ludwig Fischer: Die Grundlagen der Philosophie und der Mathematik. Leipzig 1933.
  • Torkel Franzen: Gödel’s Theorem. An incomplete guide to its use and abuse. Wellesley MA 2005, ISBN 1-56881-238-8 (Eine leicht verständliche Erläuterung von Gödels Unvollständigkeitssätzen, ihren Implikationen und ihren Fehlinterpretationen).
  • Sybille Krämer: Symbolische Maschinen: Die Idee der Formalisierung in geschichtlichem Abriß. Darmstadt 1988, ISBN 3-534-03207-1.
  • Paul Lorenzen: Metamathematik. Mannheim 1962, ISBN 3-86025-870-2.
  • Paul Lorenzen: Lehrbuch der konstruktiven Wissenschaftstheorie. Stuttgart 2000, ISBN 3-476-01784-2.
  • S. G. Shanker (Hrsg.): Gödel’s Theorem in focus. London / New York 1988, ISBN 0-415-04575-4.
  • Wolfgang Stegmüller: Unvollständigkeit und Unentscheidbarkeit. Die metamathematischen Resultate von Gödel, Church, Kleene, Rosser und ihre erkenntnistheoretische Bedeutung. 3. Auflage. Springer-Verlag, Wien / New York 1973, ISBN 3-211-81208-3.
  • Max Woitschach: Gödel, Götzen und Computer: eine Kritik der unreinen Vernunft. Stuttgart 1986. ISBN 3-87959-294-2.
  • Palle Yourgrau: Gödel, Einstein und die Folgen. Vermächtnis einer ungewöhnlichen Freundschaft. Beck, München 2005. ISBN 3-406-52914-3. (Original: A World Without Time: The Forgotten Legacy of Gödel and Einstein. Basic Books, Cambridge MA 2005).

Weblinks

Einzelnachweise

  1. Kurt Gödel: Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I. In: Monatshefte für Mathematik und Physik. 38, 1931, S. 173–198, Zentralblatt MATH.
  2.  Dan E. Willard: Self Verifying Axiom Systems, the Incompleteness Theorem and the Tangibility Reflection Principle. In: Journal of Symbolic Logic. 66, 2001, S. 536–596.
  3.  Gerhard Gentzen: Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie. In: Mathematische Annalen. 119, 1943, S. 140–161, doi:10.1007/BF01564760 (gdz.sub.uni-goettingen.de).


Dieser Artikel basiert (teilweise) auf dem Artikel Gödelscher Unvollständigkeitssatz aus der freien Enzyklopädie Wikipedia und steht unter der Lizenz Creative Commons Attribution/Share Alike. In Wikipedia ist eine Liste der Autoren verfügbar.