[FOM] Preprint announcement re Ed Nelson's work

[Sam Buss]

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