Brouwer
22 Publications
On A.A. Markov's attitude towards Brouwer's intuitionism
2015
Philosophia Scientiae 19 (1)
Essays on Gödel's reception of Leibniz, Husserl and Brouwer
2015
Berlin, Springer
Constructive recursive functions, Church's thesis, and Brouwer's theory of the creating subject
afterthoughts on a Parisian joint session
2014
in: Constructivity and computability in historical and philosophical perspective, Berlin,
The genesis of mathematical objects, following Weyl and Brouwer
2010
in: Causality, meaningful complexity and embodied cognition, Berlin,
Brouwer's approximate fixed-point theorem is equivalent to Brouwer's fan theorem
2009
in: Logicism, intuitionism, and formalism, Berlin,
Another look at Brouwer's dissertation
2008
in: One hundred years of intuitionism (1907–2007), Berlin,
The proper explanation of intuitionistic logic
on Brouwer's demonstration of the Bar theorem
2008
in: One hundred years of intuitionism (1907–2007), Berlin,
The intersection of intuitionism (Brouwer) and phenomenology (Husserl)
2008
in: One hundred years of intuitionism (1907–2007), Berlin,
Brouwer on "hypotheses' and the middle Wittgenstein
2008
in: One hundred years of intuitionism (1907–2007), Berlin,
22 Publications