Scientists Use Computer to Mathematically Prove Gödel God Theorem - DER SPIEGEL - discu.eu

Hacker News

Computer proves that god exists http://www.spiegel.de/international/germany/scientists-use-computer-to-mathematically-prove-goedel-god-theorem-a-928668.html 5 comments 13/3/2017

Linked pages

[1308.4526] Formalization, Mechanization and Automation of Gödel's Proof of God's Existence http://arxiv.org/abs/1308.4526 64 comments

Related searches:

Search whole site: site:spiegel.de

Search title: Scientists Use Computer to Mathematically Prove Gödel God Theorem - DER SPIEGEL

See how to search.

Submit link to: