RE: [EXT] Re: Odifreddi: Gödel's proof of the existence of God

[Schaefer, Marcus]

I was under the impression that a weakness in Gödel's proof had been found by Benzmüller and Woltzenlogel Paleo  (https://www.ijcai.org/Proceedings/16/Papers/137.pdf),

Marcus

-----Original Message-----
From: FOM <fom-bounces at cs.nyu.edu> On Behalf Of JOSEPH SHIPMAN
Sent: Tuesday, November 8, 2022 1:03 PM
To: Alexander M Lemberg <sandylemberg at juno.com>
Cc: FOM at cs.nyu.edu
Subject: [EXT] Re: Odifreddi: Gödel's proof of the existence of God

I don’t think you can prove that!

However, to prove that that proof is wrong, you don’t need to prove that the argument’s conclusion is false, you just need to prove that the negation of the conclusion of the argument is consistent.

So I won’t ask for your proof of God’s nonexistence, but I WILL ask for your proof of the consistency of God’s nonexistence!

— KS