Scientific American:

Some mathematicians have sought a logical proof for the existence of God. Here’s what they discovered

By Manon Bischoff

Who would have thought about God as an apt topic for an essay about mathematics? Don’t worry, the following discussion is still solidly grounded within an intelligible scientific framework. But the question of whether God can be proved mathematically is intriguing. In fact, over the centuries, several mathematicians have repeatedly tried to prove the existence of a divine being. They range from Blaise Pascal and René Descartes (in the 17th century) to Gottfried Wilhelm Leibniz (in the 18th century) to Kurt Gödel (in the 20th century), whose writings on the subject were published as recently as 1987. And probably the most amazing thing: in a preprint study first posted in 2013 an algorithmic proof wizard checked Gödel’s logical chain of reasoning—and found it to be undoubtedly correct. Has mathematics now finally disproved the claims of all atheists?

Go to link