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

Aus Wikiversity
Zur Navigation springen Zur Suche springen



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.