Gödelsche Unvollständigkeitssätze
Version vom 16. August 2021, 22:41 Uhr von Fx255 (Diskussion | Beiträge)
Diese Seite ist noch im Aufbau
Kurt Gödel
Kurt Gödel war ein Mathematiker des 20.Jahrhunderts, der sich viel mit der Lehre der Logik in der Mathematik beschäftigte. So suchte er auch nach Antworten auf Hilberts Probleme und Fragen. Als Antwort auf das zweite Problem, "Sind die arithmetischen Axiome widerspruchsfrei?", entstanden die Unvollständigkeitssätze Gödels, auf welche im weiteren eingegangen wird.