Approaches to analysis with infinitesimals following Robinson, Nelson, and others

P Fletcher, K Hrbacek, V Kanovei, MG Katz, C Lobry… - 2017‏ - projecteuclid.org
This is a survey of several approaches to the framework for working with infinitesimals and
infinite numbers, originally developed by Abraham Robinson in the 1960s, and their …

Procedures of Leibnizian infinitesimal calculus: An account in three modern frameworks

J Bair, P Błaszczyk, R Ely, MG Katz… - British Journal for the …, 2021‏ - Taylor & Francis
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 …

Infinitesimal analysis without the Axiom of Choice

K Hrbacek, MG Katz - Annals of Pure and Applied Logic, 2021‏ - Elsevier
It is often claimed that analysis with infinitesimals requires more substantial use of the Axiom
of Choice than traditional elementary analysis. The claim is based on the observation that …

Leibniz on bodies and infinities: rerum natura and mathematical fictions

MG Katz, K Kuhlemann, D Sherry… - The Review of Symbolic …, 2024‏ - cambridge.org
The way Leibniz applied his philosophy to mathematics has been the subject of
longstanding debates. A key piece of evidence is his letter to Masson on bodies. We offer an …

Infinite lotteries, spinners, applicability of hyperreals

E Bottazzi, MG Katz - Philosophia Mathematica, 2021‏ - ieeexplore.ieee.org
We analyze recent criticisms of the use of hyperreal probabilities as expressed by Pruss,
Easwaran, Parker, and Williamson. We show that the alleged arbitrariness of hyperreal …

Leibniz's well-founded fictions and their interpretations

J Bair, P Blaszczyk, R Ely, P Heinig, MG Katz - arxiv preprint arxiv …, 2018‏ - arxiv.org
Leibniz used the term fiction in conjunction with infinitesimals. What kind of fictions they were
exactly is a subject of scholarly dispute. The position of Bos and Mancosu contrasts with that …

Cauchy's infinitesimals, his sum theorem, and foundational paradigms

T Bascelli, P Błaszczyk, A Borovik, V Kanovei… - Foundations of …, 2018‏ - Springer
Cauchy's sum theorem is a prototype of what is today a basic result on the convergence of a
series of functions in undergraduate analysis. We seek to interpret Cauchy's proof, and …

Bolzano's infinite quantities

K Trlifajová - Foundations of Science, 2018‏ - Springer
In his Foundations of a General Theory of Manifolds, Georg Cantor praised Bernard Bolzano
as a clear defender of actual infinity who had the courage to work with infinite numbers. At …

From Pythagoreans and Weierstrassians to true infinitesimal calculus

MG Katz, L Polev - arxiv preprint arxiv:1701.05187, 2017‏ - arxiv.org
In teaching infinitesimal calculus we sought to present basic concepts like continuity and
convergence by comparing and contrasting various definitions, rather than presenting" the …

On mathematical realism and the applicability of hyperreals

E Bottazzi, V Kanovei, MG Katz, T Mormann… - arxiv preprint arxiv …, 2019‏ - arxiv.org
We argue that Robinson's hyperreals have just as much claim to applicability as the garden
variety reals. In a recent text, Easwaran and Towsner (ET) analyze the applicability of …