Fwd: typo
Martin Davis
martin.david.davis at gmail.com
Mon Aug 2 17:09:46 EDT 2021
---------- Forwarded message ---------
From: Michael Beeson <profbeeson at gmail.com>
Date: Mon, Aug 2, 2021 at 1:53 PM
Subject: typo
In my email announcing my work on NF there was a typo: I proved the set
of Church numbers is infinite, not finite.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20210802/ae7f6131/attachment.html>
More information about the FOM
mailing list