Hacker News Reader

sklivvz1971

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.

View on HN

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.

Reply on news.ycombinator.com