Vorlesung: | Mathematical Logic |
Dozent: | Jeffrey Burdges |
Zeit/Ort: | Di, Do 14–16 Uhr, Weismann-Haus, Albertstr. 21a |
Übungen: | 2-std. n.V. |
Tutorium: | Nina Frohn |
Web-Seite: | http://home.mathematik.uni-freiburg.de/ziegler/veranstaltungen/ss10-logik.html |
Inhalt:
Die Vorlesung Mathematische Logik ist die erste Vorlesung eines
Logikzyklus. Sie besteht aus vier Teilen:
1. Der Prädikatenkalkül
Der Gödelsche Vollständigkeitssatz zeigt, wie sich logisches Schließen
formalisieren läßt.
2. Mengenlehre
Das Axiomensystem der Mengenlehre wird eingeführt. Die gesamte
Mathematik folgt (wenn man will) formal-logisch aus diesen Axiomen.
3. Rekursionstheorie
Der Begriff der Berechenbarkeit wird streng gefaßt. Eigentliches Ziel ist es
aber, den rekursionstheoretischen Gehalt des Prädikatenkalküls zu
verstehen.
4. Arithmetik
Die Arithmetik ist ein Teilsystem der Mengenlehre, das groß genug ist,
Prädikatenkalkül und Rekursionstheorie zu formalisieren. Es ergeben sich
die paradoxen Gödelschen Unvollständigkeitssätze.
Die Vorlesung wird in Englisch gehalten.
Literatur:
Typisches Semester: | 4. Semester |
Studienschwerpunkt: | Reine Mathematik, Analysis, Algebra |
Notwendige Vorkenntnisse: | Eine Anfängervorlesung Mathematik |
Folgeveranstaltungen: | Teil 2 des Logikzyklus |
Sprechstunde Dozent: | n.V., Eckerstr. 1 |
Sprechstunde Assistentin: | n.V. , Zi. 312, Eckerstr. 1 |