Mathematically Concluding that God Exists… or Not
Any verified mathematical proof is “true”, if the axioms themselves are true and the steps follow the rules of logic. Benzmüller and Paleo’s paper certainly supports Gödel’s proof: Based on his axioms and modal logic, it is necessary that God, a being expressing all positive properties, exists.
As noted above, one may still disagree with any axiom. If an axiom falls, then theorems depending on it would fall. Within modal logic, that would terminate the proof of God’s existence.
Even if this particular proof were discredited, Gödel would remain famous for recursion theory, and proving both a Completeness Theorem and, most notably, his Incompleteness Theorem.
Benzmüller, Christoph and Paleo, Bruno Woltzenlogel. Formalization, Mechanization and Automation of Gödel’s Proof of God’s Existence. (2013). Free University of Berlin and Vienna University of Technology. Accessed October 31, 2013.
Garson, James. Modal Logic. (2013 ed.) The Stanford Encyclopedia of Philosophy. Accessed October 31, 2013.
Knight, David. Computer Scientists ‘Prove’ God Exists. (2013). ABC News. Accessed October 31, 2013.