A couple of scientists have proven that god exists. At least in theory.
Two Apple fanboys used their Macbooks to analyze a theory put forth by mathematician Kurt Godel.
CNET notes that Godel used theorems and axioms to formulate a mathematical equation proving the existence of God.
The equation is complicated but it boils 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."
Christoph Benzmüller of Berlin's Free University and Bruno Woltzenlogel Paleo of the Technical University in Vienna analyzed Godel's Ontological Argument with the help of a computer and found that Godel was right on the money. At least with his numbers.
Benzmuller said: "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."
The two computer scientists proved that Godel's theory is mathematically sound but they haven't proven the existence of god. Of course, that was never really the point.
Benzmüller said that 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.
Benzmuller said: "I didn't know it would create such a huge public interest but (Gödel's ontological proof) was definitely a better example than something inaccessible in mathematics or artificial intelligence... It's a very small, crisp thing, because we are just dealing with six axioms in a little theorem. … 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?"