Austrian mathematician Kurt Gödel kept his proof of God’s existence a secret for decades. Now two scientists say they have proven it mathematically using a computer.