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

2015

Ioannis M. Vandoulakis

Philosophia Scientiae 19 (1)

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,

Brouwer's notion of intuition and theory of knowledge by presence

2008

Mohammad Ardeshir

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