1881 – 1966
Luitzen Egbertus Jan Brouwer (1881–1966) was a Dutch mathematician and philosopher who founded mathematical intuitionism, the view that mathematics is a mental construction rather than a discovery of mind-independent truths. He made foundational contributions to topology while simultaneously arguing that classical logic—particularly the law of excluded middle—is illegitimate when applied to infinite mathematical domains. His philosophical work challenged the basis of formal mathematics and sparked the foundationalist debates of the early twentieth century.
Founded mathematical intuitionism, rejecting the law of excluded middle and non-constructive existence proofs
Proved the Brouwer fixed-point theorem, a landmark result in algebraic topology
Established the topological invariance of dimension, foundational to modern topology
Developed the concept of 'choice sequences' to give intuitionistic accounts of the continuum
Initiated the intuitionistic logic program later formalized by Arend Heyting