[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