Die von Kurt Gödel 1931 veröffentlichten sogenannten Unvollständigkeitssätze haben das Bild der modernen Mathematik nachhaltig geprägt, da sie die Grenzen der axiomatischen Methode aufzeigten. Die vorliegende Arbeit versucht nach einer historischen und terminologischen Einführung Gödels geniale Beweismethode für den Ersten Unvollständigkeitssatz verständlich darzustellen, indem der Beweis in vier Teile zerlegt wird, die wiederum schrittweise vertieft werden. Dadurch wird es dem Leser ermöglicht, sich nur jene Teile des Beweises, die für ihn von besonderem Interesse sind, bis zum gewünschten Detailgrad anzueignen. Spezielle mathematische Vorkenntnisse werden nicht vorausgesetzt.
Inhaltsverzeichnis
1 Die Grundlagenkrise der Mathematik
1.1 Cantors Mengentheorie
1.2 Die Paradoxa
1.2.1 Cantors Paradoxon (1899)
1.2.2 Russells Paradoxon (1902)
1.2.3 Das Paradoxon des Epimenides (auch: Lügnerparadoxon, um 600 v. Chr.)
1.2.4 Das Paradoxon des Proklos (um 450 n. Chr.)
1.2.5 Das Paradoxon von Grelling (1908)
1.2.6 Das Paradoxon von Berry (1906)
1.3 Wege aus dem Dilemma der Paradoxa
1.3.1 Die Einschränkung des Mengenbegriffes
1.3.2 Vermeidung von Selbstbezüglichkeit
1.3.3 Der Logizismus
1.3.4 Der Konstruktivismus
1.3.5 Der Formalismus (Metamathematik)
2 Grundlagen
2.1 Cantors Diagonalmethode
2.1.1 Die Überabzählbarkeit von R und P(N)
2.1.2 Die Überabzählbarkeit von P(M) für unendliche Mengen
2.1.3 Die Beweisidee der Diagonalmethode
2.2 Formale Systeme
2.2.1 Das MIU-System
2.2.2 Das pg-System
2.3 Formales Axiomensystem der Arithmetik (nach Peano)
2.3.1 Formale Sprache des PA-Systems
2.3.2 Axiome des PA-Systems
2.3.3 Schlussregeln
2.3.4 Beispiele für Beweise im PA-System
2.3.5 Ausdruckbar und repräsentierbar
2.3.6 ω-Unvollständigkeit und ω-Widersprüchlichkeit
3 Der Beweis
3.1 Beweisidee
3.2 Schritt 1: Gödelisierung
3.2.1 Ebene 1: Motivation
3.2.2 Ebene 2: Einfache Gödelisierungen
3.2.3 Ebene 3: Vollständige Gödelisierung des PA-Systems
3.3 Schritt 2: Aussagekraft des PA-Systems
3.3.1 Ebene 1: Motivation
3.3.2 Ebene 2: Programme mit begrenzten Schleifen
3.3.3 Ebene 3: Primitiv-rekursive Funktionen
3.4 Schritt 3: Im PA-System repräsentierte Funktionen
3.4.1 Ebene 1: Motivation
3.4.2 Ebene 2: „Uninteressante“ Unvollständigkeit
3.4.3 Ebene 3: Beweisidee für die Repräsentierbarkeit der primitiv-rekursiven Prädikate
3.5 Schritt 4: Diagonalmethode und Konstruktion von G
3.5.1 Ebene 1: Motivation
3.5.2 Ebene 2: Die Selbstbezüglichkeit im PA-System
3.5.3 Ebene 3: Das Diagonallemma
4 Folgerungen und Folgen
4.1 Folgerungen aus dem ersten Unvollständigkeitssatz
4.2 Folgen für die Mathematik
Zielsetzung & Themen
Die Arbeit untersucht Kurt Gödels Ersten Unvollständigkeitssatz, um aufzuzeigen, dass in widerspruchsfreien formalen Systemen, die mächtig genug sind, die Arithmetik darzustellen, zwangsläufig Aussagen existieren, die innerhalb des Systems weder bewiesen noch widerlegt werden können.
- Grundlagenkrise der Mathematik und historische Paradoxa
- Cantors Diagonalmethode als zentrales Beweiswerkzeug
- Konstruktion formaler Systeme und deren Metamathematik
- Die Gödelisierung zur Einbettung zahlentheoretischer Probleme in formale Systeme
- Konstruktion der Gödelsatz-Formel G und deren Implikationen für die mathematische Vollständigkeit
Auszug aus dem Buch
3.2.1 Ebene 1: Motivation
Gödels geniale Entdeckung, die den Beweis des Unvollständigkeitssatzes erst möglich machte, war die der Isomorphie zwischen beliebigen formalen Systemen und der Zahlentheorie. Denn dadurch sind wir im Stande, formales Schlussfolgern in arithmetische Operationen zu übersetzen – ein formales System wie PA, das in der Lage ist, arithmetische Operationen zu formalisieren, ist dadurch über den Umweg der Isomorphie in der Lage, Aussagen über die eigenen Schlussregeln und Ableitungen zu treffen, also fähig zur „Selbstreflexion“.
Eine solche isomorphe Abbildung zwischen formalen System und Arithmetik herzustellen, ist sehr leicht. Es reicht, jedem Zeichen der formalen Sprache einen eindeutigen Zahlencode zuzuweisen; Formeln erhalten dann durch Kombination der entsprechenden Zeichencodes ebenfalls in umkehrbar eindeutiger Weise natürliche Zahlen als Kodierung. Die typographischen Regeln des formalen Systems lassen sich gleichfalls in arithmetische Regeln übersetzen, damit ist das gesamte System „arithmetisierbar“. Im nächsten Abschnitt werden beispielhaft Gödelnummerierungen des MIU-Systems (s. 2.2.1) und des PA-Systems (s. 2.3) angeführt, die sehr gut die zu Grunde liegenden Prinzipien erkennen lassen. Im darauffolgenden Abschnitt erfolgt die Gödelnummerierung des PA-Systems, die im weiteren Beweisgang verwendet wird.
Zusammenfassung der Kapitel
1 Die Grundlagenkrise der Mathematik: Dieses Kapitel erläutert die historische Ausgangslage, in der Paradoxa die Mengenlehre erschütterten, und stellt die Lösungsansätze wie Logizismus, Konstruktivismus und Formalismus vor.
2 Grundlagen: Hier werden die mathematischen Werkzeuge wie Cantors Diagonalmethode und der Aufbau formaler Systeme (MIU, pg, Peano-Arithmetik) eingeführt, die für das Verständnis des Beweises notwendig sind.
3 Der Beweis: Dies ist das Kernkapitel, in dem die Gödelisierung, die Aussagekraft formaler Systeme und schließlich die Konstruktion der Gödelsatz-Formel G detailliert hergeleitet werden.
4 Folgerungen und Folgen: Das letzte Kapitel diskutiert die Auswirkungen der Unvollständigkeitssätze, insbesondere den Zweiten Unvollständigkeitssatz, den Satz von Tarski und die Bedeutung für die moderne Mathematik und Informatik.
Schlüsselwörter
Kurt Gödel, Unvollständigkeitssatz, formale Systeme, Arithmetik, Peano, Mengenlehre, Paradoxa, Diagonalmethode, Gödelisierung, Gödelnummerierung, Primitiv-rekursive Funktionen, Metamathematik, Beweisbarkeit, Widerspruchsfreiheit, Selbstreferenz.
Häufig gestellte Fragen
Worum geht es in dieser Arbeit grundsätzlich?
Die Arbeit behandelt den Ersten Unvollständigkeitssatz von Kurt Gödel, der nachweist, dass mathematische formale Systeme prinzipielle Grenzen ihrer eigenen Vollständigkeit haben.
Welche zentralen Themenfelder werden abgedeckt?
Die Themen umfassen die Geschichte der Grundlagenkrise, die formale Logik, die Theorie formaler Systeme und die Arithmetisierung der Metamathematik.
Was ist das primäre Ziel der Untersuchung?
Ziel ist es, den Beweis des Ersten Unvollständigkeitssatzes in einer verständlichen, stufenweise exakter werdenden Form darzulegen und die Bedeutung der Selbstbezüglichkeit aufzuzeigen.
Welche wissenschaftliche Methode kommt zum Einsatz?
Die Arbeit nutzt die Gödelisierung, um formale Strukturen in zahlentheoretische Relationen abzubilden, wodurch das System über seine eigenen Ableitungsregeln „sprechen“ kann.
Was wird im Hauptteil der Arbeit behandelt?
Im Hauptteil liegt der Fokus auf der vierstufigen Beweisführung: Gödelisierung, Aufbau der Aussagekraft durch primitiv-rekursive Funktionen, Repräsentation und die finale Konstruktion der unentscheidbaren Formel G.
Welche Schlüsselwörter charakterisieren die Arbeit?
Die Arbeit wird durch Begriffe wie Gödelnummerierung, formale Systeme, Unvollständigkeit, Selbstreferenz und mathematische Logik geprägt.
Warum spielt die Selbstbezüglichkeit eine so zentrale Rolle für Gödels Beweis?
Ohne die Fähigkeit eines Systems, über sich selbst Aussagen zu treffen (Selbstbezüglichkeit), ließe sich das Lügnerparadoxon nicht in eine mathematische Formel übersetzen, die Gödels Satz erst möglich macht.
Was unterscheidet das PA-System vom einfachen pg-System?
Während das pg-System lediglich einfache Additionen modelliert, ist das Peano-Arithmetik-System (PA) mächtig genug, um die gesamte Arithmetik der natürlichen Zahlen darzustellen, was die Anwendbarkeit des Unvollständigkeitssatzes überhaupt erst ermöglicht.
- Quote paper
- Magister Martin Thomaschütz (Author), 2001, Der Erste Unvollständigkeitssatz von Kurt Gödel, Munich, GRIN Verlag, https://www.grin.com/document/113178
