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