Breaking Christian News
Scientists "Prove" God Exists
by Teresa Neumann : Oct 24, 2013 : David Knight – Der Spiegel
http://www.spiegel.de/international/germany/scientists-use-computer-to-mathematically-prove-goedel-god-theorem-a-928668.html

Using mathematical equations and computers. Hmm. What will atheists say now?

Kurt Godel(Berlin, Germany)—Theologians, philosophers, and Christian "brainiacs" in general, must be smiling at news that two scientists—Christoph Benzmüller of Berlin's Free University and Bruno Woltzenlogel Paleo of the Technical University in Vienna—have "formalized a theorem regarding the existence of God penned by mathematician Kurt Gödel."



According to Der Spiegel, Gödel, who died in 1978 and reportedly enjoys a reputation among today's scientists as an "Einstein" in his own right, "left behind a tantalizing theory based on principles of modal logic that a higher being must exist."

In other words, Gödel believed God's existence could be proved mathematically.

Enter Benzmüller and Woltzenlogel, quoted as saying they used computers to formalize the complicated theorem. "It's totally amazing that from this argument led by Gödel, all this stuff can be proven automatically in a few seconds, or even less on a standard notebook."