References
Nelson, Edward,Predicative Arithmetic, Mathematical Notes No. 32, Princeton University Press, Princeton, NJ (1986).
Nelson, Edward,Radically Elementary Probability Theory, Annals of Mathematics Studies 117, Princeton University Press, Princeton, NJ (1987).
Robinson, Abraham,Non-standard Analysis, rev. ed., American Elsevier, New York (1974).
Robinson, R. M., “An essentially undecidable axiom system,” Proc. Int. Cong. Math., Cambridge, MA, 1950, Vol. I, pp. 729–730.
Shoenfield, Joseph R.,Mathematical Logic, Addison-Wesley, New York (1967).
Author information
Authors and Affiliations
Corresponding author
Additional information
This article is adapted from a talk given by the author at the Congress on Logic, Methodology, and the Philosophy of Science, Uppsala, 1991.
Rights and permissions
About this article
Cite this article
Nelson, E. Taking formalism seriously. The Mathematical Intelligencer 15, 8–11 (1993). https://doi.org/10.1007/BF03024251
Published:
Issue Date:
DOI: https://doi.org/10.1007/BF03024251