Gödelsche Unvollständigkeitssätze: Unterschied zwischen den Versionen
Fx255 (Diskussion | Beiträge) |
Fx255 (Diskussion | Beiträge) |
||
| Zeile 7: | Zeile 7: | ||
== Gödelsche Unvollständigkeitssätze == | == Gödelsche Unvollständigkeitssätze == | ||
Veröffentlicht im Jahr 1931 besagen die Unvollständigkeitssäte als ganzes, dass es in hinreichend starken Systemen (Bsp. [https://de.wikipedia.org/wiki/Arithmetik Arithmetik]) Aussagen geben kann, von denen man weder beweisen kann, dass sie wahr sind, noch diese widerlegen kann. | Veröffentlicht im Jahr 1931 besagen die Unvollständigkeitssäte als ganzes, dass es in hinreichend starken Systemen (Bsp. [https://de.wikipedia.org/wiki/Arithmetik 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 | + | So besagt Gödels erster Unvollständigkeitssatz, dass es in allen widerspruchsfreien Systemen aussagen gibt, deren Wahrheitsgehalt weder be- noch wieder-legt werden kann. |
Der zweite Satz besagt, dass man in widerspruchsfreien und hinreichend starken Systemen deren Widerspruchsfreiheit nicht beweisen kann. | Der zweite Satz besagt, dass man in widerspruchsfreien und hinreichend starken Systemen deren Widerspruchsfreiheit nicht beweisen kann. | ||
Version vom 15. September 2021, 13:29 Uhr
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 Wahrheitsgehalt weder be- noch wieder-legt werden kann. Der zweite Satz besagt, dass man in widerspruchsfreien und hinreichend starken Systemen deren Widerspruchsfreiheit nicht beweisen kann.