Using mathematical equations and computers. Hmm. What will atheists say now?
(Berlin, Germany)Theologians, philosophers, and Christian "brainiacs" in general, must be smiling at news that two scientistsChristoph Benzmüller of Berlin's Free University and Bruno Woltzenlogel Paleo of the Technical University in Viennahave "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."