Scientists and Computer: PROVE THE EXISTENCE OF GOD?

 The German daily Die Welt wrote last week in a headline article:
“Scientists Prove Existence of God,” 

 Two scientists from Berlin’s Free University say that they have proven a theorem first put forward by renowned Austrian mathematician Kurt Gödel.

The mathematics involved in Gödel’s ontological proof are
complicated, but in simplified form, the Austrian was postulating that God is that for which no greater can be conceived. God exists in the understanding of that concept only. Godel said that we could conceive of 
God as greater if he existed in our reality. Therefore, Godel said, He must exist.

Scientists Christoph Benzmüller of Berlin’s Free University and his
colleague, Bruno Woltzenlogel Paleo of the Technical University in
Vienna, used an ordinary MacBook computer to run Godel’s mathematical calculations. They say they have shown
that Gödel’s proof was dead on.

 Benzmüller told SPIEGEL ONLINE. “It’s totally amazing that from this
argument led by Gödel, all this stuff can be proven automatically in a
few seconds or even less on a standard notebook,” he said. [1]

“I didn’t know it would create such a huge public interest but (Gödel’s
ontological proof) was definitely a better example than something
inaccessible in mathematics or artificial intelligence,” the scientist
added. “It’s a very small, crisp thing, because we are just dealing with
six axioms in a little theorem. … There might be other things that use
similar logic. Can we develop computer systems to check each single step
and make sure they are now right?”

[1] http://www.spiegel.de/international/germany/scientists-use-computer-to-mathematically-prove-goedel-god-theorem-a-928668.html