Die heutige Erkenntnistheorie kann über die Ergebnisse der Grundlagenforschung der Mathematik nicht hinwegsehen. Die Resultate der Metamathematik sind nicht nur für die Philosophie der Mathematik, sondern auch für andere Disziplinen der Philosophie von herausragender Bedeutung. Schon die offenkundige strukturelle Isomorphie semantischer Paradoxien und formaler Konstruktionen der Metamathematik weist auf eine immanente Verwandtschaft der Problemstellung und des möglichen Lösungsansatzes hin. Während jedoch die Beschäftigung mit semantischen Paradoxien schon sehr früh als unfruchtbare Betätigung abgegolten wurde, zeigte sich die Metamathematik als fruchtbares und alles andere als triviales und apriorisches Gebiet philosophischer Erkenntnis. Dieser Fortschritt eröffnete nicht nur neue Bereiche innerhalb der Metamathematik und Mathematik selbst, sondern gab Anlass zur Annahme, dass auch eine Klärung der semantischen Paradoxien nicht mehr abwegig war. Dies mündete in der Erforschung der Möglichkeit der Definition eines adäquaten Wahrheitsbegriffes im Rahmen axiomatischer und philosophischer Wahrheitstheorien.
Diese Arbeit stellt sämtliche wesentlichen Resultate von Gödel und seinen Nachfolgern detailliert und Vollständig dar. Einige Beweisschritte wurden zum ersten mal systematisch aufbereitet. Zudem werden die Resultate in ihrem historischen und systematischen Kontext gewertet. Darauf aufbauend werden zuletzt Implikationen für die Philosophie abgeleitet.
Inhaltsverzeichnis
I Einführung und Grundlagen
1 Überblick und Fragestellungen
2 Historischer und ideengeschichtlicher Kontext
2.1 Arithmetische und mengentheoretische Preliminarien
2.2 Allgemeines zu formalen Systemen
II Metamathematik
3 Die semantische Variante des ersten Gödelschen Unvollständigkeitssatzes
4 Die schwache syntaktische Variante der Unvollständigkeitssätze
4.1 Der Aufbau der Gödelschen Originalarbeit 1931
4.2 Das System P
4.2.1 Definition der Syntax
4.2.2 Definition der Semantik
4.2.3 Definition der Axiome und Schlussregeln
4.2.4 Gödelisierung: Die Arithmetisierung der Syntax
4.2.5 Ein Vergleich des Systems P mit dem System der Principia Mathematica
4.3 Primitiv-rekursive Funktionen
4.4 Satz V: Der Zusammenhang zwischen dem System P und den primitiv-rekursiven Funktionen
4.5 Satz VI: ω-Widerspruchsfreiheit
4.6 Die schwache syntaktische Variante des ersten Unvollständigkeitssatzes
4.7 Der zweite Unvollständigkeitssatz
4.8 Zwischenbetrachtung: Das Diagonallemma
5 Die starke syntaktische Variante der Unvollständigkeitssätze
6 Nichtstandardmodelle der Peano-Arithmetik: Unvollständigkeit ohne Selbstbezuglichkeit?
6.1 Grundlagen der Modelltheorie
6.2 Das Skolem-Gödel-Theorem
6.3 Der Vollständigkeitssatz
6.4 Satz von Löwenheim-Skolem
6.5 Unvollständigkeit modelltheoretisch: Kripkes Beweisskizze des ersten Unvollständigkeitssatzes
6.6 Kommt Kripkes’ Beweis ohne Selbstbezuglichkeit aus?
7 Fünf Fehlinterpretationen der metamathematischen Resultate
8 Das natürliche Unabhängigkeitsphänomen der Goodstein-Folgen
8.1 Die Definition der Goodstein-Folgen
8.2 Der Satz von Goodstein
8.3 Der Satz von Kirby und Paris
III Erkenntnistheorie
9 Die Church-Turing-These
9.1 Berechenbarkeit
9.2 Die Turing-Maschine
9.3 Registermaschinen
9.4 Die Church-These
10 Der Antimechanismus
10.1 Einführung in die Lucas-Penrose-Debatte
10.2 Das Argument von Lucas
10.3 Slezaks externer Betrachter
10.4 Benacerrafs Analyse
10.5 Whiteleys Bemerkung
11 Das Phänomen der Hyperzirkularität
12 Schlussbetrachtungen und Ausblick
Zielsetzung & Themen
Die Arbeit untersucht die metamathematischen und philosophischen Implikationen der Gödelschen Unvollständigkeitssätze, insbesondere in Bezug auf das Phänomen der Hyperzirkularität und die Mechanismus-Debatte.
- Metamathematische Beweisanalyse der Unvollständigkeitssätze
- Untersuchung der Hyperzirkularität und Selbstreferenz
- Diskussion der Lucas-Penrose-Debatte und des Antimechanismus
- Vergleich formaler Systeme und Berechenbarkeitsmodelle
- Analyse von Goodstein-Folgen als Beispiel für Unabhängigkeit
Auszug aus dem Buch
Die semantische Variante des ersten Gödelschen Unvollständigkeitssatzes
Gödel teilte seine Publikation zu den Unvollständigkeitssätzen aus dem Jahre 1931 in vier Abschnitte auf. Der erste stellt eine, von Gödel selbst vorausgeschickte Beweisskizze, der Unvollständigkeitssätze dar. Zugleich war dies auch die semantische Variante des ersten Unvollständigkeitssatzes. Der Vorteil einer derartigen Eröffnung liegt in der Möglichkeit den Beweisgang vereinfacht wiederzugeben und zentrale Ideen darzustellen, ohne sich im Detail der formalen Ableitungen zu verlieren. Gödels Argumentationsstruktur tritt dadurch klar zum Vorschein. Der eigentliche syntaktische Beweis ist dann nurmehr eine Verschärfung des bisherigen Gedankenganges. Unweigerlich muss man sich jedoch der Annahmen des semantischen Beweises in Abgrenzung zu den syntaktischen Beweisen bewusst werden.
Gödel beginnt seine Arbeit mit einer kurzen Bestandsaufnahme des damaligen Forschungsstandes auf dem Gebiet der Grundlagen der Mathematik: „Die Entwicklung der Mathematik in der Richtung zu größerer Exaktheit hat bekanntlich dazu geführt, daß weite Gebiete von ihr formalisiert wurden, in der Art, daß das Beweisen nach einigen wenigen mechanischen Regeln vollzogen werden kann. Die umfassendsten derzeit aufgestellten formalen Systeme sind das System der Principia Mathematik (PM) einerseits, das Zermelo-Fraenkelsche (von J. v. Neumann weiter ausgebildete) Axiomensystem der Mengenlehre andererseits. Diese beiden Systeme sind so weit, daß alle heute in der Mathematik angewandeten Beweismethoden in ihnen formalisiert, d. h. auf einige wenige Axiome und Schlußregeln zurückgeführt sind. Es liegt daher die Vermutung nahe, daß diese Axiome und Schlußregeln dazu ausreichen, alle mathematischen Fragen, die sich in den betreffenen Systemen überhaupt formal ausdrücken lassen, auch zu entscheiden. Im Folgenden wird gezeigt, daß dies nicht der Fall ist, sondern daß es in den beiden angeführten Systemen sogar relativ einfache Probleme aus der Theorie der gewöhnlichen ganzen Zahlen gibt, die sich aus den Axiomen nicht entscheiden lassen.“
Zusammenfassung der Kapitel
1 Überblick und Fragestellungen: Einleitung in die Bedeutung der Metamathematik für die Philosophie und Definition der zentralen Forschungsfragen zur Hyperzirkularität.
2 Historischer und ideengeschichtlicher Kontext: Darstellung der Grundlagenkrise der Mathematik und der verschiedenen Lösungsversuche durch Logizismus und Formalismus.
3 Die semantische Variante des ersten Gödelschen Unvollständigkeitssatzes: Einführung in die Gödelisierung und das Diagonallemma anhand der semantischen Variante des ersten Satzes.
4 Die schwache syntaktische Variante der Unvollständigkeitssätze: Kommentierte Wiedergabe des formalen Beweisgangs der schwachen syntaktischen Variante und Definition des Systems P.
5 Die starke syntaktische Variante der Unvollständigkeitssätze: Erläuterung der starken Variante nach Rosser unter Verwendung der Annahme der simplen Konsistenz.
6 Nichtstandardmodelle der Peano-Arithmetik: Unvollständigkeit ohne Selbstbezuglichkeit?: Modelltheoretische Analyse und Diskussion der Unvollständigkeit unter Berücksichtigung von Nichtstandardmodellen.
7 Fünf Fehlinterpretationen der metamathematischen Resultate: Richtigstellung häufiger Missverständnisse in Bezug auf die metamathematischen Sätze.
8 Das natürliche Unabhängigkeitsphänomen der Goodstein-Folgen: Beschreibung der Goodstein-Folgen als konkretes Beispiel für die praktische Relevanz metamathematischer Resultate.
9 Die Church-Turing-These: Behandlung der Berechenbarkeitstheorie und der Frage nach den Grenzen algorithmischer Definitionen.
10 Der Antimechanismus: Diskussion der Lucas-Penrose-Debatte bezüglich der Frage, ob menschliches Denken durch Maschinen abgebildet werden kann.
11 Das Phänomen der Hyperzirkularität: Vertiefende Einführung des Konzepts der Hyperzirkularität und deren Rolle in formalen Systemen.
12 Schlussbetrachtungen und Ausblick: Zusammenfassende methodengeschichtliche Reflexion und Ausblick auf künftige Forschungsfragen.
Schlüsselwörter
Metamathematik, Unvollständigkeit, Gödel, Peano-Arithmetik, Hyperzirkularität, Diagonallemma, Turing-Maschine, Mechanismusdebatte, Logik, Arithmetisierung, formale Systeme, Church-Turing-These, Goodstein-Folgen, Selbstreferenz, Beweistheorie.
Häufig gestellte Fragen
Worum geht es in dieser Masterarbeit?
Die Arbeit untersucht die metamathematischen und philosophischen Konsequenzen der Gödelschen Unvollständigkeitssätze und deren Bezug zur Philosophie des Geistes, speziell zum Mechanismus-Problem.
Was sind die zentralen Themenfelder?
Zentral sind die Metamathematik, die Unvollständigkeit axiomatischer Systeme, die Berechenbarkeitstheorie sowie die Debatte um die Grenzen künstlicher Intelligenz.
Welches primäre Ziel verfolgt die Forschungsfrage?
Die Arbeit möchte die metamathematischen Beweise von Gödel und Rosser kommentiert wiedergeben, historische Missverständnisse klären und den Begriff der Hyperzirkularität untersuchen.
Welche wissenschaftliche Methode wird verwendet?
Es wird eine formallogische Analyse der Beweisführungen in den Originalarbeiten durchgeführt, eingebettet in einen ideengeschichtlichen und philosophischen Kontext.
Was wird im Hauptteil behandelt?
Der Hauptteil widmet sich der formalen Wiedergabe der semantischen und syntaktischen Varianten der Unvollständigkeitssätze sowie deren Interpretation in der Modelltheorie und Erkenntnistheorie.
Welche Schlüsselbegriffe charakterisieren die Arbeit?
Die zentralen Begriffe sind Gödelisierung, Diagonallemma, Hyperzirkularität, Peano-Arithmetik, Unvollständigkeit, Konsistenz und der Antimechanismus.
Was unterscheidet die schwache von der starken syntaktischen Variante?
Die schwache Variante nutzt die ω-Widerspruchsfreiheit, während die starke Variante von Rosser die simplere Annahme der reinen Konsistenz verwendet.
Wie ist die "Hyperzirkularität" definiert?
Ein System ist hyperzirkulär, wenn in ihm ein Satz formuliert werden kann, der über sich selbst spricht, was eine strikte Selbstreflexion darstellt.
- Citar trabajo
- MSc, MA Edin Boskovic (Autor), 2015, Hyperzirkularität und Berechenbarkeit. Metamathematische und philosophische Implikationen der Unvollständigkeit axiomatischer Systeme der Peano-Arithmetik, Múnich, GRIN Verlag, https://www.grin.com/document/314374
