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.
Leistungskontrolle
Information zur Leistungskontrolle (gültig bis die Lerneinheit neu gelesen wird)