4 citations · 4 across the 1 of their papers we have counts for
3 papers
math.HO2022★ 4 cited
Is pluralism in the history of mathematics possible?
Jacques Bair, Alexandre Borovik, Vladimir Kanovei +6
Leibniz scholarship is currently an area of lively debate. We respond to some recent criticisms by Archibald et al.
math.HO2018
The Creating Subject, the Brouwer-Kripke Schema, and infinite proofs
Mark van Atten
Kripke's Schema (better the Brouwer-Kripke Schema) and the Kreisel-Troelstra Theory of the Creating Subject were introduced around the same time for the same purpose, that of analy…
math.HO2018
Weyl and intuitionistic infinitesimals
Mark van Atten
As Weyl was interested in infinitesimal analysis and for some years embraced Brouwer's intuitionism, which he continued to see as an ideal even after he had convinced himself that…