A couple of scientists have proven that god exists. At least in theory, the Inquisitr reported.
Christopher Benzmuller of Berlin's Free University and Bruno Woltzenlogel Paleo of the Technical University in Vienna used their Macbooks to analyze a theory put forth by mathematician Kurt Godel regarding the existence of God.
According to CNET, Godel used theorems and axioms to formulate a mathematical equation proving the existence of God.
What Benzmuller and Paleo came up, according to the Examiner, boiled down to this: "God, by definition, is that for which no greater can be conceived. God exists in the understanding. If God exists in the understanding, we could imagine Him to be greater by existing in reality. Therefore, God must exist."
They were able to "prove" God exists by providing a philosophical answer that fails to give concrete reason -- but people are sort of rolling with it, the Examiner reported.
It was basically a numbers game and two guys proved the theory using their computers.
"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," Benzmuller said.
Although the computer scientists proved that Godel's theory is mathematically sound, they haven't proven the existence of God.
Benzmüller told the Inquisitr the purpose of his experiment was to show how advanced computers have become over the years. If they can prove the existence of God (or at least that a theory about the all might is mathematically sound) then they can do just about anything.
"I didn't know it would create such a huge public interest," he said. "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?"
