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.
Scientists Use Computer to Mathematically Prove Gödel God Theorem - SPIEGEL ONLINE
No comments:
Post a Comment