Computer Scientists ‘Prove’ God Exists

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. ((http://www.spiegel.de/international/germany/scientists-use-computer-to-mathematically-prove-goedel-god-theorem-a-928668.html))