Die Vorlesung gibt eine Einführung in die Prädikatenlogik der ersten Stufe. Es werden die Begriffe eines formalen Beweises und eines Modells eingeführt und gezeigt, dass logische Folgerung, die unter Verwendung des Modellbegriffs definiert ist, das gleiche ist wie Beweisbarkeit. Dies ist die Aussage des Gödelschen Vollständigkeitssatzes. Mit Hilfe der Berechenbarkeitstheorie wird dann der Gödelsche Unvollständigkeitssatz gezeigt, der besagt, dass die formale Beweisbarkeit von Sätzen nicht durch einen Algorithmus entschieden werden kann. Zudem werden Ordinal- und Kardinalzahlen behandelt sowie die Zermelo-Fraenkel-Axiome der Mengenlehre.
- Lehrende/r: Ralf-Dieter Schindler
Semester: SoSe 2020