Diskussion:Max Tegmark
aus Wikipedia, der freien Enzyklopädie
Gödelschen Unvollständigkeitssatz
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)
