401-3033-00L  Die Gödel'schen Sätze

SemesterHerbstsemester 2021
DozierendeL. Halbeisen
Periodizitäteinmalige Veranstaltung
LehrspracheDeutsch


KurzbeschreibungDie 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
LernzielDas Ziel dieser Vorlesung ist ein fundiertes Verständnis der Grundlagen der Mathematik zu vermitteln.
InhaltSyntax und Semantik der Prädikatenlogik
Gödel'scher Vollständigkeitssatz
Gödel'sche Unvollständigkeitssätze
LiteraturL. Halbeisen und R. Krapf: Gödel's Theorems and Zermelo's Axioms: a firm foundation of mathematics, Birkhäuser-Verlag, Basel (2020)