|
GÖDELs Unvollständigkeitssatz
Der Unvollständigkeitssatz von Kurt GÖDEL wird allgemeinverständlich und sehr ausführlich besprochen in dem preisgekrönten Buch von HOFSTADTER (1992). Dort heißt es (Zitat von Seite 19, Zeile 2 ff):
„In seiner absolut reinsten Fassung stellt Gödels Entdeckung die Übersetzung einer uralten philosophischen Paradoxie in die Sprache der Mathematik dar. Es handelt sich um die sogenannte Epimenides- oder Lügner-Paradoxie. Epimenides war ein Kreter, der einen unsterblichen Satz aussprach: ,Alle Kreter sind Lügner.' Eine verschärfte Version dieser Aussage lautet einfach: ,Ich lüge' oder: ,Diese Aussage ist falsch.'“ (Ende des Zitats)
HOFSTADTER führt weiter aus (Zitat von Seite 23, Abs. 3 ff):
„In diesen Paradoxien steckt anscheinend immer der gleiche Haken:
Selbstbezüglichkeit oder „Seltsame-Schleifen-Bildung“. Wenn man sich also das Ziel setzt, alle Paradoxien zu eliminieren, warum versucht man nicht, Selbstbezüglichkeit und alles was dazu führen könnte, zu eliminieren? Das ist nicht so leicht wie es scheint, denn unter Umständen ist es schwierig, festzustellen, wo Selbstbezüglichkeit auftritt. Sie kann sich über eine ganze Seltsame Schleife mit verschiedenen Schritten ausbreiten wie in der ,erweiterten' Fassung des Epimenides, die an Eschers Zeichnen erinnert:
Der folgende Satz ist falsch.
Der vorhergehende Satz ist richtig.“
|
