Ordered Fields, the Purge of Infinitesimals from Mathematics and the Rigorousness of Infinitesimal Calculus

Abstract

We present a characterization of the completeness of the field of real numbers in the form of a \emph{collection of several equivalent statements} borrowed from algebra, real analysis, general topology, and non-standard analysis. We also discuss the completeness of non-Archimedean fields and present several examples of such fields. As an application, we exploit the characterization of the reals to argue that the Leibniz-Euler infinitesimal calculus in the $17^{\text{th}}$-$18^{\text{th}}$ centuries was already a rigorous branch of mathematics -- at least much more rigorous than most contemporary mathematicians prefer to believe. By advocating our particular historical point of view, we hope to provoke a discussion on the importance of mathematical rigor in mathematics and science in general. This article is directed to all mathematicians and scientists who are interested in the foundations of mathematics and the history of infinitesimal calculus.

29 pages. arXiv admin note: substantial text overlap with arXiv:1109.2098

References in corpus (1)

• Reduction of the Number of Quantifiers in Real Analysis through Infinitesimals (Master Thesis, Mathematics Department, California Polytechnic State University, San Luis Obispo)

Cited by in corpus (5)

• Increasing positive monoids of ordered fields are FF-monoids
• Effective Impedance over Ordered Fields
• Capacity of infinite graphs over non-Archimedean ordered fields
• Recurrence and transience for non-Archimedean and directed graphs
• Infinite-Dimensional Linear Algebra and Solvability of Partial Differential Equations