Proof of God

Stephen D. Unwin is a theoretical physicist in the field of Quantum Gravity. In his book, The Probability of God, Unwin sets out to mathematically prove the existence of God. He concludes there's a 67% probability for God's existence.
Dr. Unwin's Home page

Kurt Goedel, a gifted logician and mathematician, is best known for his incompleteness theorems which basically posit that all formal systems are incomplete because each of them contains, at any given time, more true statements than it can possibly prove according to its own defining set of rules.

But, Goedel also sketched a revised version of Anselm's ontological argument for the existence of God that wasn't published until after Goedel's death. His proof is more elaborate than Anslem's and used a system of logic known as Modal Logic that provides a useful language to discuss God's existence because it distinguishes between necessary truths and contingent truths.

Goedel's Ontological Proof