Grundzüge der mathematischen Logik
(WiSe 2018)

Die Vorlesung beginnt am 4. Oktober 2018 und findet Donnerstags von 14:10 - 14:55 Uhr und Freitags von 16:45 - 18:15 Uhr im Hörsaal 11 (Oskar-Morgenstern-Platz 1, 2.Stock, 02.511) statt.

Die Prüfungsleistung wird durch Bestehen der Klausur am 31.01.2019 von 13:15 - 15:15 Uhr in HS 4 erbracht. Eine Teilnahme an der Klausur ist nur nach vorheriger erfolgreicher Anmeldung in u:space möglich. Weitere mündliche Prüfungstermine sind am 07. März, 11. April und 23. Mai. Falls Sie eine mündliche Prüfung ablegen möchten, melden Sie sich bitte rechtzeitig vorher per E-Mail mit Angabe der Matrikelnummer und des Wunschtermins bei mir an.


Zu dieser Vorlesung wird begleitend eine Übung angeboten, deren Besuch dringend empfohlen wird. Die Übung beginnt am 4. Oktober 2018. Eine Gruppe findet unter Leitung von Marlene Koelbing Donnerstags von 13:05 - 13:50 Uhr im Hörsaal 11 statt. Eine zweite Gruppe findet unter meiner Leitung Freitags von 15:50 - 16:35 Uhr im Hörsaal 11 statt. Nähere Informationen und Übungszettel finden sich im moodle.
In der Mitte des Semesters (am 13.12. von 13:30 bis 14:30 in HS 4) findet in den Übungen eine Probeklausur (Zwischentest) statt, welche u.a. zur Vorbereitung auf die Klausur am Ende des Semesters dient. Die Note in den Übungen wird zu 50% aus der Note des Zwischentests bestehen. Die verbleibenen 50% werden durch aktive Teilnahme und Bearbeitung der Übungsbeispiele erbracht. In den Übungen gilt Anwesenheitspflicht.


Inhalte Diese Vorlesung bietet eine Einführung in die mathematische Logik. Wir werden zunächst Aussagen- und Prädikatenlogik einführen und den Gödelschen Vollständigkeitssatz behandeln. Im Anschluss werden wir Nichtstandard-Modelle der natürlichen Zahlen betrachten und den berühmten ersten Gödelschen Unvollständigkeitssatz beweisen. Dann werden wir uns der Mengenlehre widmen und unter anderem das Auswahlaxiom in seinen Varianten diskutieren.

Es werden keine Vorkenntnisse vorausgesetzt.

Hier finden Sie das Skript zur Vorlesung. Hier finden Sie außerdem eine Übersicht, über die in der Vorlesung behandelten Inhalte. Dies dient nur zur groben Übersicht, keine Garantie auf Vollständigkeit!

Literatur