The logician and mathematician Kurt Gödel reformulated a classical argument for demonstrating the existence of God. Computer scientists now claim to have verified his proof.
Read more on Spiegel: http://www.spiegel.de/international/germany/scientists-use-computer-to-mathematically-prove-goedel-god-theorem-a-928668.html