11 citations · 11 across the 2 of their papers we have counts for
3 papers
Cauchy, infinitesimals and ghosts of departed quantifiers
Jacques Bair, Piotr Blaszczyk, Robert Ely +10
Procedures relying on infinitesimals in Leibniz, Euler and Cauchy have been interpreted in both a Weierstrassian and Robinson's frameworks. The latter provides closer proxies for t…
Analyzing Benardete's comment on decimal notation
Jacques Bair, Piotr Blaszczyk, Karin U. Katz +3
Philosopher Benardete challenged both the conventional wisdom and the received mathematical treatment of zero, dot, nine recurring. An initially puzzling passage in Benardete on th…
Is Leibnizian calculus embeddable in first order logic?
Piotr Blaszczyk, Vladimir Kanovei, Karin U. Katz +4
To explore the extent of embeddability of Leibnizian infinitesimal calculus in first-order logic (FOL) and modern frameworks, we propose to set aside ontological issues and focus o…