Scientists say they've proved God exists, and then it gets complicated 5 hrs ago There is a god. Or so say Christoph Benzmuller and Bruno Woltzenlogel Paleo, two Berlin-based computer scientists who recently announced they've proven a decades-old theory by mathematician Kurt Godel, which makes a case for the existence of God. The theory, known as Godel's ontological proof, is summed up like 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." Did Benzmuller and Paleo lose you there? No wonder, because there's a whole lot of complicated math that goes into proving the theory, which the duo worked using a simple number-crunching program on a personal computer. The purpose of the exercise was to illustrate how computers have evolved to solve our most complicated problems. We're just glad they cleared up that whole God question along the way. [Source] [Source] .