„Mathematiker bestätigen Gottesbeweis“
titelt SpOn auf seiner Wissenschaftsseite und fährt fort:
„Jetzt sind die letzten Zweifel ausgeräumt: Gott existiert tatsächlich.“
Gut, dass wir das endlich hinter uns haben. Nach 2.500 Jahren wurde es auch endlich Zeit. Und an alle Atheisten: Vielen Dank fürs Mitspielen, holt euch bitte eure Trostpreise an der Pforte zur Hölle ab! Aber, ihr ahnt es sicher schon, ganz so einfach werde ich es euch nicht machen…
Also, beginnen wir mit einem Faktencheck
Was ist passiert? Kurt Gödel, fraglos einer der größten Logiker der Geschichte, hatte sich dereinst daran gemacht, die Existenz Gottes zu beweisen. Mithilfe der Modallogik entwickelte Gödel einen formallogischen Beweis für die Existenz Gottes. Dieser lässt sich holzschnittartig auf zwei Schritte runterbrechen:
1. Es ist möglich, dass es ein göttliches Wesen gibt.
2. Wenn es möglich ist, dass es ein göttliches Wesen gibt, dann ist es auch notwendig.
Jetzt haben die Wissenschaftler Christoph Benzmüller und Bruno Woltzenlogel Paleo einen Computer mit der Formel gefüttert, der bestätigt, dass Gödels Ableitung korrekt ist. Interessant an dem SpOn-Artikel ist übrigens, dass dieser zweimal ostentativ darauf hinweist, dass es ein Mac war, der uns Gott bewiesen hat. Ein Schelm würde sagen, dass das ziemlich gut zeigt, wie sich unser Glaubenssystem mittlerweile verschoben hat…
Stutzig machen sollte uns aber, dass der Beweis, der bereits um 1970 veröffentlicht wurde, erst jetzt von einem Computer bestätigt worden sein soll. Denn selbst wenn die Formel, die Gödel niederschrieb in die Königsklasse dessen gehört, was ein Mensch nachvollziehen kann, sollte ein Computer dazu leichter in der Lage sein und dies auch schon lange vor dem Jahr 2013 geschafft haben können. Wenn man sich die Pressemeldung von Benzmüller und Woltzenlogel Paleo anschaut, so stellt man auch gleich fest, dass diese schreiben, dass der Beweis noch nie so detailreich, in solch einer Tiefe durchgeführt wurde. Denn – so wieder SpOn – Gödel machte nicht all seine Annahmen explizit.
Stimmt Gödels Gottesbeweis denn jetzt?
Soweit, so gut, aber ist die Existenz Gottes jetzt wirklich bewiesen? Ist jetzt alles gesagt und es steht fest, dass Gläubige recht und Ungläubige unrecht haben? Ich habe mich mit dem Thema ja schon einmal auseinandergesetzt und habe damals behauptet, dass diese Streitfrage prinzipiell nicht entscheidbar ist. Aber wer bin ich schon im Vergleich zu Gödel… Okay ich sollte mich jetzt nicht selbst mit einem Sophismus (Namedropping) ausknocken sondern lieber mich selbst zitieren und damit in Erinnerung rufen, was die Logik ist und kann und was sie nicht kann:
Die Logik ist die Lehre vom formal richtigen Schließen. Dass heißt, sie untersucht Schlussfolgerungen nur anhand ihrer sprachlichen Form, um zu prüfen, ob in dieser Fehler stecken. Der Inhalt der Äußerung interessiert die Logik dabei überhaupt nicht, sie überlässt es der Empirie, der Wissenschaft, zu prüfen, ob dieser Inhalt wahr ist.
Daraus folgt aber – natürlich vorausgesetzt, ich habe die Logik richtig verstanden – dass Gödel „nur“ bewiesen hat, dass es möglich ist, auf die notwendige Extistenz eines göttlichen Wesens zu schließen, wenn man eine bestimmte Menge von Prämissen – Mathematiker würden Axiome sagen – als gegeben voraussetzt. Welche sind das?
Die Wikipedia hilft uns hier weiter, indem sie uns den Beweis normalsprachlich aufschlüsselt:
- Annahme 1: Entweder eine Eigenschaft oder ihre Negation ist positiv.
- Annahme 2: Eine Eigenschaft, die notwendigerweise durch eine positive Eigenschaft impliziert wird, ist positiv
- Theorem 1: Positive Eigenschaften sind möglicherweise beispielhaft
- Definition 1: Eine gottesähnliche Existenz enthält alle positive Eigenschaften
- Annahme 3: Die Eigenschaft, gottähnlich zu sein, ist positiv
- Schlussfolgerung: Möglicherweise existiert Gott
- Annahme 4: Positive Eigenschaften sind notwendigerweise positiv
- Definition 2: Die Essenz eines Individuums ist die Eigenschaft, die von diesem umgesetzt wird und impliziert notwendigerweise irgendeine seiner Eigenschaften
- Theorem 2: Götterähnlich zu sein ist eine Essenz von jeder götterähnlichen Existenz
- Definition 3: Notwendige Existenz eines Individuums ist die notwendige Beispielhaftigkeit von all seinen Essenzen
- Annahme 5: Die notwendige Existenz ist eine positive Eigenschaft
- Notwendigerweise, Gott existiert
Die spannenden Aspekte sind dabei die Definitionen 1, 2 und 3. Denn, was ist eine Definition? Auch das habe ich bereits zuvor erläutert: Eine Definition ist ein Dogma. Ich kann mein Beweisspiel nicht bis in alle Ewigkeit weiterspielen, das wäre ein infiniter Regress, daher breche ich sie irgendwann ab und definiere meine Grundbegriffe. Diese Definitionen sind aber eben nicht bewiesen, sie stehen unter einem Falsifikationsvorbehalt. Sie haben im Sprachspiel die Funktion, das Spielfeld abzustecken innerhalb dessen ich meinen logischen Ball hin- und herschlage. Aber wie beim Tennis, wo sich die Größe des Feldes ändern kann, wenn Doppel statt Einzel gespielt wird, ist auch eine Definition nichts, das ewig feststeht. Sie ist nichts, was bewiesen wurde, sondern unterliegt allein schon durch den Sprachwandel Änderungen.
Das heißt, liebe Atheisten, ihr könnt weiter an Gottes Existenz zweifeln, ihr müsst dafür nur Gödels Definitionen angreifen…
Eines noch und dafür werden mich alten Relativisten sämtliche Ontologen ans Kreuz nageln: Angenommen, wir gestehen Gödel zu, dass er richtig definiert hat, hat er dann wirklich die Existenz eines (meta-)physischen Dinges bewiesen? Mitnichten! Er hat dann bewiesen, dass unsere Sprache diesen Ausdruck notwendigerweise beinhaltet. Dass er im Regelwerk unserer Sprache steckt. Selbst in der natürlichen Sprache ist das wenig überraschend, denn diese Sprache wurde seit nunmehr fast 100.000 Jahren von Menschen gesprochen, die an ein göttliches Wesen glauben. Da ist es nicht verwunderlich, dass sich dies tief in ihr Flussbett eingegraben hat. Aber im Falle Gödels ist es sogar noch vertrackter: Denn Gödel benutzte eine Kunstsprache, eine Idealsprache für seinen Beweis. Eine böse Zunge könnte also sagen: Gödel hat bewiesen, dass die Sprache, die er „erfunden“ hat, für den Beweis Gottes geeignet ist.
Ich bin raus!