FOM: role of formalization in f.o.m.

Thomas Forster T.Forster at dpmms.cam.ac.uk
Fri May 28 07:08:29 EDT 1999


Steve writes:
>For example, if Holmes and Forster want to show that NFU is viable as
a foundational setup for mathematics, they need to sketch how various
mathematical topics can be formalized in NFU.

It would be a pleasure!  Which bits of mathematics have the NFistes
not yet shown how to implement in NF(U) to your satisfaction?  I
hope and trust we will be able to oblige you.

            Thomas



More information about the FOM mailing list