[FOM] Preprint announcement re Ed Nelson's work
Sam Buss
sbuss at math.ucsd.edu
Fri Mar 18 13:12:26 EST 2005
This is to announce a preprint that relates to some earlier discussions on
the fom group. It is available online at
http://www.math.ucsd.edu/~sbuss/ResearchWeb/nelson/
"Nelson's Work on Logic and Foundations and Other Reflections on
Foundations of Mathematics"
Submitted to Diffusion, Quantum Theory and Radically Elementary Mathematics
(Working title),
edited by W. Faris, Princeton University Press, to appear.
The paper includes discussion of Ed Nelson's philosophies of formalism and
predicative arithmetic, discussion of his unpublished work on automated
theorem proving, and some discussion of my own "definition" of
mathematics. Comments appreciated.
-- Sam Buss
More information about the FOM
mailing list