Zeit: Dienstag 15:30-17:00

Beginn: 2007-10-02

Diese Vorlesung führt in die grundlegenden Ideen der modernen mathematischen Logik ein. Themen sind: Aussagenlogik, das Lemma von Zorn, das Auswahlaxiom, die Logik der ersten Stufe, der Gödel'sche Vollständigkeitssatz, Berechenbarkeit und rekursive Aufzählbarkeit, die Gödel'schen Unvollständigkeitssätze, das Axiomensystem von Zermelo und Fraenkel.

Vorkenntnisse: Es werden keine Vorkenntnisse in der mathematischen Logik vorausgesetzt, wohl aber genügend Erfahrung im mathematischen Beweisen, so wie man sie etwa in den Anfangssemestern des Mathematikstudiums erwirbt. Die Vorlesung kann ab dem dritten Semester gehört werden.