11 citations · 31 across the 7 of their papers we have counts for
3 papers · 1 filter
A non-standard analysis of a cultural icon: The case of Paul Halmos
Piotr Blaszczyk, Alexandre Borovik, Vladimir Kanovei +4
We examine Paul Halmos' comments on category theory, Dedekind cuts, devil worship, logic, and Robinson's infinitesimals. Halmos' scepticism about category theory derives from his p…
The Mathematical Intelligencer flunks the Olympics
Alexander E. Gutman, Mikhail G. Katz, Taras S. Kudryk +1
The Mathematical Intelligencer recently published a note by Y. Sergeyev that challenges both mathematics and intelligence. We examine Sergeyev's claims concerning his purported Inf…
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…