Leonhard Euler



Pioneer Journal where reappraisal appeared Link to article containing reappraisal
Leonhard Euler Mathematical Intelligencer 15b
Leonhard Euler Journal for General Philosophy of Science 17b

Benacerraf emphasized the distinction between mathematical ontology and mathematical practice (or the structures mathematicians use in practice). With emphasis on practice and structures, we examine contrasting interpretations of infinitesimal mathematics of the 17th and 18th century, in the work of Bos, Ferraro, Laugwitz, and others.

We detect Weierstrass's ghost behind some of the received historiography on Euler's infinitesimal mathematics. Thus, Ferraro proposes to understand Euler in terms of a Weierstrassian notion of limit; Fraser declares classical analysis to be a "primary point of reference for understanding the eighteenth-century theories." Meanwhile, scholars like Bos and Laugwitz seek to explore Eulerian methodology, practice, and procedures in a way more faithful to Euler's own.

Euler exploited infinite integers and the associated infinite products. We analyze these in the context of his infinite product decomposition for the sine function. We compare Euler's principle of cancellation to the Leibnizian transcendental law of homogeneity. The Leibnizian law of continuity similarly finds echoes in Euler. We argue that Ferraro's assumption that Euler worked with a "classical" notion of quantity is symptomatic of a post-Weierstrassian placement of Euler in the Archimedean track for the development of analysis, as well as a blurring of the distinction between the dual tracks noted by Bos. Interpreting Euler in an Archimedean conceptual framework obscures important aspects of Euler's work. Such a framework is profitably replaced by a syntactically more versatile modern infinitesimal framework that provides better proxies for his inferential moves.






See also
Did Euler prove theorems by example? (MSE)
Stevin
Fermat
Leibniz
Cauchy
Riemann
Cantor
Skolem
Infinitesimal topics
More on infinitesimals
Return to homepage