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

arXiv1509.03798MaRDI QIDQ6265409FDOQ6265409

Authors: James F. Hall, Todor D. Todorov 

Publication date: 12 September 2015

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^{e}xtrmth$-$18^{e}xtrmth$ 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.

Mathematics Subject Classification ID

History of mathematics in the 18th century (01A50) Non-Archimedean valued fields (12J25) One-variable calculus (26A06) Valued fields (12J10) Ultraproducts and related constructions (03C20) Ordered fields (12J15) Nonstandard models in mathematics (03H05)

This page was built for publication: Ordered Fields, the Purge of Infinitesimals from Mathematics and the Rigorousness of Infinitesimal Calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6265409)