nLab L.E.J. Brouwer

Luitzen Egbertus Jan Brouwer (1881–1966) was an early worker in algebraic topology and the founder of intuitionism.

Important results:

• topological invariance of dimension,

• Brouwer fixed point theorem,

• simplicial approximation theorem,

• intuitionistic mathematics,

• fan theorem and bar theorem?.

• Brouwer-Heyting-Kolmogorov interpretation

Selected writings

On intuitionism:

• L. E. J. Brouwer, Points and Spaces, Canadian Journal of Mathematics 6 (1954) 1-17 [doi:10.4153/CJM-1954-001-9]

Brouwer’s intuitionism

From p. 6 of Errett Bishop‘s Foundations of Constructive Analysis (McGraw-Hill, 1967):

category: people