Mathematische Logik
Zeit und Ort
Vorlesung: Mo,Mi 8-10, A027. Beginn: Montag 17. Oktober.Übung: Fr 8-10, A027. Beginn: Freitag 28. Oktober
Inhalt
Minimallogik und Einbettung der klassischen und intuitionistischen Logik. Gentzens Kalkül des natürlichen Schliessens. Semantik, Vollständigkeit der Prädikatenlogik erster Stufe. Grundlagen der Theorie der Berechenbarkeit, Churchsche These, Unentscheidbarkeit der Prädikatenlogik. Gödelsche Sätze über die Unvollständigkeit von Erweiterungen der elementaren Zahlentheorie.Skriptum
1. Logic. 03-412. Recursion theory. 43-59
3. Gödel's theorems. 61-73
4. Initial cases of transfinite induction. 75-83.
5. Computability in higher types. 85-90.
Das vollständige Skript mit Inhaltsverzeichnis, Bibliographie und Index finden Sie hier.
Übungen
Bitte melden Sie sich hier an. Übungsblätter werden in uni2work und ebenfalls an dieser Stelle veröffentlicht:ueb01, ueb02, ueb03, ueb04, ueb05, ueb06, ueb07, ueb08, ueb09, ueb10, ueb11, ueb12.
Die Lösungen werden in der Übungsstunde präsentiert. Dort werden auch die korrigierten Übungsblätter verteilt; danach können sie im B414 abgeholt werden. Abgabe wahlweise elektronisch oder physisch (in der Vorlesung). Gemeinsame Lösungen sind zugelassen.
Sprechstunden
- Nils Köpp [koepp[at]math.lmu.de], Mi 11-12, B414.
- Philippe Vollmuth [ph.vollmuth[at]campus.lmu.de]. Bitte anmelden.
- Helmut Schwichtenberg, Mi 13-14, B434.
Literatur
- Schwichtenberg/Wainer, Proofs and Computations. Cambridge 2012
- Troelstra/Schwichtenberg, Basic Proof Theory. Cambridge 2000
- van Dalen, Logic and Structure. Berlin 1980
- Ebbinghaus, Flum, Thomas, Einführung in die mathematische Logik. Darmstadt 1978
- Shoenfield, Mathematical Logic. Reading 1967
Prüfungsform
Es wird eine 2-stündige Klausur geschrieben, und zwar am Dienstag 14. Februar 2023, 09:00 - 11:00 Uhr im B138. Hilfsmittel (Bücher, Skripten etc.) sind in der Klausur nicht zugelassen; Schreibpapier wird gestellt. Bitte einen Lichtbildausweis mitbringen.Eine Nachklausur findet am 31. März 2023 statt, 10:00 - 12:00 Uhr im B138.
Die Klausur ist korrigiert und die Ergebnisse sind auf uni2work einsehbar. Eine Klausureinsicht ist möglich am Montag, dem 20. Februar, 12:00-13:00 im Raum B414.
Auch die Nachklausur ist korrigiert und die Ergebnisse sind auf uni2work einsehbar. Eine Klausureinsicht ist möglich am Montag, dem 17. April, 12:00-13:00 im Raum B414.