Even at the time, the argument was not exactly a new one. For centuries, many have tried to use this kind of abstract reasoning to prove the possibility or necessity of the existence of God. But the mathematical model composed by Gödel proposed a proof of the idea. Its theorems and axioms -- assumptions which cannot be proven -- can be expressed as mathematical equations. And that means they can be proven.
That is where Christoph Benzmüller of Berlin's Free University and his colleague, Bruno Woltzenlogel Paleo of the Technical University in Vienna, come in. Using an ordinary MacBook computer, they have shown that Gödel's proof was correct -- at least on a mathematical level -- by way of higher modal logic. Their initial submission on the arXiv.org research article server is called "Formalization, Mechanization and Automation of Gödel's Proof of God's Existence."
Proof that God exists came 33 years ago.............
Kurt Gödel was The Man.
A mathematical expression sophisticated enough to be sentient.
‘I refuse to prove that I exist,’ says God, ‘for proof denies faith, and without faith I am nothing.’
‘But,’ says Man, ‘This mathematics proves you exist, and so therefore, by your own arguments, you don’t. QED.’
‘Oh dear,’ says God, ‘I hadn’t thought of that,’ and promptly disappears in a puff of logic.
‘Oh, that was easy,’ says Man, and for an encore goes on to prove that black is white and gets himself killed on the next zebra crossing.
I take it that this is not a man Obama would hire for his website?
What software did they use? java? C#? Mathematica? Is there a download I can try at home?
Philosophically such proofs cannot be real for a simple reason. Abstracts, such as mathematics, only describe reality; they do not define reality.
You may paint the prettiest, most accurate picture of an apple ever made, but it remains just a picture, not the apple itself.
God exists. Things do not just spontaneously create everything out of nothing, there are no self-creating effects, there is always a cause. Only God fits a self-creating cause. Information and codes prove an intelligence in DNA.
You either know He exists and know Him, you know He exists but don’t know Him, you just don’t know, you don’t care, or you know He exists but wish He didn’t exist.