[FOM] can't resist

Randall Holmes holmes at diamond.boisestate.edu
Fri Oct 17 12:57:37 EDT 2003

Dear FOM colleagues,

I can't resist adding that in type theory over character strings another
method of defining the natural numbers, entirely in line with naive
folk usage, presents itself:  define 0 as "0", 1 as "1", 10 as "10",
and so forth.  I suspect that this is the commonest folk mathematical
ontology (although it actually presents certain difficulties) and it
is perfectly possible to formalize it :-)


More information about the FOM mailing list