|
Albert-Ludwigs-Universität Freiburg |
| Institut für mathematische Logik und Grundlagen der Mathematik |
Zeit: Mo, Mi 9-11 Uhr
Ort: SR 404, Eckerstr. 1
Übungen: Fr 14-16, SR 404 Eckerstr. 1
Die Vorlesung soll in mathematische Grundlagenfragen einführen. Ausgangspunkt sind Fragestellungen wie (1) Was ist ein mathematischer Beweis? (2) Welche Regeln des Schließens verwendet der Mathematiker? (3) Kann man jeden wahren mathematischen Satz auch beweisen? (4) Ist die Mathematik widerspruchsfrei? (5) Kann man das Beweisen einem Computer überlassen? Die Vorlesung erfordert keine mathematishen Spezialkenntnisse. Sie erfordert allerdings entwickelte mathematische Fähigkeiten, wie sie in der Regel nach zwei Semestern vorhanden sind. Mit dieser Vorlesung beginnt ein Zyklus von Lehrveranstaltungen, der auch zu Examensarbeiten aus dem Gebiet der Mathematischen Logik führt.
Erste Literaturhinweise:
Ebbinghaus/Flum/Thomas: Einführung in die mathematische Logik;
Enderton: A mathematical introduction to logic;
Prestel: Mathematische Logik und Modelltheorie.