Abstract
Foundations of Science recently published a rebuttal to a portion of our essay it published 2 years ago. The author, G. Schubring, argues that our 2013 text treated unfairly his 2005 book, Conflicts between generalization, rigor, and intuition. He further argues that our attempt to show that Cauchy is part of a long infinitesimalist tradition confuses text with context and thereby misunderstands the significance of Cauchy’s use of infinitesimals. Here we defend our original analysis of various misconceptions and misinterpretations concerning the history of infinitesimals and, in particular, the role of infinitesimals in Cauchy’s mathematics. We show that Schubring misinterprets Proclus, Leibniz, and Klein on non-Archimedean issues, ignores the Jesuit context of Moigno’s flawed critique of infinitesimals, and misrepresents, to the point of caricature, the pioneering Cauchy scholarship of D. Laugwitz.
Similar content being viewed by others
Notes
On page 17, Schubring cites Proclus’ correct reading of Euclid V.4, but as soon as Schubring attempts to paraphrase this in his own terms, he immediately gets it wrong by describing infinitesimals in terms of incommensurability. The term incommensurability is used to describe phenomena related to irrationality, including both previous occurrences of the term in Schubring (2005) on pages 12 and 16.
Leibniz uses the term finite in his paraphrase of Euclid’s definition V.5 (or V.4, as discussed in footnote 3), but here he is dealing with a finite integer n (which, in modern terminology, is tending to infinity), so that \(n\epsilon \) always stays less than 1 thereby violating the Archimedean property, if \(\epsilon \) is infinitesimal.
Leibniz lists number V.5 for Euclid’s definition instead of V.4. In some editions of the Elements this definition does appear as V.5. Thus, Euclid (1660) as translated by Barrow in 1660 provides the following definition in V.V (the notation “V.V” is from Barrow’s translation): Those numbers are said to have a ratio betwixt them, which being multiplied may exceed one the other. For our interpretation of this, see Sect. 3, Axiom E1.
Schubring repeats the performance in 2015 when he claims: “I am analysing at length the methodological approach of Laugwitz (and Spalt), which consists in attributing to Cauchy (his) own ‘universe of discourse.’” (Schubring 2015, Sect. 3). But Spalt’s approach is not identical to Laugwitz’s!
Translation: “A function u of a real variable x will be continuous between two given bounds on x if this function, taking for each intermediate value of x a unique finite value, an infinitely small increment given to the variable always produces, between the bounds in question, an infinitely small increment of the function itself.”
Here Laugwitz is referring to Cauchy’s motto to the effect that “Mon but principal a été de concilier la rigueur, dont je m’étais fait une loi dans mon Cours d’analyse avec la simplicité que produit la consideration directe des quantités infiniment petites.”
The fact that Laugwitz had published articles in leading periodicals does not mean that he could not have said something wrong. However, it does suggest the existence of a strawman aspect of Schubring’s claims against him.
Fraser repeats the performance in 2015 when he claims that “Laugwitz, ... some two decades following the publication by Schmieden and him of the \(\Omega \)-calculus commenced to publish a series of articles arguing that their non-Archimedean formulation of analysis is well suited to interpret Cauchy’s results on series and integrals.” (Fraser 2015, p. 27) What Fraser fails to mention is that Laugwitz specifically separated his analysis of Cauchy’s procedures from attempts to account ontologically for Cauchy’s infinitesimals in modern terms.
Note that the term infinitesimal itself was not coined until the 1670s, by either Mercator or Leibniz; see (Leibniz 1699, p. 63).
Moigno’s chimerical anti-infinitesimal thread has not remained without modern French adherents; see Kanovei et al. (2013).
Leibniz’s dichotomy between assignable and inassignable quantity, on which his concept of infinitesimal was based, finds a rigorous mathematical treatment in the hyperreal number system (where an assignable number is a standard real number). Yet the mathematics of earlier times allowed an adequate intuitive understanding of the issue, sufficient to effectively and fruitfully use infinitesimals in mathematical practice, even though a semantic base (accounting for the ontology of a number) acceptable by modern standards was as yet unavailable. For further details on Leibniz’s theoretical strategy in dealing with infinitesimals see Katz and Sherry (2012), Katz and Sherry (2013), Sherry and Katz (2014).
Translation: “Nothing indicates, in the documents used, any principled hostility on the part of Cauchy to the elimination of algebraic analysis as an autonomous part placed at the beginning of the analysis course. What was important to him, on the other hand, was the presence of several items from this part, and the methods used in presenting them. …Note two particular points important to Cauchy, namely that continuous functions be placed at the beginning of differential calculus, and that the study of the convergence of series should find its place in the vicinity of Taylor’s formula, in differential and integral calculus.”
References
Alexander, A. (2014). Infinitesimal: How a dangerous mathematical theory shaped the modern world. Straus and Giroux: Farrar.
Bair, J., Błaszczyk, P., Ely, R., Henry, V., Kanovei, V., Katz, K., Katz, M., Kutateladze, S., McGaffey, T., Reeder, P., Schaps, D., Sherry, D., & Shnider, S. (2016). Interpreting the infinitesimal mathematics of Leibniz and Euler. Journal of General Philosophy of Science (to appear).
Bair, J., Błaszczyk, P., Ely, R., Henry, V., Kanovei, V., Katz, K., Katz, M., Kutateladze, S., McGaffey, T., Schaps, D., Sherry, D., & Shnider, S. (2013). Is mathematical history written by the victors? Notices of the American Mathematical Society, 60(7), 886–904. See http://www.ams.org/notices/201307/rnoti-p886.pdf, arXiv:1306.5973.
Bascelli, T., Bottazzi, E., Herzberg, F., Kanovei, V., Katz, K., Katz, M., Nowik, T., Sherry, D., Shnider, S. Fermat, Leibniz, Euler, and the gang: The true history of the concepts of limit and shadow. Notices of the American Mathematical Society, 61, 8, 848–864. See http://www.ams.org/notices/201408/rnoti-p848.pdf, arXiv:1407.0233.
Beckmann, F. Neue Gesichtspunkte zum 5. Buch Euklids. Archive for History of Exact Sciences, 4, 1–144.
Blåsjö, V. (2016). In defence of geometrical algebra. Archive for History of Exact Sciences. doi:10.1007/s00407-015-0169-5.
Błaszczyk, P., Mrówka, K. Euklides, Elementy, Ksiegi V–VI. Tłumaczenie i komentarz [Euclid, Elements, Books V–VI. Translation and commentary]. Copernicus Center Press, Kraków, 2013.
Błaszczyk, P., Katz, M., & Sherry, D. (2013). Ten misconceptions from the history of analysis and their debunking. Foundations of Science, 18(1), 43–74. doi:10.1007/s10699-012-9285-8, arXiv:1202.4153.
Borovik, A., & Katz, M. (2012). Who gave you the Cauchy-Weierstrass tale? The dual history of rigorous calculus. Foundations of Science, 17(3), 245–276. doi:10.1007/s10699-011-9235-x.
Bosmans, H. (1927). André Tacquet (S. J.) et son traité d’ ‘Arithmétique théorique et pratique’. Isis, 9(1), 66–82.
Boyer, C. (1949). The concepts of the calculus. New York: Hafner Publishing Company.
Bradley, R., & Sandifer, C. (2009). Cauchy’s Cours d’analyse. An annotated translation. Sources and Studies in the History of Mathematics and Physical Sciences. Springer, New York.
Cauchy, A.L. (1823). Recherches sur l’équilibre et le mouvement intérieur des corps solides ou fluides, élastiques ou non élastiques. Oeuvres complètes Série 2, Vol. 2, p. 300–304. Reprinted from Bulletin de la Société philomatique, pp. 9–13, 1823.
Cauchy, A. L. (1832). Mémoire sur la rectification des courbes et la quadrature des surfaces courbes. Paris lithograph: Reprinted as Cauchy (1850).
Cauchy, A.L. (1850). Mémoire sur la rectification des courbes et la quadrature des surfaces courbes. Mémoires de l’Académie des Sciences Paris, 22 (1850), 3–15. Reprinted in Oeuvres complètes 1/II, Paris: Gauthier-Villars (1908), 167–177.
Cauchy, A. L. (1853) Note sur les séries convergentes dont les divers termes sont des fonctions continues d’une variable réelle ou imaginaire, entre des limites données. In Oeuvres complètes, Series 1, Vol. 12, pp. 30–36. Paris: Gauthier-Villars, 1900.
De Risi, V. (2016) The Development of Euclidean Axiomatics. The systems of principles and the foundations of mathematics in editions of the Elements from Antiquity to the Eighteenth Century. Archive for History of Exact Sciences (forthcoming).
Euclid. Euclide’s Elements; The whole Fifteen Books, compendiously Demonstrated. By Mr. Isaac Barrow Fellow of Trinity College in Cambridge. And Translated out of the Latin. London, 1660.
Feingold, M. (2003). Jesuits: savants. In Jesuit science and the republic of letters, 1–45, Transformations: Studies in the History of Science and Technology, MIT Press, Cambridge, MA, 2003.
Festa, E. (1990). La querelle de l’atomisme: Galilée, Cavalieri et les Jésuites. La Recherche (sept. 1990), 1038–1047.
Festa, E. (1992). Quelques aspects de la controverse sur les indivisibles. Geometry and atomism in the Galilean school, 193–207, Bibl. Nuncius Studi Testi, X, Olschki, Florence, 1992.
Fraser, C. C. (2008). In the new dictionary of scientific biography (Vol. 2). New York: Scribners and Sons.
Fraser, C. (2015). Nonstandard analysis, infinitesimals, and the history of calculus. In D. Row & W. Horng (Eds.), A delicate balance: Global perspectives on innovation and tradition in the history of mathematics (pp. 25–49). Birkhäuser: Springer.
Freudenthal, H. (1971). Did Cauchy plagiarise Bolzano? Archive for History of Exact Sciences, 7, 375–392.
Gerhardt, C. I. (ed.) Leibnizens mathematische Schriften. Berlin and Halle: Eidmann, 1850–1863.
Gilain, C. Cauchy et le cours d’analyse de l’Ecole polytechnique. With an editorial preface by Emmanuel Grison. Société des Amis de la Bibliothèque de l’École Polytechnique. Bulletin, no. 5.
Grabiner, J. (2006). Review of Schubring 2005. SIAM Review, 48(2), 413–416.
Hellyer, M. (1996). Because the authority of my superiors commands: Censorship, physics and the German jesuits. Early Science and Medicine, 1(3), 319–354.
Hewitt, E. (1948). Rings of real-valued continuous functions. I. Transactions of the American Mathematical Society, 64, 45–99.
Hykšová, M., Kalousová, A., & Saxl, I. (2012). Early history of geometric probability and stereology. Image Analysis & Stereology, 31(1), 1–16.
Kanovei, V., Katz, K., Katz, M., Sherry, D. (2015). Euler’s lute and Edwards’ oud. The Mathematical Intelligencer 37(4), 48–51. See doi:10.1007/s00283-015-9565-6, arXiv:1506.02586.
Kanovei, V., Katz, M., & Mormann, T. (2013). Tools, objects, and chimeras: Connes on the role of hyperreals in mathematics. Foundations of Science, 18(2), 259–296. doi:10.1007/s10699-012-9316-5, arXiv:1211.0244.
Katz, K., & Katz, M. (2011). Cauchy’s continuum. Perspectives on Science, 19(4), 426–452. doi:10.1162/POSC_a_00047, arXiv:1108.4201.
Katz, K., & Katz, M. (2012). A Burgessian critique of nominalistic tendencies in contemporary mathematics and its historiography. Foundations of Science, 17(1), 51–89. doi:10.1007/s10699-011-9223-1, arXiv:1104.0375.
Katz, K., & Katz, M. (2012). Stevin numbers and reality. Foundations of Science, 17(2), 109–123. doi:10.1007/s10699-011-9228-9, arXiv:1107.3688.
Katz, M., Sherry, D. (2012) Leibniz’s laws of continuity and homogeneity. Notices of the American Mathematical Society, 59(11), 1550–1558. See http://www.ams.org/notices/201211/rtx121101550p.pdf, arXiv:1211.7188.
Katz, M., & Sherry, D. (2013). Leibniz’s infinitesimals: Their fictionality, their modern implementations, and their foes from Berkeley to Russell and beyond. Erkenntnis, 78(3), 571–625. doi:10.1007/s10670-012-9370-y, arXiv:1205.0174.
Katz, M., Schaps, D., & Shnider, S. (2013). Almost Equal: The Method of Adequality from Diophantus to Fermat and Beyond. Perspectives on Science, 21(3), 283–324. See http://www.mitpressjournals.org/doi/abs/10.1162/POSC_a_00101, arXiv:1210.7750.
Katz, M., & Tall, D. (2013). A Cauchy-Dirac delta function. Foundations of Science, 18(1), 107–123. doi:10.1007/s10699-012-9289-4, arXiv:1206.0119.
Klein, F. (1925) Elementarmathematik vom höheren Standpunkt, Bd. 2 (Berlin, Springer, 1925). English Translation (E.R. Hedrick, C.A. Noble): Elementary Mathematics from an Advanced Standpoint. Geometry (New York, Dover, 1939).
Laugwitz, D. (1990) Das mathematisch Unendliche bei Cauchy und bei Euler. ed. Gert König, Konzepte des mathematisch Unendlichen im 19. Jahrhundert (Göttingen, Vandenhoeck u. Ruprecht, 1990), 9–33.
Laugwitz, D. (1989). Definite values of infinite sums: Aspects of the foundations of infinitesimal analysis around. Archive for History of Exact Sciences, 39, 195–245.
Laugwitz, D. (1987). Infinitely small quantities in Cauchy’s textbooks. Historia Mathematica, 14, 258–274.
Leibniz, (1699) G. Letter to Wallis, 30 March 1699, in Gerhardt (Gerhardt 1850, vol. IV, pp. 62–65).
Mancosu, P. (1996). Philosophy of mathematics and mathematical practice in the seventeenth century. New York: The Clarendon Press, Oxford University Press.
Mueller, I. (1981). Philosophy of mathematics and deductive structure in Euclid’s Elements. Cambridge, Mass, London: MIT Press. [reprinted by Dover in 2006].
Redondi, P. (1987) Galileo: heretic. Translated from the Italian by Raymond Rosenthal. Princeton University Press, Princeton, NJ
Schmieden, C., & Laugwitz, D. (1958). Eine Erweiterung der Infinitesimalrechnung. Mathematische Zeitschrift, 69, 1–39.
Schubring, G. (2005). Conflicts between generalization, rigor, and intuition. Number concepts underlying the development of analysis in 17–19th Century France and Germany. Sources and Studies in the History of Mathematics and Physical Sciences. Springer-Verlag, New York
Schubring, G. (2015). Comments on a Paper on Alleged Misconceptions Regarding the History of Analysis: Who Has Misconceptions? Foundations of Science, online first. doi:10.1007/s10699-015-9424-0.
Sherry, D., Katz, M. (2014) Infinitesimals, imaginaries, ideals, and fictions. Studia Leibnitiana 44 (2012), no. 2, 166–192 (the article appeared in 2014 even though the year given by the journal is 2012). See arXiv:1304.2137.
Stolz, O. (1883). Zur Geometrie der Alten, insbesondere über ein Axiom des Archimedes. Mathematische Annalen, 22(4), 504–519.
Tall, D., & Katz, M. (2014). A cognitive analysis of Cauchy’s conceptions of function, continuity, limit, and infinitesimal, with implications for teaching the calculus. Educational Studies in Mathematics, 86(1), 97–124. doi:10.1007/s10649-014-9531-9, arXiv:1401.1468.
Acknowledgments
The work of V. Kanovei was partially supported by RFBR Grant 13-01-00006. M. Katz was partially funded by the Israel Science Foundation Grant No. 1517/12. We are grateful to the anonymous referees and to A. Alexander, R. Ely, and S. Kutateladze for their helpful comments. The influence of Hilton Kramer (1928–2012) is obvious.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Błaszczyk, P., Kanovei, V., Katz, M.G. et al. Controversies in the Foundations of Analysis: Comments on Schubring’s Conflicts . Found Sci 22, 125–140 (2017). https://doi.org/10.1007/s10699-015-9473-4
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10699-015-9473-4