It is very interesting for me to ask this question. I asked this question first to a professor in a seminar while I was a young college student back in 1990. Then I forgot about this question for years.

Then yesterday (12/29/2013) a midnight dream reminded me to this old question again. Then I searched in google for some clues. It is interesting to find out that there are new interests on ontological proof written by Godel around 70s. One article says as follows:

"That is where Christoph Benzmüller of Berlin's Free University and his colleague, Bruno Woltzenlogel Paleo of the Technical University in Vienna, come in. Using an ordinary MacBook computer, they have shown that Gödel's proof was correct -- at least on a mathematical level -- by way of higher modal logic. Their initial submission on the arXiv.org research article server is called "Formalization, Mechanization and Automation of Gödel's Proof of God's Existence." "

source: http://www.spiegel.de/international/germany/scientists-use-computer-to-mathematically-prove-goedel-god-theorem-a-928668.html. See also http://arxiv.org/abs/1308.4526.

Another interesting source is of course wikipedia: http://en.wikipedia.org/wiki/Existence_of_God.

I tried to write an outline of my ideas of scientific proofs of the existence of God. See the file included here.

So what are your opinions? Do you find scientific proofs of the existence of God? Your comments and suggestions are welcome.

More Victor Christianto's questions See All
Similar questions and discussions