Mathematik - Gödelscher Unvollständigkeitssatz

 Einfach ausgedrückt, sagt Gödels Satz, dass in einem mathematischen System, welches z.B. so komplex wie die Zahlen ist, Sätze existieren, von denen man nicht beweisen kann, ob sie wahr oder falsch sind. Wikipedia: "Jedes hinreichend mächtige, rekursiv aufzählbare formale System ist entweder widersprüchlich oder unvollständig."

Einfaches Beispiel: kann der allmächtige Gott einen Stein so schwer machen, dass er ihn nicht aufheben kann?

PS: Gödel hat mal einen mathematischen Beweis für die Existenz Gottes geführt. Man weiss nicht, was Gott davon hält.

PPS: Das Pielmeiersche Korollar lautet: die Spezifikation eines komplexen technischen System ist entweder unvollständig oder unverständlich.