Die Vorlesung gibt eine Einführung in die Logik der ersten Stufe. Es werden die Begriffe eines formalen Beweises und eines Modells eingeführt und gezeigt, dass die modelltheoretisch definierte logische Folgerung, das gleiche ist wie Beweisbarkeit. Dies ist die Aussage des Gödelschen Vollständigkeitssatzes. U.a. mit Hilfe der Berechenbarkeitstheorie werden sodann die beiden Gödelschen Unvollständigkeitssätze gezeigt, welche besagen, dass es wahre zahlentheoretische Aussagen gibt, welche die Peano-Arithmetik (PA) nicht beweist, und dass die Konsistenz von PA nicht in PA beweisbar ist.
Zu dieser Vorlesung gibt es zwei Seiten im Learnweb, eine für die Vorlesung und eine für die Übung.
Vorlesung: https://www.uni-muenster.de/LearnWeb/learnweb2/course/view.php?id=44531
Übung: https://www.uni-muenster.de/LearnWeb/learnweb2/course/view.php?id=44536
- Lehrende/r: Martin Hils
- Lehrende/r: Stefan Hoffelner
- Lehrende/r: Stefan Marian Ludwig