Logik I - Einzelansicht

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://sso.uni-muenster.de/LearnWeb/learnweb2/course/view.php?id=44531

Übung:  https://sso.uni-muenster.de/LearnWeb/learnweb2/course/view.php?id=44536

- Ralf Schindler: Skript zur Vorlesung 'Logik 1' (Sommersemester 2020), wird ab dem 20.04.2020 auf der Learnweb-Seite der Vorlesung sichtbar gemacht.

Es wird auf den Learnweb-Seiten rechtzeitig bekannt gegeben, in welcher Form die Vorlesung und die Übung jeweils stattfinden.

Erfolgreiche Teilnahme an den Übungen.

Diese Veranstaltung ist nicht wählbar in der Verbreiterung für die Studierenden, die ab dem Wintersemester 2013/14 ihr Studium Master of Science Mathematik begonnen haben bzw. beginnen.