Diskussion:Max Tegmark

aus Wikipedia, der freien Enzyklopädie
Letzter Kommentar: vor 8 Jahren von Claude J in Abschnitt Gödelschen Unvollständigkeitssatz
Zur Navigation springen Zur Suche springen

Gödelschen Unvollständigkeitssatz

[Quelltext bearbeiten ]
Letzter Kommentar: vor 8 Jahren 2 Kommentare2 Personen sind an der Diskussion beteiligt

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) Beantworten

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) Beantworten

Abgerufen von „https://de.wikipedia.org/w/index.php?title=Diskussion:Max_Tegmark&oldid=157439609"