Computer Scientists ’Prove’ God Exists
2013-10-28 0:00

By David Knight | Spiegel

Two scientists have formalized a theorem regarding the existence of God penned by mathematician Kurt Gödel. But the God angle is somewhat of a red herring -- the real step forward is the example it sets of how computers can make scientific progress simpler.

As headlines go, it’s certainly an eye-catching one. "Scientists Prove Existence of God," German daily Die Welt wrote last week.

But unsurprisingly, there is a rather significant caveat to that claim. In fact, what the researchers in question say they have actually proven is a theorem put forward by renowned Austrian mathematician Kurt Gödel -- and the real news isn’t about a Supreme Being, but rather what can now be achieved in scientific fields using superior technology.

When Gödel died in 1978, he left behind a tantalizing theory based on principles of modal logic -- that a higher being must exist. The details of the mathematics involved in Gödel’s ontological proof are complicated, but in essence the Austrian was arguing that, by definition, God is that for which no greater can be conceived. And while God exists in the understanding of the concept, we could conceive of him as greater if he existed in reality. Therefore, he must exist.

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.

Proving God’s Existence with a MacBook

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."

The fact that formalizing such complicated theorems can be left to computers opens up all kinds of possibilities, 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.

[...]

The use of computers to reduce the burden on mathematicians is not new, even if it is not welcomed by all in the field. American mathematician Doron Zeilberger has been listing the name Shalosh B. Ekhad on his scientific papers since the 1980s. According to the New York-based Simons Foundation, the name is actually a pseudonym for the computers he uses to help prove theorems in seconds that previously required page after page of mathematical reasoning. Zeilberger says he gave the computer a human-sounding name "to make a statement that computers should get credit where credit is due." "human-centric bigotry" on the part of mathematicians, he says, has limited progress.

[...]

Read the full article at: abcnews.go.com



Related Articles
Hypocrite Pope Francis lashes out at world economic system for worshiping a ’god called money’
Monument to ‘god of chaos’ mysteriously appears in front of Oklahoma City restaurant
Kansas Sinkhole Expands: Residents Call Giant, Overnight Chasm ‘A God Thing’
Women in Kanpur chant hymns, plough fields to please rain god
Stephen Hawking: The universe did not need God to create it
Pope: God is real, concrete person, not mysterious, intangible mist
God isn’t interested in technology
Ray marches on pimpin the new transhuman religion
Transhumanist religion 2.0


Latest News from our Front Page

Boris Nemtsov, Putin Foe, Is Shot Dead in Shadow of Kremlin - A Staged Shooting?
2015-02-28 22:37
NY Times: Boris Nemtsov, Putin Foe, Is Shot Dead in Shadow of Kremlin Mr. Nemtsov, a former first deputy prime minister of Russia, was killed in central Moscow in the highest-profile assassination in Russia during the tenure of President Vladimir V. Putin. A Staged Shooting? ... Why does the dead body of fitness enthusiast Boris Nemtsov have a pot belly? The Anti-New York Times doesn't ...
Holocaust, Hate Speech and Were the Germans so Stupid?
2015-02-28 20:31
Description form YouTube: This is an updated version of the video which was taken down by YouTube following a spurious copyright-infringement claim. It addresses issues regarding claims that Zyklon B in liquid form gives off fumes at temperatures below 0ş C. As the world approaches the brink of a new Middle East crisis this time involving Syria, clearly at the behind-the-scenes ...
The Jewish Roots of Leonard Nimoy and What the ‘Live Long and Prosper’ Hand Symbol Really Means
2015-02-28 0:20
Leonard Nimoy first saw what became the famous Vulcan salute, “live long and prosper,” as a child, long before “Star Trek” even existed. The placement of the hands comes from a childhood memory, of an Orthodox Jewish synagogue service in Boston. The man who would play Spock saw the gesture as part of a blessing, and it never left him. “Something ...
Baby born still INSIDE his amniotic sac is hailed a ‘medical miracle’ by doctors [Video]
2015-02-27 22:46
What an incredible miracle… Not only was the little boy three months early – he was born inside his amniotic sac. I’ve never heard of this happening before. If you look at the picture, you can see him clearly with his little arms and legs curled up. He was still being given oxygen by his mom until the sac was ...
California Infant Dies after 8 Vaccines, Family Gets Him Back from Hospital Cremated
2015-02-27 21:55
Parents in California are distraught after losing their infant son after being vaccinated. He died in his sleep and was taken to the hospital already deceased. Hospital staff ruled his death as sudden infant death syndrome. The couple was told an autopsy was required to be performed on their son. After returning home, waiting to get an update, they never received ...
More News »