×

Procedures of Leibnizian infinitesimal calculus: an account in three modern frameworks. (English) Zbl 1528.01008

Summary: Recent Leibniz scholarship has sought to gauge which foundational framework provides the most successful account of the procedures of the Leibnizian calculus (LC). While many scholars (e.g. Ishiguro, Levey) opt for a default Weierstrassian framework, Arthur compares LC to a non-Archimedean framework SIA (Smooth Infinitesimal Analysis) of Lawvere-Kock-Bell. We analyze Arthur’s comparison and find it rife with equivocations and misunderstandings on issues including the non-punctiform nature of the continuum, infinite-sided polygons, and the fictionality of infinitesimals. Rabouin and Arthur claim that Leibniz considers infinities as contradictory, and that Leibniz’ definition of incomparables should be understood as nominal rather than as semantic. However, such claims hinge upon a conflation of Leibnizian notions of bounded infinity and unbounded infinity, a distinction emphasized by early Knobloch. The most faithful account of LC is arguably provided by Robinson’s framework for infinitesimal analysis. We exploit an axiomatic framework for infinitesimal analysis SPOT to formalize LC.

MSC:

01A45 History of mathematics in the 17th century
03-03 History of mathematical logic and foundations
26-03 History of real functions
PDFBibTeX XMLCite
Full Text: DOI arXiv

References:

[1] Albeverio, S.; Høegh-Krohn, R.; Fenstad, J. E.; Lindstrøm, T., Nonstandard methods in stochastic analysis and mathematical physics, 122 (1986), Orlando, FL: Academic Press, Orlando, FL · Zbl 0605.60005
[2] Andersen, K., One of Berkeley’s arguments on compensating errors in the calculus, Historia Mathematica, 38, 2, 219-231 (2011) · Zbl 1221.01060
[3] Arthur, R., The Labyrinth of the Continuum. Writings on the Continuum Problem, 1672-1686. G. W. Leibniz (2001), New Haven: Yale University Press, New Haven
[4] Arthur, R, ‘x+dx=x’: Leibniz’s Archimedean infinitesimals (2007). See https://www.humanities.mcmaster.ca/rarthur/papers/x+dx=x.pdf.
[5] Arthur, R., Leibniz’s syncategorematic infinitesimals, Archive for History of Exact Sciences, 67, 5, 553-593 (2013) · Zbl 1273.01021
[6] Arthur, R, Leibniz. Classic Thinkers, Polity Press, 2014.
[7] Arthur, R, ‘Leibniz’s actual infinite in relation to his analysis of matter’, in GW Leibniz (ed), interrelations between mathematics and philosophy, Archimedes, 41, Dordrecht: Springer, 2015, 137-156. · Zbl 1332.01012
[8] Arthur, R, ‘Leibniz’s Syncategorematic Actual Infinite’, in Ohad Nachtomy and Reed Winegar (eds), Infinity in early modern philosophy (The New Synthese Historical Library. Texts and Studies in the History of Philosophy, 76), Springer, 2018, 155-179. · Zbl 1397.00033
[9] Arthur, R, ‘Leibniz in Cantor’s Paradise’, in V De Risi (ed), Leibniz and the structure of sciences. Modern perspectives on the history of logic, mathematics, epistemology (Boston Studies in Philosophy and History of Science), Berlin: Springer, 2019, 71-109. · Zbl 1448.01010
[10] Avigad, J, ‘Weak theories of nonstandard arithmetic and analysis’, in Reverse mathematics 2001 (Lect. Notes Log., 21), La Jolla, CA: Assoc. Symbol. Logic, 2005, 19-46. · Zbl 1087.03038
[11] Bair, J.; Błaszczyk, P.; Ely, R.; Heinig, P.; Katz, M., Leibniz’s well-founded fictions and their interpretations, Matematychni Studii, 49, 2, 186-224 (2018) · doi:10.15330/ms.49.2.186-224
[12] Bair, J.; Błaszczyk, P.; Ely, R.; Henry, V.; Kanovei, V.; Katz, K.; Katz, M.; Kudryk, T.; Kutateladze, S.; McGaffey, T.; Mormann, T.; Schaps, D.; Sherry, D, ‘Cauchy, Infinitesimals and ghosts of departed quantifiers, Matematychni Studii, 47, 2, 115-144 (2017) · Zbl 1476.01006 · doi:10.15330/ms.47.2.115-144
[13] 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., Interpreting the infinitesimal mathematics of Leibniz and Euler, Journal for General Philosophy of Science, 48, 2, 195-238 (2017) · doi:10.1007/s10838-016-9334-z
[14] Bair, J.; Błaszczyk, P.; Fuentes Guillén, E.; Heinig, P.; Kanovei, V.; Katz, M., Continuity between Cauchy and Bolzano: Issues of antecedents and priority, British Journal for the History of Mathematics, 35, 3, 207-224 (2020) · Zbl 1461.01010
[15] Bair, J.; Błaszczyk, P.; Heinig, P.; Kanovei, V.; Katz, M., 19th century real analysis, forward and backward, Antiquitates Mathematicae, 13, 19-49 (2019) · Zbl 1523.01006 · doi:10.14708/am.v13i1.6440
[16] Bascelli, T.; Błaszczyk, P.; Kanovei, V.; Katz, K.; Katz, M.; Schaps, D.; Sherry, D., Leibniz versus Ishiguro: Closing a quarter-century of syncategoremania, HOPOS: The Journal of the International Society for the History of Philosophy of Science, 6, 1, 117-147 (2016) · doi:10.1086/685645
[17] Bassler, O, ‘An enticing (im)possibility: Infinitesimals, differentials, and the Leibnizian calculus’, in Goldenbaum-Jesseph (2008), Berlin-New York: Walter de Gruyter, 2008, 135-151.
[18] Beeley, P., ‘Nova methodus investigandi’. On the concept of analysis in John Wallis’s mathematical writings, Studia Leibnitiana, 45, 1, 42-58 (2013) · Zbl 1326.01024
[19] Bell, J, Continuity and Infinitesimals. Stanford Encyclopedia of Philosophy, 2005-2013. See https://plato.stanford.edu/entries/continuity.
[20] Bell, J., A primer of infinitesimal analysis (2008), Cambridge: Cambridge University Press, Cambridge · Zbl 1155.26021
[21] Bell, J., The continuous, the discrete and the infinitesimal in philosophy and mathematics, 82 (2019), Springer · Zbl 1441.00016
[22] Blåsjö, V., Transcendental curves in the Leibnizian calculus (2017), London: Elsevier/Academic Press, London · Zbl 1381.01001
[23] Blåsjö, V, Comment on Rabouin & Arthur (2020). 7 April 2020. See http://intellectualmathematics.com/blog/comment-on-rabouin-arthur-2020.
[24] Błaszczyk, P.; Kanovei, V.; Katz, K.; Katz, M.; Kutateladze, S.; Sherry, D., Toward a history of mathematics focused on procedures, Foundations of Science, 22, 4, 763-783 (2017) · Zbl 1398.01005 · doi:10.1007/s10699-016-9498-3
[25] Bos, H., Differentials, higher-order differentials and the derivative in the Leibnizian calculus, Archive for History of Exact Sciences, 14, 1-90 (1974) · Zbl 0291.01016
[26] Bottazzi, E.; Kanovei, V.; Katz, M.; Mormann, T.; Sherry, D., On mathematical realism and the applicability of hyperreals, Matematychni Studii, 51, 2, 200-224 (2019) · Zbl 1436.00032 · doi:10.15330/ms.51.2.200-224
[27] Bottazzi, E, and Katz, M, ‘Infinite lotteries, spinners, and the applicability of hyperreals’, Philosophia Mathematica, 29(1) (2021a). See and https://arxiv.org/abs/2008.11509.
[28] Bottazzi, E, and Katz, M, ‘Internality, transfer, and infinitesimal modeling of infinite processes’, Philosophia Mathematica, 29(2) (2021b). See and https://arxiv.org/abs/2008.11513. · Zbl 1505.03146
[29] Boyer, C., Cavalieri, limits and discarded infinitesimals, Scripta Mathematica, 8, 79-91 (1941)
[30] Bradley, R.; Petrilli, S.; Sandifer, C., L’Hôpital’s Analyse des infiniment petits. An annotated translation with source material by Johann Bernoulli, 50 (2015), Cham: Birkhäuser/Springer, Cham · Zbl 1327.01001
[31] Breger, H, ‘Leibniz’s Calculation with Compendia’, in Goldenbaum-Jesseph (2008), Berlin-New York: Walter de Gruyter, 2008, 185-198.
[32] Breger, H, ‘On the grain of sand and heaven’s infinity’, in Wenchao Li (ed), ‘Für unser Glück oder das Glück anderer’ Vorträge des X. Intemationalen Leibniz-Kongresses Hannover, 18.-23. Juli 2016, in collaboration with Ute Beckmann, Sven Erdner, Esther-Maria Errulat, Jürgen Herbst, Helena Iwasinski und Simona Noreik, Band VI, Hildesheim-Zurich-New York: Georg Olms Verlag, 2017, 64-79. · Zbl 1353.01005
[33] Cajori, F., Grafting of the theory of limits on the calculus of Leibniz, American Mathematical Monthly, 30, 5, 223-234 (1923) · JFM 49.0020.04
[34] Carnap, R., The logical structure of the world: and, pseudoproblems in philosophy (2003), Chicago and La Salle: Open Court Publishing
[35] Child, J (ed), The early mathematical manuscripts of Leibniz. Translated from the Latin texts published by Carl Immanuel Gerhardt with critical and historical notes by J. M. Child. Chicago-London: The Open Court Publishing, 1920. Reprinted by Dover in 2005. · JFM 47.0035.09
[36] Connes, A., An interview with Alain Connes. Part I: conducted by Catherine Goldstein and Georges Skandalis (Paris), European Mathematical Society. Newsletter, 63, 25-30 (2007)
[37] Easwaran, K, and Towsner, H, Realism in mathematics: The case of the hyperreals. 8 February 2019 version. See http://u.math.biu.ac.il/katzmik/easwaran19.pdf.
[38] Ehrlich, P, ‘Contemporary infinitesimalist theories of continua and their late nineteenth- and early twentieth-century forerunners’, in Shapiro-Hellman (2021), 2021, 502-570. See https://arxiv.org/abs/1808.03345. · Zbl 1464.01008
[39] Ferraro, G, ‘Euler and the structure of mathematics’, Historia Mathematica 50 (2020), 2-24. · Zbl 1440.01004
[40] Fletcher, P.; Hrbacek, K.; Kanovei, V.; Katz, M.; Lobry, C.; Sanders, S., Approaches to analysis with infinitesimals following Robinson, Nelson, and others, Real Analysis Exchange, 42, 2, 193-252 (2017) · Zbl 1435.03094 · doi:10.14321/realanalexch.42.2.0193
[41] Forti, M., A topological interpretation of three Leibnizian principles within the functional extensions, Logical Methods in Computer Science, 14, 3 (2018) · Zbl 1453.03073
[42] Gerhardt, C., Historia et Origo calculi differentialis a G. G. Leibnitio conscripta (1846), Hannover: Hahn
[43] Gerhardt, C., Leibnizens mathematische Schriften (185063), Berlin and Halle: A. Asher
[44] Goldenbaum, U.; Jesseph, D., Infinitesimal Differences: Controversies between Leibniz and his Contemporaries (2008), Berlin-New York: Walter de Gruyter, Berlin-New York
[45] Gray, J., A short life of Euler, BSHM Bulletin, 23, 1, 1-12 (2008) · Zbl 1151.01301
[46] Gray, J., Plato’s ghost. The modernist transformation of mathematics (2008), Princeton, NJ: Princeton University Press, Princeton, NJ · Zbl 1166.00005
[47] Gray, J., The real and the complex: a history of analysis in the 19th century (2015), Cham: Springer, Cham · Zbl 1330.01001
[48] Guicciardini, N, Review of Knobloch (1999). Mathematical Reviews MR1705300 (2000). See https://mathscinet.ams.org/mathscinet-getitem?mr=1705300.
[49] Guicciardini, N., Review of ‘De quadratura arithmetica circuli ellipseos et hyperbolae cujus corollarium est trigonometria sine tabulis, by Gottfried Wilhelm Leibniz, edited by Eberhard Knobloch’, The Mathematical Intelligencer, 40, 4, 89-91 (2018) · Zbl 1402.00017
[50] Hacking, I., Why is there philosophy of mathematics at all? (2014), Cambridge: Cambridge University Press, Cambridge · Zbl 1296.00002
[51] Henle, J., Non-nonstandard analysis: real infinitesimals, The Mathematical Intelligencer, 21, 1, 67-73 (1999) · Zbl 0932.26014
[52] Hermann, J, ‘Responsio ad Clarissimi Viri Bernh. Nieuwentiit Considerationes Secundas circa calculi differentialis principia’, editas Basileae, Literis Johannis Conradi a Mechel, 1700.
[53] Hewitt, E., Rings of real-valued continuous functions. I, Transactions of the American Mathematical Society, 64, 45-99 (1948) · Zbl 0032.28603
[54] Horváth, M., On the attempts made by Leibniz to justify his calculus, Studia Leibnitiana, 18, 1, 60-71 (1986)
[55] Hrbacek, K., Axiomatic foundations for nonstandard analysis, Fundamenta Mathematicae, 98, 1, 1-19 (1978) · Zbl 0373.02039
[56] Hrbacek, K, and Katz, M, Infinitesimal analysis without the axiom of choice (2020). See https://arxiv.org/abs/2009.04980. · Zbl 07333022
[57] Ishiguro, H., Leibniz’s philosophy of logic and language (1990), Cambridge: Cambridge University Press, Cambridge
[58] Jesseph, D, ‘Leibniz on the elimination of infinitesimals’, in Norma B Goethe, Philip Beeley, and David Rabouin (eds), G.W. Leibniz, Interrelations between mathematics and philosophy (Archimedes Series, 41), Dordrecht-Heidelberg-New York-London: Springer Verlag, 2015, 189-205. · Zbl 1326.01026
[59] Jesseph, D, ‘The indivisibles of the continuum. Seventeenth-century adventures in infinitesimal mathematics’, in Shapiro-Hellman (2021), 2021, 104-122. · Zbl 1464.01003
[60] Kanovei, V.; Reeken, M., Nonstandard analysis, axiomatically (2004), Berlin: Springer-Verlag, Berlin · Zbl 1058.03002
[61] Katz, M., Mathematical conquerors, Unguru polarity, and the task of history, Journal of Humanistic Mathematics, 10, 1, 475-515 (2020) · Zbl 1522.01104 · doi:10.5642/jhummath.202001.27
[62] Katz, M.; Sherry, D., Leibniz’s laws of continuity and homogeneity, Notices of the American Mathematical Society, 59, 11, 1550-1558 (2012) · Zbl 1284.03064
[63] Katz, M.; Sherry, D., Leibniz’s infinitesimals: Their fictionality, their modern implementations, and their foes from Berkeley to Russell and beyond, Erkenntnis, 78, 3, 571-625 (2013) · Zbl 1303.01012 · doi:10.1007/s10670-012-9370-y
[64] Keisler, H. J., Elementary calculus: an infinitesimal approach (1986), Boston: Prindle, Weber & Schmidt, Boston · Zbl 0655.26002
[65] Knobloch, E, ‘L’infini dans les mathématiques de Leibniz’, in Lamarra (ed), L’infinito in Leibniz, Rome: Edizioni dell’ Ateneo, 1990, 33-51.
[66] Knobloch, E, ‘The infinite in Leibniz’s mathematics – The historiographical method of comprehension in context’, in K Gavroglu, J Christianidis, E Nicolaidis (eds), Trends in the historiography of science, Dordrecht: Kluwer, 1994, 265-278.
[67] Knobloch, E., Galileo and Leibniz: different approaches to infinity, Archive for History of Exact Sciences, 54, 2, 87-99 (1999) · Zbl 0933.01007
[68] Knobloch, E., Leibniz’s rigorous foundation of infinitesimal geometry by means of Riemannian sums’. Foundations of the formal sciences, 1 (Berlin, 1999), Synthese, 133, 1-2, 59-73 (2002) · Zbl 1032.01011
[69] Knobloch, E, Review of ‘Arthur, R. Leibniz’s syncategorematic infinitesimals. Arch. Hist. Exact Sci. 67, No. 5, 553-593 (2013)’. Zentralblatt, 2013, Zbl 1273.01021. See https://zbmath.org/?q=an · Zbl 1273.01021
[70] Knobloch, E., Letter to the editors of the journal Historia Mathematica. Remarks on the paper by Blåsjö, Historia Mathematica, 44, 3, 280-282 (2017) · Zbl 1372.01012
[71] Knobloch, E., Leibniz and the infinite, Quaderns d’Història de l’Enginyeria, 14, 11-31 (2018)
[72] Knobloch, E, ‘Leibniz’s Parisian studies on infinitesimal mathematics’, in Ioannis M Vandoulakis and Dun Liu (eds), Navigating across mathematical cultures and times: exploring the diversity of discoveries and proofs. to appear, 2021?. See summary at https://www.bokus.com/bok/9789814689366.
[73] Kock, A., Synthetic differential geometry, 333 (2006), Cambridge: Cambridge University Press, Cambridge · Zbl 1091.51002
[74] Kunen, K., Set theory. An introduction to independence proofs, 102 (1980), Amsterdam-New York: North-Holland, Amsterdam-New York · Zbl 0443.03021
[75] Lawvere, F., Toward the description in a smooth topos of the dynamically possible motions and deformations of a continuous body’. Third Colloquium on Categories (Amiens, 1980), Part I, Cahiers Topologie Géom. Différentielle, 21, 4, 377-392 (1980) · Zbl 0472.18009
[76] Leibniz, G, ‘Nova methodus pro maximis et minimis’, Acta Erudit. Lips., Oct. 1684’, 467-473, in Gerhardt (1850-63), vol. V, 220-226.
[77] Leibniz, G, ‘To l’Hospital’, 14/24 June 1695a, in Gerhardt (1850-63), vol. I, 287-289.
[78] Leibniz, G, ‘Responsio ad nonnullas difficultates a Dn. Bernardo Niewentiit circa methodum differentialem seu infinitesimalem motas’, Acta Erudit. Lips. (1695b), 310-316, in Gerhardt (1850-63), vol. V, p. 320-328. A French translation by Parmentier is in Leibniz (1989a, 316-334).
[79] Leibniz, G, ‘Cum Prodiisset… mss Cum prodiisset atque increbuisset Analysis mea infinitesimalis…’, in Gerhardt 1846, 1701, 39-50. See http://books.google.co.il/books?id=UOM3AAAAMAAJ English translation in Child (2005), 145-158.
[80] Leibniz, G, ‘Letter to Varignon, 2 February 1702’, in Gerhardt (1850-63), vol. IV, 91-95. Published as ‘Extrait d’une Lettre de M. Leibnitz à M. Varignon, contenant l’explication de ce qu’on a raporté de luy dans les Memoires de Trevoux des mois de Novembre & Decembre derniers.’ Journal des sçavans, 20 March 1702, 183-186. See also http://www.gwlb.de/Leibniz/Leibnizarchiv/Veroeffentlichungen/III9.pdf. Translation in Leibniz (1989b), 542-546.
[81] Leibniz, G, ‘Symbolismus memorabilis calculi algebraici et infinitesimalis in comparatione potentiarum et differentiarum, et de lege homogeneorum transcendentali’, in Gerhardt (1850-63), vol. V, 1710, 377-382.
[82] Leibniz, G., Nouveaux Essais sur l’entendement humain (1921), Ernest Flammarion
[83] Leibniz, G, 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, 1989a. See https://books.google.co.il/books?id=lfEy-OzaWkQC.
[84] Leibniz, G, Philosophical essays. Translated and edited by Roger Ariew and Daniel Garber. Indianapolis, IN: Hackett Publishing, 1989b.
[85] Leibniz, G, Philosophical papers and letters (Synthese Historical Library, 2), Leroy E. Loemker, Editor and Translator. Dordrecht-Boston-London: Kluwer Academic Publishers, 2nd edition, 1989c.
[86] Leibniz, G, Quadrature arithmétique du cercle, de l’ellipse et de l’hyperbole. Marc Parmentier (Trans. and ed) /Latin text by Eberhard Knobloch (ed), J. Vrin, Paris, 2004. · Zbl 1315.01068
[87] Leibniz, G, Mathesis universalis. Écrits sur la mathématique universelle. Translated from the Latin and with an introduction and notes by David Rabouin. Mathesis. Librairie Philosophique J. Vrin, Paris, 2018. · Zbl 1402.01034
[88] Levey, S., Leibniz on mathematics and the actually infinite division of matter, The Philosophical Review, 107, 1, 49-96 (1998)
[89] Levey, S, ‘Archimedes, infinitesimals and the law of continuity: on Leibniz’s Fictionalism’, in Goldenbaum-Jesseph (2008), 2008, 107-134.
[90] Levey, S, ‘The continuum, the infinitely small, and the law of continuity in Leibniz’, in Shapiro-Hellman (2021), 2021, 123-157. · Zbl 1475.01011
[91] Łoś, J, ‘Quelques remarques, théorèmes et problèmes sur les classes définissables d’algèbres’, in Mathematical interpretation of formal systems, Amsterdam: North-Holland Publishing, 1955, 98-113. · Zbl 0068.24401
[92] Mancosu, P., The metaphysics of the calculus: a foundational debate in the Paris Academy of Sciences, 1700-1706, Historia Mathematica, 16, 3, 224-248 (1989) · Zbl 0683.01006
[93] Mancosu, P., Philosophy of mathematics and mathematical practice in the seventeenth century (1996), New York: The Clarendon Press, Oxford University Press, New York · Zbl 0939.01004
[94] Mercer, C., Leibniz on mathematics, methodology, and the good: a reconsideration of the place of mathematics in Leibniz’s philosophy, Early Science and Medicine, 11, 4, 424-454 (2006)
[95] Moerdijk, I.; Reyes, G., Models for smooth infinitesimal analysis (1991), New York: Springer-Verlag, New York · Zbl 0715.18001
[96] Mormann, T.; Katz, M., Infinitesimals as an issue of neo-Kantian philosophy of science, HOPOS: The Journal of the International Society for the History of Philosophy of Science, 3, 2, 236-280 (2013) · doi:10.1086/671348
[97] Nagel, F, ‘Nieuwentijt, Leibniz, and Jacob Hermann on Infinitesimals’, in Goldenbaum-Jesseph (2008), 2008, 199-214.
[98] Nelson, E., Internal set theory: a new approach to nonstandard analysis, Bulletin of the American Mathematical Society, 83, 6, 1165-1198 (1977) · Zbl 0373.02040
[99] Nelson, E., Radically elementary probability theory, 117 (1987), Princeton, NJ: Princeton University Press, Princeton, NJ · Zbl 0651.60001
[100] Pasini, E, ‘Die private Kontroverse des GW Leibniz mit sich selbst. Handschriften über die Infinitesimalrechnung im Jahre 1702’, in Leibniz. Tradition und Aktualität, Hannover: Leibniz-Gesellschaft, 1988, 695-709.
[101] Probst, S, ‘The calculus’, in MR Antognazza (ed), The oxford handbook of Leibniz, Oxford: Oxford University Press, 2018, 211-224.
[102] Pruss, A, ‘Underdetermination of infinitesimal probabilities’, Synthese (2018), online first at .
[103] Rabouin, D, ‘Leibniz’s rigorous foundations of the method of indivisibles’, in Vincent Jullien (ed), Seventeenth-century indivisibles revisited (Science Networks. Historical Studies, 49), Basel: Birkhäuser, 2015, 347-364. · Zbl 1326.01030
[104] Rabouin, D.; Arthur, R., Leibniz’s syncategorematic infinitesimals II: their existence, their use and their role in the justification of the differential calculus, Archive for History of Exact Sciences, 74, 401-443 (2020) · Zbl 1448.01009
[105] Robinson, A, ‘Non-standard analysis’, Nederl. Akad. Wetensch. Proc. Ser. A 64 = Indag. Math. 23 (1961), 432-440. (Reprinted in Selected Papers Robinson 1979, 3-11). · Zbl 0102.00708
[106] Robinson, A., Non-standard analysis (1966), Amsterdam: North-Holland Publishing, Amsterdam · Zbl 0151.00803
[107] Robinson, A, Selected papers of Abraham Robinson. Vol. II. Nonstandard analysis and philosophy. Edited and with introductions by W. A. J. Luxemburg and S. Körner. New Haven, Conn: Yale University Press, 1979. · Zbl 0424.01031
[108] Sanders, S., The unreasonable effectiveness of Nonstandard Analysis, Journal of Logic and Computation, 30, 1, 459-524 (2020) · Zbl 1516.03023 · doi:10.1093/logcom/exaa019
[109] Shapiro, S.; Hellman, J., The History of Continua: Philosophical and Mathematical Perspectives (2021), Oxford University Press · Zbl 1467.03032 · doi:10.1093/OSO/9780198809647.003.0018
[110] Sherry, D., The wake of Berkeley’s Analyst: rigor mathematicae?, Studies in History and Philosophy of Science, 18, 4, 455-480 (1987) · Zbl 0636.01004
[111] Sherry, D.; Katz, M., Infinitesimals, imaginaries, ideals, and fictions, Studia Leibnitiana, 44, 2, 166-192 (2012)
[112] Skolem, T, ‘Ü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. · Zbl 0007.19305
[113] Skolem, T., Über die Nicht-charakterisierbarkeit der Zahlenreihe mittels endlich oder abzählbar unendlich vieler Aussagen mit ausschliesslich Zahlenvariablen, Fundamenta Mathematicae, 23, 150-161 (1934) · Zbl 0010.04902
[114] Sommer, R.; Suppes, P., Finite models of elementary recursive nonstandard analysis, Notas de la Sociedad Matematica de Chile, 15, 73-95 (1996)
[115] Spalt, D, Die Analysis im Wandel und im Widerstreit. Eine Formierungsgeschichte ihrer Grundbegriffe. [On title page: Eine Formierungsgeschichte ihrer Grundgeschichte]. Freiburg: Verlag Karl Alber, 2015.
[116] Strømholm, P., Fermat’s methods of maxima and minima and of tangents. A reconstruction, Archive for History Exact Sciences, 5, 1, 47-69 (1968) · Zbl 0164.30402
[117] Tarski, A.; Givant, S., A formalization of set theory without variables, 41 (1987), Providence RI: American Mathematical Society, Providence RI · Zbl 0654.03036
[118] van den Berg, B.; Sanders, S., Reverse mathematics and parameter-free transfer, Annals of Pure and Applied Logic, 170, 3, 273-296 (2019) · Zbl 06994737
[119] Väth, M., Nonstandard analysis (2007), Basel: Birkhäuser Verlag, Basel · Zbl 1108.03061
[120] Yokoyama, K., Formalizing non-standard arguments in second-order arithmetic, Journal of Symbolic Logic, 75, 4, 1199-1210 (2010) · Zbl 1214.03047
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.