Kurs:Einführung in die mathematische Logik (Osnabrück 2011-2012)


Information
Vorlesungen


Arbeitsblätter
Weitere Materialien
Forum
Literatur
Links
Kurt Gödel (1906-1978)

Dieser Kurs ist eine kurze Einführung in die mathematische Logik mit der Zielsetzung, die Gödelschen Unvollständigkeitssätze zu beweisen.

Dieser Artikel wurde von Wikiversity herausgegeben. Der Text ist unter Creative Commons Attribution-Share Alike 4.0 verfügbar, sofern nicht anders angegeben. Für die Mediendateien können zusätzliche Bedingungen gelten.