Kurs:Einführung in die mathematische Logik (Osnabrück 2016)



Aristoteles (384-322 v.u.Z) begründete die Logik für einstellige Prädikate und die Modallogik.
Kurt Gödel (1906-1978) bewies den Vollständigkeitssatz und die Unvollständigkeitssätze.


Dieser Kurs ist eine Einführung in die mathematische Logik mit der Zielsetzung, sowohl den Gödelschen Vollständigkeitssatz als auch die Gödelschen Unvollständigkeitssätze zu beweisen. Behandelt werden formale Sprachen, Aussagenlogik, Prädikatenlogik, ihre Semantik und ihre Ableitungskalküle, Tautologien, Isomorphie und elementare Äquivalenz, Nichtstandardmodelle, Registermaschinen und das Halteproblem, Berechenbarkeit und Entscheidungsfragen, Modallogik. Dozent ist Holger Brenner.