TY - JOUR

T1 - Is mathematical history written by the victors?

AU - Bair, Jacques

AU - Błaszczyk, Piotr

AU - Ely, Robert

AU - Henry, Valérie

AU - Kanovei, Vladimir

AU - Katz, Karin U.

AU - Katz, Mikhail G.

AU - Kutateladze, Semen S.

AU - McGaffey, Thomas

AU - Schaps, David M.

AU - Sherry, David

AU - Shnider, Steven

N1 - cited By 23

PY - 2013/9

Y1 - 2013/9

N2 - We examine prevailing philosophical and historical views about the origin of infinitesimal mathematics in light of modern infinitesimal theories, and show the works of Fermat, Leibniz, Euler, Cauchy and other giants of infinitesimal mathematics in a new light. We also detail several procedures of the historical infinitesimal calculus that were only clarified and formalized with the advent of modern infinitesimals. These procedures include Fermat's adequality; Leibniz's law of continuity and the transcendental law of homogeneity; Euler's principle of cancellation and infinite integers with the associated infinite products; Cauchy's infinitesimal-based definition of continuity and "Dirac" delta function. Such procedures were interpreted and formalized in Robinson's framework in terms of concepts like microcontinuity (S-continuity), the standard part principle, the transfer principle, and hyperfinite products. We evaluate the critiques of historical and modern infinitesimals by their foes from Berkeley and Cantor to Bishop and Connes. We analyze the issue of the consistency, as distinct from the issue of the rigor, of historical infinitesimals, and contrast the methodologies of Leibniz and Nieuwentijt in this connection.

AB - We examine prevailing philosophical and historical views about the origin of infinitesimal mathematics in light of modern infinitesimal theories, and show the works of Fermat, Leibniz, Euler, Cauchy and other giants of infinitesimal mathematics in a new light. We also detail several procedures of the historical infinitesimal calculus that were only clarified and formalized with the advent of modern infinitesimals. These procedures include Fermat's adequality; Leibniz's law of continuity and the transcendental law of homogeneity; Euler's principle of cancellation and infinite integers with the associated infinite products; Cauchy's infinitesimal-based definition of continuity and "Dirac" delta function. Such procedures were interpreted and formalized in Robinson's framework in terms of concepts like microcontinuity (S-continuity), the standard part principle, the transfer principle, and hyperfinite products. We evaluate the critiques of historical and modern infinitesimals by their foes from Berkeley and Cantor to Bishop and Connes. We analyze the issue of the consistency, as distinct from the issue of the rigor, of historical infinitesimals, and contrast the methodologies of Leibniz and Nieuwentijt in this connection.

UR - http://www.scopus.com/inward/record.url?scp=84880321919&partnerID=8YFLogxK

U2 - 10.1090/noti1026

DO - 10.1090/noti1026

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

SN - 0002-9920

VL - 60

SP - 886

EP - 904

JO - Notices of the American Mathematical Society

JF - Notices of the American Mathematical Society

IS - 7

ER -