Das Oberseminar ist eine gemeinsame Veranstaltung mit Tobias Kaiser. Es beinhaltet Forschungsvorträge der Arbeitsgruppen und ihrer Gäste. Fortgeschrittene Studierende, die ihr Wissen in mathematischer Logik und/oder Komplexitätstheorie vertiefen wollen, können hier über ein gemeinsam gewähltes und gemeinsam erarbeitetes Thema vortragen.
Programm TBA
Die mathematische Logik geht auf Gottlob Freges Begriffsschrift 1879 zurück und wurde vorangetrieben durch David Hilberts Programm im Zuge der sogenannten Grundlagenkrise der Mathematik zu Anfang des 20. Jahrhundert. Seither hat sie sich zu einer eigenständigen mathematischen Disziplin entwickelt, mit weitreichenden Verknüpfungen zu anderen Gebieten der Mathematik und insbesondere der theoretischen Informatik. Zu den grössten Errungenschaften der mathematischen Logik, und der Mathematik des 20. Jahrhunderts überhaupt, gehören Alan Turings formale Definition des Berechenbarkeitsbegriffes 1936 und Kurt Gödels Beweis der Unmöglichkeit von Hilberts Programm, nämlich seine Unvollständigkeitssätze 1931. Die Vorlesung bietet eine Einführung in die mathematische Logik, insbesondere in die Berechenbarkeitstheorie und die Unvollständigkeitssätze.
Es wird ein Vorlesungsskript erstellt werden.
Vorlesung
Dienstag 12:00 - 14:00 IM SR030
Donnerstags 12:00 - 14:00 ITZ SR004
Übungen
Mittwoch 10:00 - 12:00 IM SR030
Literatur
Ziegler, Mathematische Logik, Birkhäuser, 2010, Springer
Ebbinghaus, Flum, Thomas, Mathematical logic, 1994 Springer
Ebbinghaus, Flum, Thomas, Einführung in die mathematische Logik, 2018, Springer
Rautenberg, A concise introduction to mathematical logic, 2010, Springer
Shoenfield, Mathematical logic, Addison-Wesley, 1967
