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

Aus Wikiversity
Wechseln zu: Navigation, Suche

Sie können sich schon zur Klausur am 13. August anmelden.

Allquantorpunktzähler=5


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.