News for hackers. Stuff that matters.

A comment on Atheists and Agnostics Also Frequently Believe in the Supernatural, Study Shows. Parent comment

Re:Atheists and Agnostics Also Frequently Believe in the Sup... by sklivvz1971 on Friday June 14, 2019 @04:26PM (#20186391)
Godel's proof is just a formal logic version of Augustine proof, which has been disproven.

Here's the "proof": God is perfect, all perfect things must exist, therefore God exists

Which is easily refuted by observing that the statement merely shows that either a perfect God exists or it does not. The fact that one can posit a perfect God does not make it real. Even a kid can understand that.

[ Parent | on HN ]
Re:Atheists and Agnostics Also Frequently Believe in the Sup... by User23 on Friday June 14, 2019 @08:12PM (#20187674)
No it's not. It's a formalization of St. Anselm's ontological argument. It's clear to me that you have no real interest in the subject, but on the off chance I'm wrong you can easily find both the medieval ontological argument and the modern formal one online.

In any event I think Gödel's proof is worth understanding simply as a nice example of modal logic and the power of formalisms. Anselm's informal attempt at a proof is famously unreadable.

[ Parent | on HN ]