Warum lässt Gott sowas zu?

[Ulan]

Danke @Ulan. Ich denke auch, dass Gödel nur einen Ansatz, aber nicht die Lösung liefert. Als logisches Gedankenspiel ist es dennoch eine interessante Überlegung.

Als logisches Gedankenspiel war es auch gemeint. Gödel hatte lange gezoegert, dies zu veroeffentlichen, weil er befuerchtete, das wuerde als Gottesbeweis missverstanden. Die Bedeutung seines Ansatzes besteht darin, dass man solche formal logischen Konstrukte tatsaechlich auch formal beweisen kann. Dass er gleichzeitig auch zeigt, dass man mit der Wahl der Ausgangsannahmen sehr vorsichtig sein muss, damit solch ein Beweis nicht in die Irre fuehrt, ist dabei ebenfalls hilfreich.