Two computer scientists have just figured out a way to prove that God exists—kind of. The pair of researchers at Berlin’s Free University set out to use an ordinary computer to formalize and complete a theorem first proposed by the famous mathematician Kurt Gödel, that sets out to prove that God has to be real. The formula from the late mathematician—who was a personal friend of Albert Einstein—is pretty complex, but it essentially involves indicating that the concept of God is so great and outside of human understanding, that it must have been planted their by God (or as this article about the breakthrough puts it, “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.”) The Berlin researchers weren’t out to actually try to provide proof of God’s existence (though they hoped the theme of the experiment would lead to greater exposure). They say that their intention, rather, is to show the power of computer-aided math calculations to communicate complex ideas. Next, they should try to confirm that bacon, is in fact, the world’s greatest food …
