Computer bevestigt dat Gödels godsbewijs logisch klopt

0
2

Kurt Gödel door Renee Bolinger in Art-Nouveau-stijlIneens is sinds enige dagen Kurt Gödels 'God Argument' of 'Proof of God's Existence' in het nieuws. Het bericht dat de logicus Christoph Benzmüller en zijn collega Bruno Woltzenlogel Paleo de correctheid ervan m.b.v. de computer hebben bevestigd haalde ook het Reformatorisch Dagblad.

Een bericht met interviewtje met Benzmüller: "Computer beweist die Existenz Gottes: Gott existiert notwendigerweise" levert er een plaatje van een Christus aan het kruis bij dat het meteen tot onzin maakt – hetgeen uiteraard niet de bedoeling geweest zal zijn. 

Tobias Hürter, in Spiegel Online: "Formel von Kurt Gödel: Mathematiker bestätigen Gottesbeweis" schrijft:

"Der Versuch, zwingende Argumente für die Existenz Gottes zu finden, hat eine uralte Tradition. Aristoteles führte vor über 2300 Jahren einen Gottesbeweis, in späteren Jahrhunderten taten es ihm Anselm von Canterbury, Thomas von Aquin, René Descartes, Baruch de Spinoza und Gottfried Wilhelm Leibniz nach. Bemerkenswert an all diesen cleveren Argumenten ist, wie wenig Überzeugungskraft sie haben. Es ist unwahrscheinlich, dass je eines von ihnen einen Atheisten bekehrt hat. Auch wenn seine Existenz tausendmal bewiesen würde: Gott bleibt Glaubenssache."

Zie hier de websitepagina met de "Formalization, Mechanization and Automation of Gödel's Proof of God's Existence" en het PDF.