17 citations · 59 across the 10 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
math.LO2016
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…
math.HO2016
Interpreting the infinitesimal mathematics of Leibniz and Euler
Jacques Bair, Piotr Blaszczyk, Robert Ely +10
We apply Benacerraf's distinction between mathematical ontology and mathematical practice (or the structures mathematicians use in practice) to examine contrasting interpretations…