mathematik !
für dich schrieb am 19. Juli 2004 um 13:32 Uhr (672x gelesen):
"Jedes hinreichend mächtige formale System ist entweder widersprüchlich oder unvollständig."
Oder anders - Der Unvollständigkeitssatz von Kurt Gödel lautet (vereinfacht):
Jeder widerspruchsfreie Kalkül, der es erlaubt, von den natürlichen Zahlen zu sprechen, der also die elementare Arithmetik umfasst, enthält unendlich viele Aussagen, die in diesem Kalkül weder bewiesen noch widerlegt werden können.
> Kurt Gödel wohl nicht *g*
Beitrag ist archiviert
Diskussionsverlauf: