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

[Timothy Y. Chow]

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.

Tim