4 citations · 6 across the 4 of their papers we have counts for
4 papers
On distance and proximity between Dummett and Brouwer
Mark van Atten
This paper asks what Brouwer might have replied to Dummett's interpretation of intuitionism. Complementing earlier literature, it treats Dummett's rejection of the ontological appr…
Predicativity and parametric polymorphism of Brouwerian implication
Mark van Atten
A common objection to the definition of intuitionistic implication in the Proof Interpretation is that it is impredicative. I discuss the history of that objection, argue that in B…
L.E.J. Brouwer's `Unreliability of the logical principles'. A new translation, with an introduction
Mark van Atten, Göran Sundholm
We present a new English translation of L.E.J. Brouwer's paper `De onbetrouwbaarheid der logische principes' (The unreliability of the logical principles) of 1908, together with a…
Intuition, iteration, induction
Mark van Atten
In Mathematical Thought and Its Objects, Charles Parsons argues that our knowledge of the iterability of functions on the natural numbers and of the validity of complete induction…