Odifreddi: G?del's proof of the existence of God

Timothy Y. Chow tchow at math.princeton.edu
Thu Nov 10 13:18:33 EST 2022

Marcus Schaefer wrote:
> 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),

Technically, you are correct, but the "weakness" is a minor, fixable bug, 
as explained in the paper you cite.  The bug, and its fix, were known 
earlier; Benzmueller and Paleo's contribution was to notice just how bad 
the bug would be if left unrepaired.


More information about the FOM mailing list