On A.A. Markov's attitude towards Brouwer's intuitionism

2015

Ioannis M. Vandoulakis

Philosophia Scientiae 19 (1)

Essays on Gödel's reception of Leibniz, Husserl and Brouwer

2015

Mark Van Atten

Berlin, Springer

Constructive recursive functions, Church's thesis, and Brouwer's theory of the creating subject

afterthoughts on a Parisian joint session

2014

Göran Sundholm

in: Constructivity and computability in historical and philosophical perspective, Berlin,

The genesis of mathematical objects, following Weyl and Brouwer

2010

Dirk van Dalen

in: Causality, meaningful complexity and embodied cognition, Berlin,

Brouwer's approximate fixed-point theorem is equivalent to Brouwer's fan theorem

2009

Wim Veldman

in: Logicism, intuitionism, and formalism, Berlin,

Another look at Brouwer's dissertation

2008

Dirk van Dalen

in: One hundred years of intuitionism (1907–2007), Berlin,

Brouwerian infinity

2008

Carl J. Posy

in: One hundred years of intuitionism (1907–2007), Berlin,

The proper explanation of intuitionistic logic

on Brouwer's demonstration of the Bar theorem

2008

Göran Sundholm, Mark Van Atten

in: One hundred years of intuitionism (1907–2007), Berlin,

The intersection of intuitionism (Brouwer) and phenomenology (Husserl)

2008

Richard Tieszen

in: One hundred years of intuitionism (1907–2007), Berlin,

Brouwer on "hypotheses' and the middle Wittgenstein

2008

Mathieu Marion

in: One hundred years of intuitionism (1907–2007), Berlin,