Scientists Use Computer to Mathematically Prove Gödel God Theorem – SPIEGEL ONLINE

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.

As headlines go, it\’s certainly an eye-catching one. \”Scientists Prove Existence of God,\” German daily Die Welt wrote last week.

via Scientists Use Computer to Mathematically Prove Gödel God Theorem – SPIEGEL ONLINE.

Of course mathematics can prove the existence of God.

Will delve into that this week 🙂