Diskussion:Max Tegmark
Letzter Kommentar: vor 7 Jahren von Claude J in Abschnitt Gödelschen Unvollständigkeitssatz
Gödelschen Unvollständigkeitssatz[Quelltext bearbeiten]
Im 4. Abschnitt steht, dass: "...in einem genügend reichhaltigen mathematischen Axiomensystem nicht entscheidbare, aber wahre Aussagen existieren".
Das halte ich für falsch: wenn eine Aussage nicnt entscheidbar ist, dann kann sie nicht gleichzeitig wahr sein.
--JWS (Diskussion) 07:19, 28. Aug. 2016 (CEST)
Doch, entweder die Aussage oder ihr Gegenteil (immer vorausgesetzt die Theorie ist widerspruchsfrei). In jedem Fall gibt es eine Aussage die wahr aber nicht beweisbar ist.--Claude J (Diskussion) 10:31, 28. Aug. 2016 (CEST)