October 24, 2013

Holy Logic: Computer Scientists 'Prove' God Exists

Two scientists have formalized a theorem regarding the existence of God penned by mathematician Kurt Gödel.

But the God angle is somewhat of a red herring -- the real step forward is the example it sets of how computers can make scientific progress simpler. Read more.

Spiegel