Re: Formalization, Mechanization and Automation of Godel’s Proof of God’s Existence -
09-20-2013, 04:28 PM
I am reminded of Ecclesiastes 1:9 - there is no new thing under the Sun.
Wasn't it Descartes in the 16th Century who proved to the monkey-worshippers that God exists by virtue of having every property (including that of existence)? The only astonishing thing about this latest math proof is that it shows the deniers are still looking for a way out. Well there isn't. Check mate, atheists.
|