You have selected a link to an external website. In a few moments you will be redirected to http:/www.spiegel.de/international/germany/scientists-use-computer-to-mathematically-prove-goedel-god-theorem-a-928668.html