Albert-Ludwigs-Universität Freiburg Mathematische Fakultät Institut für mathematische Logik und Grundlagen der Mathematik

Vorlesung "Mathematische Logik" - WS 2001/2002

Zeit und Ort: Di Fr 9-11, HS Hebelstr. 29
Übungen: in kleinen Übungsgruppen

Die Vorlesung soll in mathematische Grundlagenfragen einführen.
Ausgangspunkt sind Fragestellungen wie

(1) Was ist ein mathematischer Beweis?
(2) Was ist ein Algorithmus?
(3) Kann man jeden wahren mathematischen Satz auch beweisen?
(4) Kann man jedes mathematische Problem algorithmisch lösen?
(5) Ist die Mathematik widerspruchsfrei?

Die Vorlesung erfordert keine mathematischen Spezialkenntnisse. Sie setzt allerdings entwickelte mathematische Fähigkeiten voraus, wie sie in der Regel nach zwei Semestern vorhanden sind.

Diese Vorlesung gibt eine abgeschlossene Einführung in die Mathematische Logik. Mit ihr beginnt aber auch ein Zyklus von Lehrveranstaltungen, der u.a. zu Examensarbeiten auf dem Gebiet der Mathematischen Logik führt.

Die Folien gibt es hier.
Eine Terminübersicht gibt es hier.

Literatur:
Ebbinghaus, Flum, Thomas: Einführung in die mathematische Logik, Spektrum Verlag.
Enderton: A mathematical introduction to logic, Academic Press.
Schöning: Logik für Informatik, Spektrum Verlag.