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-41
2. 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.

Studienordnungen

Die Vorlesung (mit Übung) ist unter WP 6 in der Bachelorstudienordnung Mathematik (2021) mit 9 ECTS Punkten aufgelistet, ebenso unter WP 33 in der Masterstudienordnung Mathematik (2021). Sie kann nur für einen der beiden Studiengänge angerechnet werden.

Letzte Änderung

12. April 2023