Re: Odifreddi: Gödel's proof of the existence of God

[JOSEPH SHIPMAN]

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

Sent from my iPhone

> On Nov 8, 2022, at 12:54 PM, Alexander M Lemberg <sandylemberg at juno.com> wrote:
> 
> It must be wrong, since there is no God.
> 
> On Sun, 6 Nov 2022 12:48:35 +0100 jean-yves beziau <beziau100 at gmail.com>
> writes:
>> Piergiorgio Odifreddi
>> https://en.wikipedia.org/wiki/Piergiorgio_Odifreddi
>> "Gödel's proof of the existence of God"
>> Talk at the Workshop Mathematics and Religion
>> organized by Stanislaw Krajewski, University of Warsaw, Poland
>> and Fábio Bertato, University of Campinas, Brazil
>> within the 3rd World Congress on Logic and Religion, Varanasi, 
>> India, Nov
>> 4-8, 2022
>> Slides available here:
>> https://sites.google.com/view/wocolor3/mathematics-and-religion
>> JYB
>> Vice-President of LARA
>> https://www.logicandreligion.com/lara
>