Abstract
Once the continuum had been provided with a set-theoretic foundation, the use of the infinitesimal in mathematical analysis was largely abandoned. And so the situation remained for a number of years. The first signs of a revival of the infinitesimal approach to analysis surfaced in 1958 with a paper by A. H. Laugwitz and C. Schmieden. But the major breakthrough came in 1960 when it occurred to the mathematical logician Abraham Robinson (1918–1974) that “the concepts and methods of contemporary Mathematical Logic are capable of providing a suitable framework for the development of the Differential and Integral Calculus by means of infinitely small and infinitely large numbers.” This insight led to the creation of nonstandard analysis (NSA), which Robinson regarded as realizing Leibniz’s conception of infinitesimals and infinities as ideal numbers possessing the same properties as ordinary real numbers. In the introduction to his book on the subject he writes:
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
However, nonarchimedean ordered structures, containing infinite and infinitesimal elements, continued to be studied, chiefly by algebraists, notably Hölder, Hahn, Baer, and Birkhoff. See Fuchs (1963) and Ehrlich (2006).
- 2.
Laugwitz, A.H. and Schmieden, C., Eine Erweiterung der Infinitesimalrechnung, Mathematische Zeitschrift 69, pp. 1–39.
- 3.
Robinson [1996], p. xiii.
- 4.
So-called, Robinson says, because his theory “involves and was, in part, inspired by the so-called Non-standard models of Arithmetic whose existence was first pointed out by T. Skolem.” (Ibid.)
- 5.
Robinson, op. cit., p. 2.
- 6.
- 7.
It follows that ℝ★ is a nonarchimedean ordered field. One might question whether this is compatible with the facts that ℝ★ and ℝ share the same first-order properties, but the latter is archimedean. These data are consistent because the archimedean property is not first-order. However, while ℝ★ is nonarchimedean, it is∗-archimedean in the sense that, for any a ∈ ℝ★ there is n ∈ ℝ★ for which a < n.
- 8.
Robinson (1996), Ch. 3. A number of “nonstandard” proofs of classical theorems may also be found there.
- 9.
Bell and Machover (1977), p. 560.
- 10.
Bibliography
Bell, J.L., and M. Machover. 1977. A Course in Mathematical Logic. Amsterdam/New York/Oxford: North-Holland.
Fuchs, L. 1963. Partially Ordered Algebraic Systems. Oxford: Pergamon Press.
Keisler, H. 1994. The hyperreal line. In Ehrlich 1994: 207–238.
Martin-Löf, P. 1990. Mathematics of Infinity. In Colog-88 Computer Logic, ed. P. Martin-Löf and G. Mints. Berlin: Springer.
Moerdijk, I. 1995. A model for intuitionistic non-standard arithmetic. Annals of Pure and Applied Logic 73: 297–325.
Palmgren, E. 1998. Developments in constructive nonstandard analysis. The Bulletin of Symbolic Logic 4: 233–272.
———. 2001. Unifying constructive and nonstandard analysis. In Schuster, Berger and Osswald 2001: 167–183.
Robinson, A. 1996. Non-Standard Analysis. Princeton: Princeton University Press.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Bell, J.L. (2019). Nonstandard Analysis. In: The Continuous, the Discrete and the Infinitesimal in Philosophy and Mathematics. The Western Ontario Series in Philosophy of Science, vol 82. Springer, Cham. https://doi.org/10.1007/978-3-030-18707-1_8
Download citation
DOI: https://doi.org/10.1007/978-3-030-18707-1_8
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-18706-4
Online ISBN: 978-3-030-18707-1
eBook Packages: Religion and PhilosophyPhilosophy and Religion (R0)