*[http://www.spiegel.de/international/germany/scientists-use-computer-to-mathematically-prove-goedel-god-theorem-a-928668.html Holy Logic: Computer Scientists 'Prove' God Exists] by David Knight, ''Der Spiegel International'' | *[http://www.spiegel.de/international/germany/scientists-use-computer-to-mathematically-prove-goedel-god-theorem-a-928668.html Holy Logic: Computer Scientists 'Prove' God Exists] by David Knight, ''Der Spiegel International'' |