Abstract
Abraham Robinson discovered a rigorous approach to calculus with infinitesimals in 1960 and published it in [9]. This solved a 300 year old problem dating to Leibniz and Newton. Extending the ordered field of (Dedekind) “real” numbers to include infinitesimals is not difficult algebraically, but calculus depends on approximations with transcendental functions. Robinson used mathematical logic to show how to extend all real functions in a way that preserves their propertires in a precise sense. These properties can be used to develop calculus with infinitesimals. Infinitesimal numbers have always fit basic intuitive approximation when certain quantities arc “small enough,” but Leibniz, Euler, and many others could not make the approach free of contradiction. Section 1 of this article uses some intuitive approximations to derive a few fundamental results of analysis. We use approximate equality, x ≈ y, only in an intuitive sense that “x; is sufficiently close to y”.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Michael Behrens, A Local Inverse Function Theorem, in Victoria Symposium on Nonstandard Analysis, Lecture Notes in Math. 369, Springer-Verlag, 1974.
H. J. M. Bos, “Differentials, Higher-Order Differentials and the Derivative in the Leibnizian Calculus”, Archive for History of Exact Sciences, 14 1974.
L. Euler, Introductio in Analysin Infinitorum, Tomus Primus, Lausanne, 1748. Reprinted as L. Euler, Opera Omnia, ser. 1, vol. 8. Translated from the Latin by J. D. Blanton, Introduction to Analysis of the Infinite, Book I, Springer-Verlag, New York, 1988.
Jon Barwise (editor), The Handbook of Mathematical Logic, North Holland Studies in Logic 90. Amsterdam, 1977.
Bernard R. Gelbaum and John M. H. Olmsted. Counterexamples in Analysis, Holden-Day Inc., San Francisco, 1964.
H. Jerome Keisler, Elementary Calculus: An Infinitesimal Approach, 2nd edition, PWS Publishers, 1986. Now available free at http://www.math.wisc.edu/~keisler/calc.html
Mark McKinzie and Curtis Tuckey, “Higher Trigonometry, Hyperreal Numbers and Euler’s Analysis of Infinities”. Math. Magazine, 74 (2001) 339–368.
Vitor Neves and K. D. Stroyan, “A Discrete Condition for Higher-Order Smoothness”, Boletim da Sociedade Portugesa de Matematica, 35 (1996) 81–94.
Abraham Robinson, “Non-standard Analysis”, Proceedings of the Royal Academy of Sciences, ser A, 64 (1961) 432–440
Abraham Robinson, Non-standard Analysis, North-Holland Publishing Co., Amsterdam, 1966. Revised edition by Princeton University Press, Princeton, 1996.
K.D. Stroyan, Projects for Calculus: The Language of Change, on my website at http: //www.math.uiowa.edu/%7Estroyan/ProjectsCD/estroyan/indexok.htm
K.D. Stroyan, Foundations of Infinitesimal Calculus, http: //www.math.uiowa.edu/%7Estroyan/backgndctlc.htm
K.D. Stroyan and W.A.J. Luxemburg, Introduction to the Theory of Infinitesimals. Academic Press Series on Pure and Applied Math. 72, Academic Press, New York, 1976.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2007 Springer-Verlag Wien
About this chapter
Cite this chapter
Stroyan, K.D. (2007). Calculus with infinitesimals. In: van den Berg, I., Neves, V. (eds) The Strength of Nonstandard Analysis. Springer, Vienna. https://doi.org/10.1007/978-3-211-49905-4_24
Download citation
DOI: https://doi.org/10.1007/978-3-211-49905-4_24
Publisher Name: Springer, Vienna
Print ISBN: 978-3-211-49904-7
Online ISBN: 978-3-211-49905-4
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)