FOM: What is f.o.m.?
RTragesser at compuserve.com
Tue Jan 13 19:25:56 EST 1998
Propose (once again) characterizing FoM so:
Seeking a fruitful, central characterization of mathematics
by answering Sol Feferman's exceedingly important questions:
What is distinctive about the verification structure
What is distinctive about mathematical conceptions?
Exacting, fruitful answers can be given.
Certainly one avoids "defining" _mathematics_; and
rather than committing the kind of mistake first
marked out of Plato of characterizing
something by listing instances, one can see why
and in exactly what sense what one is inclined to list
as mathematical entities are mathematical entities,
without at the same time closing the book on mathematics.
More information about the FOM