Articles by David Knight

We found 1 results.


Holy Logic: Computer Scientists ‘Prove’ God Exists
David Knight – Der Spiegel, 28 Oct 2013

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 full article