Einführung in die mathematische Logik (V2A2)
Dozent
- Prof. Dr. Peter Koepke
- Dr. Philipp Lücke (Übungsbetrieb)
Zeit und Ort
- Vorlesung: Montags 14:15 - 16:00, Kleiner Hörsaal (Wegelerstraße 10) und mittwochs 13:30 - 15:00, Zeichensaal (Wegelerstraße 10). Beginn: 7. Oktober.
- Übungen: Montags 16:00 - 18:00, mittwochs 14:00 - 16:00 und donnerstags 10:00 - 12:00, alle Termine im SR0.006. Beginn: 18. April.
Inhalt
Durch Einführung von logischen Verknüpfungen ("und", "oder", "nicht") und Quantoren ("für alle", "es existiert") - oder entsprechende Symbole - lassen sich alle mathematischen Aussagen in eine streng formale Form bringen. Bekanntlich wird die Stetigkeit von Funktionen in der Analysis oft in einer epsilon-delta-Schreibweise mit Quantorensymbolen definiert. Mathematische Beweise können als Folgen von Aussagen aufgefasst werden, die sich durch logische Schlüsse aus Grundannahmen ergeben. Dabei haben einige Schlussweisen einen rein formalen, kalkülartigen Charakter als Umformung von Symbolfolgen.
Es wird ein vollständiger Beweiskalkül für die Logik (erster Stufe) angegeben, der dem üblichen mathematischen Schließen nahe steht. Durch die Formalisierung werden Aussagen und Beweise selbst zu mathematischen Objekten. Zentrales Ergebnis ist der Gödelsche Vollständigkeitssatz, der die formale Methode bestätigt: jede allgemeingültige mathematische Aussage kann im Beweiskalkül abgeleitet werden. Darauf aufbauend werden Beweisverfahren vorgestellt, die sich für Computer-basiertes automatisches oder interaktives Beweisen eignen.
Die Mengenlehre ist die allgemein akzeptierte Grundlage der Mathematik. Die Zermelo-Fraenkelschen Axiome der Mengenlehre lassen sich in der Logik erster Stufe formulieren. Wir werden sehen, wie sich die üblichen Grundbegriffe der Mathematik wie Zahlen, Relationen, Funktionen usw. in diesem Axiomensystem entwickeln lassen.
Da sich die Logik selbst in der Mengenlehre formalisieren lässt, kann man selbstbezügliche Aussagen wie "dieser Satz ist nicht beweisbar" bilden. Daraus ergeben sich die Gödelschen Unvollständigkeitssätze über Grenzen der formalen Methode.
Die Vorlesung setzt Grundkenntnisse aus dem 1. Studienjahr Mathematik voraus. Ein Skript wird während der Vorlesung bereitgestellt.
Die Vorlesung wird im Sommersemester 2020 mit einem Hauptseminar oder Praktikum über automatisches und interaktives Beweisen fortgesetzt.
Vorlesungsthemen
- Quantorensprachen
- Strukturen
- Interpretation von Formeln in Strukturen
- Formale Sprachen und Kalküle
- Beweiskalküle
- Konsistenz und Erfüllbarkeit von Theorien
- Der Gödelsche Vollständigkeitssatz
- Mengentheoretische Axiome
- Mengentheoretische Grundlegung der Mathematik
- Gödelsche Unvollständigkeitssätze
Übungen
Zeit | Ort | Übungsgruppenleiter |
Montag 8:15 - 10:00 | N 0.003 | |
Dienstag 12:15 - 14:00 | N 0.003 | |
Mittwoch 16:15 - 18:00 | N 0.003 | |
Donnerstag 12:15 - 14:00 | N 0.003 |
Klausur
- Die Klausur findet am Montag, 27.01.2020
um 14-16 Uhr im großen und kleinen Hörsaal, Wegelerstraße 10, statt.
- Die Nachklausur findet am Mittwoch 11.03.2020, 09:00-11:00 Uhr, im großen Hörsaal, Wegelerstraße 10, statt.