When1: 1908
When2: 1924
Who: Luitzen E. J. Brouwer [Brouwer, Luitzen E. J.]
What: mathematician
Where: Netherlands
works\ Unreliability of the Logical Principles [1908]; Intuitionistic Reflections on Formalism [1927]
Detail: He lived 1881 to 1966, tried to define numbers, and helped develop quantum logic. He helped develop the idea that mathematics requires mental constructions for truth {intuitionism, Brouwer} [1924]. Unconstructed and non-existent things cannot be the basis for truth. Infinities cause excluded-middle-law contradiction, so mathematics cannot use this law.
Mathematical Sciences>Mathematics>History>Logic
Outline of Knowledge Database Home Page
Description of Outline of Knowledge Database
Date Modified: 2022.0224