Präsenzveranstaltung
- Thema:
- Gödels Unvollständigkeitsbeweis
- Veranstaltungstyp:
- Präsenz
- Semester:
- Sommersemester 2026
- Zielgruppe:
- BA KuWi: Modul 25401/P1; MA Phil: Modul 26401/I; Modul 26403/III; Modul 26405/V; AT Phil;
- Ort:
- Frankfurt
- Adresse:
-
Campus Frankfurt/Main
Campus Frankfurt, Colosseo Frankfurt, Walther-von-Cronberg-Platz 16, 5. Obergeschoss - Termin:
- 12.06.2026
bis
14.06.2026 - Zeitraum:
- Freitag, 15 h bis 18 h
Samstag, 10 h bis 18 h
Sonntag, 10 h bis 14 h - Leitung:
- PD Dr. Timm Lampert
- Anmeldung:
- Hinweis:
- Veranstaltung wird als Seminar im Sinne der Studienordnung anerkannt. Es wird eine Teilnahmebescheinigung ausgestellt.
Gödel hat 1931 bewiesen, dass die Peano Arithmetik (PA) unvollständig ist: Es gibt mindestens einen wahren Satz, der sich in nicht entscheiden lässt (d.i. weder er noch seine Negation kann aus den Axiomen von PA abgeleitet werden). Gödel hat angegeben, wie man einen solchen Satz konstruieren kann und erläutert, dass er äquivalent ist zu der Aussage, dass eben dieser Satz nicht in PA beweisbar ist. Gödels Beweis hat nicht nur eine herausragende Stellung für die Grundlagen der Mathematik, der Informatik und Logik, sondern hat darüber hinaus auch eine wichtige Bedeutung für die Erkenntnistheorie und Philosophie des Geistes. Wir werden uns eingehend mit dem Beweis anhand der ersten 22 Kapitel des Buches von Peter Smith beschäftigen und auch seine philosophischen Implikationen diskutieren.
Bitte melden Sie sich im Moodle-Kurs an, über den alle weitere Information läuft.
Literatur:
Peter Smith, An Introduction to Gödel’s Theorem, Cambridge: Cambridge University Press, 2007.
