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.