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

[Christoph Benzmueller]

Dear Tim,

as far I am aware, the inconsistency, or bug as you call it, in Gödel‘s
(1970) axioms was not known before, but found by our theorem prover Leo-II
(and we mention this in the paper).

However, if you have a reference where the inconsistency was reported
earlier, please share.

Best, C.

On Fri 11. Nov 2022 at 22:15 Timothy Y. Chow <tchow at math.princeton.edu>
wrote:

> 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
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20221112/10b8386f/attachment-0001.html>