most citedTools, objects, and chimeras: Connes on the role of hyperreals in mathematics

34 citations

6 papers

math.HO2016★ 11 cited

Gregory's sixth operation

Tiziana Bascelli, Piotr Blaszczyk, Vladimir Kanovei +6

In relation to a thesis put forward by Marx Wartofsky, we seek to show that a historiography of mathematics requires an analysis of the ontology of the part of mathematics under sc…

math.HO2016★ 16 cited

Toward a history of mathematics focused on procedures

Piotr Blaszczyk, Vladimir Kanovei, Karin U. Katz +3

Abraham Robinson's framework for modern infinitesimals was developed half a century ago. It enables a re-evaluation of the procedures of the pioneers of mathematical analysis. Thei…

math.LO2016★ 2 cited

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★ 4 cited

Small oscillations of the pendulum, Euler's method, and adequality

Vladimir Kanovei, Karin U. Katz, Mikhail G. Katz +1

Small oscillations evolved a great deal from Klein to Robinson. We propose a concept of solution of differential equation based on Euler's method with infinitesimal mesh, with well…

math.HO2016★ 5 cited

Controversies in the foundations of analysis: Comments on Schubring's Conflicts

Piotr Blaszczyk, Vladimir Kanovei, Mikhail Katz +1

Foundations of Science recently published a rebuttal to a portion of our essay it published two years ago. The author, G. Schubring, argues that our 2013 text treated unfairly his…

math.FA2012★ 34 cited

Tools, objects, and chimeras: Connes on the role of hyperreals in mathematics

Vladimir Kanovei, Mikhail G. Katz, Thomas Mormann

We examine some of Connes' criticisms of Robinson's infinitesimals starting in 1995. Connes sought to exploit the Solovay model S as ammunition against non-standard analysis, but t…