Gödelsche Unvollständigkeitssätze
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.
Gödelsche Unvollständigkeitssätze
Veröffentlicht im Jahr 1931 besagen die Unvollständigkeitssäte als ganzes, dass es in hinreichend starken Systemen (Bsp. Arithmetik) Aussagen geben kann, von denen man weder beweisen kann, dass sie wahr sind, noch diese widerlegen kann. So besagt Gödels erster Unvollständigkeitssatz, dass es in allen widerspruchsfreien Systemen aussagen gibt, deren Wahrheit weder be- noch wieder-legt werden kann. Der zweite Satz besagt, dass man in widerspruchsfreien und hinreichend starken Systemen deren Widerspruchsfreiheit nicht beweisen kann.