401-3033-00L Die Gödel'schen Sätze
Semester | Herbstsemester 2019 |
Dozierende | L. Halbeisen |
Periodizität | einmalige Veranstaltung |
Lehrsprache | Deutsch |
Kurzbeschreibung | Die Vorlesung besteht aus drei Teilen: Teil I gibt eine Einführung in die Syntax und Semantik der Prädikatenlogik erster Stufe. Teil II behandelt den Gödel'schen Vollständigkeitssatz Teil III behandelt die Gödel'schen Unvollständigkeitssätze |
Lernziel | Das Ziel dieser Vorlesung ist ein fundiertes Verständnis der Grundlagen der Mathematik zu vermitteln. |
Inhalt | Syntax und Semantik der Prädikatenlogik Gödel'scher Vollständigkeitssatz Gödel'sche Unvollständigkeitssätze |
Literatur | Ergänzende Literatur wird in der Vorlesung angegeben. |