
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 not universally valid in infinite mathematical domains. His work reshaped debates about the foundations of mathematics and anticipated later constructivist and anti-realist positions in the philosophy of logic.
Founded mathematical intuitionism, establishing that mathematical objects are mental constructions dependent on intuition rather than abstract Platonic entities
Proved the Brouwer Fixed-Point Theorem, a landmark result in algebraic topology
Rejected the law of excluded middle and other classical logical principles as illegitimate when applied to infinite totalities
Developed intuitionistic logic as an alternative formal system reflecting constructive mathematical reasoning
Introduced the concept of the 'creating subject' to ground mathematical truth in the activity of an idealized mathematician
Reichenbach was not able to recognize the Weyl method as other than an equivalent account of empirical determination of the metric
claimThe semantics of a formal system rich enough to contain elementary mathematics cannot be fully defined in terms of mathematical functions within that same system.