"Scientists Prove Existence of God,"
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. 
"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?"
Get the latest best seller from Carl Gallups!
THE RABBI WHO FOUND MESSIAH:
The Story of Yitzhak Kaduri and His Prophecies of the Endtimes
(WND Books - Washington D.C.)
AMAZON - Hardcover, Kindle, DVD Documentary movie
(WND Films - with Jonathan Cahn - 60 min.)
WND Superstore - Hardcover (autographed) and DVD Documentary movie