Brouwer
22 Publications
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