 |
Albert-Ludwigs-Universität Freiburg |
| Institut für mathematische Logik und Grundlagen der
Mathematik |
[Homepage]
[Institut]
[Personen]
[Vorlesungen]
[Preprints]
[Links]
Vorlesung Logik im SS 1996
J. Flum
Zeit: Mo, Mi 9-11
Ort: HS II Albertstr. 23b
Übungen dazu: Fr 14-16, HS II Albertstr. 23 b
Die Vorlesung soll in mathematische Grundlagenfragen einführen.
Ausgangspunkt sind Fragestellungen wie
- Was ist ein mathematischer Beweis?
- Welche Regeln des Schließens verwendet der Mathematiker?
- Kann man jeden wahren mathematischen Satz beweisen?
- Ist die Mathematik widerspruchsfrei?
- Kann man das Beweisen einer Rechenmaschine überlassen?
Die Vorlesung erfordert keine mathematischen Spezialkenntnisse.
Sie erfordert allerdings entwickelte mathematische Fähigkeiten,
wie sie in der Regel erst 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.
26. Januar 1996
Frank Messerle