Adequality; Archimedean axiom; infinitesimal; law of continuity; mathematical rigor; standard part principle; transcendental law of homogeneity; variable quantity
Abstract :
[en] 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. Some topics from the history of infinitesimals illustrating our approach appear in alphabetical order.
Disciplines :
Mathematics
Author, co-author :
Bair, Jacques ; Université de Liège - ULiège > HEC-Ecole de gestion : UER > Mathématiques appliquées aux sc. économiques et de gestion
Henry, Valérie ; Université de Liège - ULiège > HEC-Ecole de gestion : UER > Mathématiques appliquées aux sc. économiques et de gestion
Blaszczyk, Piotr; University of Cracow, Poland
Ely, Robert; University of Idaho, Etats-Unis
Kanovei, Vladimir; IPPI and MIIT, Moscow
Katz, Karin; Bar Ilan University, Israël
Katz, Mikhail; Bar Ilan University, Israël
Kutateladze, Semen; Novosibirsk University, Russia
Bachet, Diophanti Alexandrini, Arithmeticorum Liber V (Bachet's Latin translation).
J.Bair, P.Błaszczyk, R.Ely, V.Henry, V.Kanovei, K.Katz, M.Katz, S.Kutateladze, T.McGaffey, D.Schaps, D.Sherry, and S.Shnider, Interpreting Euler's infinitesimal mathematics (in preparation).
J.Bair and V.Henry, From Newton's fluxions to virtual microscopes, Teaching Mathematics and Computer Science V (2007), 377-384.
J.Bair and V.Henry, From mixed angles to infinitesimals, The College Mathematics Journal 39 (2008), no.3, 230-233.
J.Bair and V.Henry, Analyse infinitésimale-Le calculus redécouvert, Editions Academia Bruylant Louvain-la-Neuve (Belgium) 2008, 189 pages.D/2008/4910/33
J.L.Bell, Continuity and infinitesimals, Stanford Encyclopedia of Philosophy, revised 20 July 2009.
E.Bishop, Mathematics as a Numerical Language, 1970 Intuitionism and Proof Theory (Proc.Conf., Buffalo, NY, 1968), pp.53-71.North-Holland, Amsterdam.
E.Bishop, The crisis in contemporary mathematics.Proceedings of the American Academy Workshop on the Evolution of Modern Mathematics (Boston, Mass., 1974), Historia Mathematica 2 (1975), no.4, 507-517.
E.Bishop, Schizophrenia in contemporary mathematics.In Errett Bishop: Reflections on Him and His Research (San Diego, Calif., 1983), 1-32, Contemp.Math., vol.39, Amer.Math.Soc., Providence, RI, 1985 [originally distributed in 1973].
P.Błaszczyk, M.Katz, and D.Sherry, Ten misconceptions from the history of analysis and their debunking, Foundations of Science 18 (2013), no.1, 43-74.Http://dx.doi.org/10.1007/s10699-012-9285-8 and http://arxiv.org/abs/1202.4153
P.Błaszczyk and K.Mrówka, Euklides, Elementy, Ksiegi V-VI, Tłumaczenie i komentarz [Euclid, Elements, Books V-VI, Translation and commentary], Copernicus Center Press, Kraków, 2013.
A.Borovik and M.Katz, Who gave you the Cauchy-Weierstrass tale? The dual history of rigorous calculus, Foundations of Science 17 (2012), no.3, 245-276.http://dx.doi.org/10.1007/s10699-011-9235-x and http://arxiv.org/abs/1108.2885
H.J.M.Bos, Differentials, higher-order differentials and the derivative in the Leibnizian calculus, Archive for History of Exact Sciences 14 (1974), 1-90.
H.Bos, R.Bunn, J.Dauben, I.Grattan-Guinness, T.Hawkins, and K.Pedersen, From the Calculus to Set Theory, 1630-1910.An Introductory History, edited by I.Grattan-Guinness, Gerald Duckworth and Co.Ltd., London, 1980.
N.Bourbaki, Théorie de la mesure et de l'intégration, Introduction, Université Henri Poincaré, Nancy, 1947.
K.Bråting, A new look at E.G.Björling and the Cauchy sum theorem.Arch.Hist.Exact Sci.61 (2007), no.5, 519-535.
H.Breger, The mysteries of adaequare: a vindication of Fermat, Archive for History of Exact Sciences 46 (1994), no.3, 193-219.
A.L.Cauchy, Cours d'Analyse de L'École Royale Polytechnique.Première Partie.Analyse algébrique.Paris: Imprimérie Royale, 1821.Online at http://books.google.com/books?id=_mYVAAAAQAAJ&dq=cauchy&lr=&source=gbs_ navlinks_s
A.L.Cauchy, Théorie de la propagation des ondes à la surface d'un fluide pesant d'une profondeur indéfinie, (published 1827, with additional Notes), Oeuvres, Series 1, Vol.1, 1815, pp.4-318.
C.Cerroni, The contributions of Hilbert and Dehn to non-Archimedean geometries and their impact on the Italian school, Revue d'Histoire des Mathématiques 13 (2007), no.2, 259-299.
G.Cifoletti, La méthode de Fermat: son statut et sa diffusion, Algèbre et comparaison de figures dans l'histoire de la méthode de Fermat, Cahiers d'Histoire et de Philosophie des Sciences, Nouvelle Série 33, Société Française d'Histoire des Sciences et des Techniques, Paris, 1990.
A.Connes, Noncommutative Geometry, Academic Press, Inc., San Diego, CA, 1994.
J.Dauben, The development of the Cantorian set theory.In (Bos et al.1980 [18]), pp.181-219.
J.Dauben, Abraham Robinson.1918-1974, Biographical Memoirs of the National Academy of Sciences 82 (2003), 243-284.Available at the addresses http://www.nap.edu/html/biomems/arobinson.pdf and http://www.nap.edu/catalog/10683.html
A.De Morgan, On the early history of infinitesimals in England, Philosophical Magazine, Ser.44 (1852), no.26, 321-330.http://www.tandfonline.com/doi/abs/10.1080/14786445208647134
P.Dirac, The Principles of Quantum Mechanics, 4th edition, Oxford, The Clarendon Press, 1958.
R.Dossena and L.Magnani, Mathematics through diagrams: Microscopes in non-standard and smooth analysis, Studies in Computational Intelligence (SCI) 64 (2007), 193-213.
P.Ehrlich, The rise of non-Archimedean mathematics and the roots of a misconception.I.The emergence of non-Archimedean systems of magnitudes, Archive for History of Exact Sciences 60 (2006), no.1, 1-121.
R.Ely, Loss of dimension in the history of calculus and in student reasoning, The Mathematics Enthusiast 9 (2012), no.3, 303-326.
Euclid, Euclid's Elements of Geometry, edited and provided with a modern English translation by Richard Fitzpatrick, 2007.http:// farside.ph.utexas.edu/euclid.html
L.Euler, Introductio in Analysin Infinitorum, Tomus primus, SPb and Lausana, 1748.
L.Euler, Introduction to Analysis of the Infinite.Book I, translated from the Latin and with an introduction by John D.Blanton, Springer-Verlag, New York, 1988 [translation of (Euler 1748 [35])].
L.Euler, Foundations of Differential Calculus, English translation of Chapters 1-9 of (Euler 1755 [37]) by D.Blanton, Springer, New York, 2000.
G.Ferraro, Differentials and differential coefficients in the Eulerian foundations of the calculus, Historia Mathematica 31 (2004), no.1, 34-61.
H.Freudenthal, Cauchy, Augustin-Louis, in Dictionary of Scientific Biography, ed.by C.C.Gillispie, vol.3, Charles Scribner's Sons, New York, 1971, pp.131-148.
C.I.Gerhardt (ed.), Historia et Origo calculi differentialis a G.G.Leibnitio conscripta, Hannover, 1846.
C.I.Gerhardt (ed.), Leibnizens mathematische Schriften, Berlin and Halle: Eidmann, 1850-1863.
G.Granger, Philosophie et mathématique leibniziennes, Revue de Métaphysique et de Morale 86e Année, No.1 (Janvier-Mars 1981), 1-37.
Hermann Grassmann, Lehrbuch der Arithmetik, Enslin, Berlin, 1861.
Rupert Hall and Marie Boas Hall, eds., Unpublished Scientific Papers of Isaac Newton, Cambridge University Press, 1962, pp.15-19, 31-37; quoted in I.Bernard Cohen, Richard S.Westfall, Newton, Norton Critical Edition, 1995, pp.377-386.
Hermann Hankel, Zur Geschichte der Mathematik in Alterthum und Mittelalter, Teubner, Leipzig, 1876.
T.Heath (ed.), The Works of Archimedes, Cambridge University Press, Cambridge, 1897.
E.Hewitt, Rings of real-valued continuous functions.I, Trans.Amer.Math.Soc.64 (1948), 45-99.
J.Heiberg (ed.), Archimedis Opera Omnia cum Commentariis Eutocii, Vol.I.Teubner, Leipzig, 1880.
A.Heijting, Address to Professor A.Robinson, at the occasion of the Brouwer memorial lecture given by Professor A.Robinson on the 26th April 1973, Nieuw Arch.Wisk.(3) 21 (1973), 134-137.Math Sci Net Review at http://www.ams.org/mathscinet-getitem?mr=434756
D.Hilbert, Grundlagen der Geometrie, Festschrift zur Enthüllung des Gauss-Weber Denkmals, Göttingen, Leipzig, 1899.
D.Hilbert, Les principes fondamentaux de la géométrie, Annales scientifiques de l'E.N.S.3e série 17 (1900), 103-209.
O.Hölder, Die Axiome der Quantität und die Lehre vom Mass, Berichte über die Verhandlungen der Königlich Sächsischen Gesellschaft der Wissenschaften zu Leipzig, Mathematisch-Physische Classe, 53, Leipzig, 1901, pp.1-63.
H.Ishiguro, Leibniz's Philosophy of Logic and Language, second edition, Cambridge University Press, Cambridge, 1990.
D.Jesseph, Leibniz on the elimination of infinitesimals: Strategies for finding truth in fiction, 27 pages.In Leibniz on the Interrelations between Mathematics and Philosophy, edited by Norma B.Goethe, Philip Beeley and David Rabouin, Archimedes Series, Springer Verlag, 2013.
V.Kanovei, The correctness of Euler's method for the factorization of the sine function into an infinite product, Russian Mathematical Surveys 43 (1988), 65-94.
V.Kanovei, M.Katz, and T.Mormann, Tools, objects, and chimeras: Connes on the role of hyperreals in mathematics, Foundations of Science (online first).http://dx.doi.org/10.1007/s10699-012-9316-5 and http://arxiv.org/abs/1211.0244
V.Kanovei and M.Reeken, Nonstandard Analysis, Axiomatically, Springer Monographs in Mathematics, Springer, Berlin, 2004.
V.Kanovei and S.Shelah, A definable nonstandard model of the reals, Journal of Symbolic Logic 69 (2004), no.1, 159-164.
K.Katz and M.Katz, Zooming in on infinitesimal 1:9:: in a post-triumvirate era, Educational Studies in Mathematics, 74 (2010), no.3, 259-273 http://rxiv.org/abs/arXiv:1003.1501
K.Katz and M.Katz, When is:999 : : : less than 1? The Montana Mathematics Enthusiast 7 (2010), no.1, 3-30.
K.Katz and M.Katz, Cauchy's continuum.Perspectives on Science 19 (2011), no.4, 426-452.http://www.mitpressjournals.org/toc/posc/ 19/4 and http://arxiv.org/abs/1108.4201
K.Katz and M.Katz, Meaning in classical mathematics: Is it at odds with intuitionism? Intellectica 56 (2011), no.2, 223-302.Http://arxiv.org/abs/1110.5456
K.Katz and M.Katz, A Burgessian critique of nominalistic tendencies in contemporary mathematics and its historiography, Foundations of Science 17 (2012), no.1, 51-89.http://dx.doi.org/ 10.1007/s10699-011-9223-1 and http://arxiv.org/abs/1104.0375
M.Katz and E.Leichtnam, Commuting and noncommuting infinitesimals, American Mathematical Monthly 120 (2013), no.7, 631-641.Http://arxiv.org/abs/1304.0583
M.Katz, D.Schaps, and S.Shnider, Almost equal: The method of adequality from Diophantus to Fermat and beyond, Perspectives on Science 21 (2013), no.3, 283-324.Http://arxiv.org/abs/1210.7750
M.Katz and D.Sherry, Leibniz's infinitesimals: Their fictionality, their modern implementations, and their foes from Berkeley to Russell and beyond, Erkenntnis 78 (2013), no.3, 571-625; http:// dx.doi.org/10.1007/s10670-012-9370-y and http://arxiv.org/abs/1205.0174
M.Katz and D.Sherry, Leibniz's laws of continuity and homogeneity, Notices of the American Mathematical Society 59 (2012), no.11, 1550-1558.http://www.ams.org/notices/201211/ and http://arxiv.org/abs/1211.7188
M.Katz and D.Tall, A Cauchy-Dirac delta function.Foundations of Science 18 (2013), no.1, 107-123.http://dx.doi.org/10.1007/s10699-012-9289-4 and http://arxiv.org/abs/1206.0119
H.J.Keisler, The ultraproduct construction.Ultrafilters across mathematics, Contemp.Math., vol.530, pp.163-179, Amer.Math.Soc., Providence, RI, 2010.
G.S.Kirk, J.E.Raven, and M.Schofield, Presocratic Philosophers, Cambridge Univ.Press, 1983, 316.
F.Klein, Elementary Mathematics from an Advanced Standpoint.Vol.1, Arithmetic, Algebra, Analysis.Translation by E.R.Hedrick and C.A.Noble [Macmillan, New York, 1932] from the third German edition [Springer, Berlin, 1924].Originally published as Elementarmathematik vom höheren Standpunkte aus (Leipzig, 1908).
D.Laugwitz, Hidden lemmas in the early history of infinite series, Aequationes Mathematicae 34 (1987), 264-276.
D.Laugwitz, Definite values of infinite sums: Aspects of the foundations of infinitesimal analysis around 1820, Archive for History of Exact Sciences 39 (1989), no.3, 195-245.
D.Laugwitz, Early delta functions and the use of infinitesimals in research, Revue d'histoire des sciences 45 (1992), no.1, 115-128.
G.Leibniz, Cum Prodiisset...mss "Cum prodiisset atque increbuisset Analysis mea infinitesimalis: : : " in Gerhardt [41, pp.39-50].
G.Leibniz, Letter to Varignon, 2 Feb 1702, in Gerhardt [42, vol.4, pp.91-95].
G.Leibniz, Symbolismus memorabilis calculi algebraici et infinitesimalis in comparatione potentiarum et differentiarum, et de lege homogeneorum transcendentali, in Gerhardt [42, vol.5, pp.377-382].
G.Leibniz, La naissance du calcul différentiel, 26 articles des Acta Eruditorum.Translated from the Latin and with an introduction and notes by Marc Parmentier.With a preface by Michel Serres.Mathesis, Librairie Philosophique J.Vrin, Paris, 1989.
G.Leibniz, De quadratura arithmetica circuli ellipseos et hyperbolae cujus corollarium est trigonometria sine tabulis.Edited, annotated, and with a foreword in German by Eberhard Knobloch, Abhandlungen der Akademie der Wissenschaften in Göttingen, Mathematisch-Physikalische Klasse, Folge 3 [Papers of the Academy of Sciences in Göttingen, Mathematical-Physical Class.Series 3], 43, Vandenhoeck and Ruprecht, Göttingen, 1993.
J.Łos, Quelques remarques, théorèmes et problèmes sur les classes définissables d'algèbres, in Mathematical Interpretation of Formal Systems, pp.98-113, North-Holland Publishing Co., Amsterdam, 1955.
W.Luxemburg, What is nonstandard analysis? Papers in the foundations of mathematics, American Mathematical Monthly 80 (1973), no.6, part II, 38-67.
L.Magnani and R.Dossena, Perceiving the infinite and the infinitesimal world: Unveiling and optical diagrams in mathematics, Foundations of Science 10 (2005), no.1, 7-23.
P.Mancosu, Philosophy of Mathematics and Mathematical Practice in the Seventeenth Century, The Clarendon Press, Oxford University Press, New York, 1996.
R.McClenon, A contribution of Leibniz to the history of complex numbers, American Mathematical Monthly 30 (1923), no.7, 369-374.
M.McKinzie and C.Tuckey, Hidden lemmas in Euler's summation of the reciprocals of the squares, Archive for History of Exact Sciences 51 (1997), 29-57.
H.Meschkowski, Aus den Briefbuchern Georg Cantors, Archive for History of Exact Sciences 2 (1965), 503-519.
T.Mormann and M.Katz, Infinitesimals as an issue of neo-Kantian philosophy of science, HOPOS: The Journal of the International Society for the History of Philosophy of Science, to appear.
D.Mumford, Intuition and rigor and Enriques's quest, Notices Amer.Math.Soc.58 (2011), no.2, 250-260.
I.Newton, Methodus Fluxionum (1671); English version, The Method of Fluxions and Infinite Series (1736).
W.Parkhurst and W.Kingsland, Infinity and the infinitesimal, The Monist 35 (1925), 633-666.
C.Proietti, Natural numbers and infinitesimals: a discussion between Benno Kerry and Georg Cantor, History and Philosophy of Logic 29 (2008), no.4, 343-359.
P.Reeder, Infinitesimals for Metaphysics: Consequences for the Ontologies of Space and Time, Ph.D.thesis, Ohio State University, 2012.
A.Robinson, Non-standard analysis, Nederl.Akad.Wetensch.Proc.Ser.A 64= Indag.Math.23 (1961), 432-440 [reprinted in Selected Works; see (Robinson 1979 [96, pp.3-11]).
A.Robinson, Reviews: Foundations of Constructive Analysis, American Mathematical Monthly 75 (1968), no.8, 920-921.
A.Robinson, Selected Papers of Abraham Robinson, Vol.II.Nonstandard Analysis and Philosophy, edited and with introductions by W.A.J.Luxemburg and S.Körner, Yale University Press, New Haven, CT, 1979.
B.Russell, The Principles of Mathematics, Vol.I, Cambridge Univ.Press, Cambridge, 1903.
D.Sherry, The wake of Berkeley's analyst: Rigor mathematicae? Stud.Hist.Philos.Sci.18 (1987), no.4, 455-480.
D.Sherry and M.Katz, Infinitesimals, imaginaries, ideals, and fictions, Studia Leibnitiana, to appear.http://arxiv.org/abs/1304.2137
R.Simson, The Elements of Euclid: Viz.the First Six Books, together with the Eleventh and Twelfth.The Errors by which Theon and others have long ago vitiated these Books are corrected and some of Euclid's Demonstrations are restored.Robert & Andrew Foulis, Glasgow, 1762.
T.Skolem, Über die Unmöglichkeit einer vollständigen Charakterisierung der Zahlenreihe mittels eines endlichen Axiomensystems, Norsk Mat.Forenings Skr., II.Ser.No.1/12 (1933), 73-82.
T.Skolem, Über die Nicht-charakterisierbarkeit der Zahlenreihe mittels endlich oder abzählbar unendlich vieler Aussagen mit ausschliesslich Zahlenvariablen, Fundamenta Mathematicae 23 (1934), 150-161.
T.Skolem, Peano's axioms and models of arithmetic, in Mathematical Interpretation of Formal Systems, pp.1-14, North-Holland Publishing Co., Amsterdam, 1955.
R.Solovay, A model of set-theory in which every set of reals is Lebesgue measurable, Annals of Mathematics (2) 92 (1970), 1-56.
O.Stolz, Vorlesungen über Allgemeine Arithmetik, Teubner, Leipzig, 1885.
D.Tall and M.Katz, A cognitive analysis of Cauchy's conceptions of function, continuity, limit, and infinitesimal, with implications for teaching the calculus, Educational Studies in Mathematics, to appear.
P.Vickers, Understanding Inconsistent Science, Oxford University Press, Oxford, 2013.
J.Wallis, The Arithmetic of Infinitesimals (1656).Translated from the Latin and with an introduction by Jacqueline A.Stedall, Sources and Studies in the History of Mathematics and Physical Sciences, Springer-Verlag, New York, 2004.
Frederik S.Herzberg, Stochastic calculus with infinitesimals, Lecture Notes in Mathematics, 2067, Springer, Heidelberg, 2013.