Das Herbstsemester 2020 findet in einer gemischten Form aus Online- und Präsenzunterricht statt.
Bitte lesen Sie die publizierten Informationen zu den einzelnen Lehrveranstaltungen genau.

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

SemesterHerbstsemester 2019
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
LiteraturErgänzende Literatur wird in der Vorlesung angegeben.