Brouwer, Luitzen Egbertus Jan

Brouwer [brouver], Luitzen Egbertus Jan, 27. 2. 1881 Overschie (dnes súčasť Rotterdamu) – 2. 12. 1966 Blaricum — holandský matematik, logik a filozof, jedna z najvýznamnejších osobností matematiky 20. stor. Bol profesorom na Amsterdamskej univerzite (1912 – 51). V ranom období (1909 – 13) dosiahol závažné výsledky vo všeobecnej topológii, prispel k syntéze kombinatorickej a všeobecnej topológie na vyššej abstraktnej úrovni a vyriešil 5. Hilbertov problém. V rokoch 1918 – 28 na základe kritického prehodnotenia teórie nekonečných množín na báze klasickej logiky vybudoval základy intuicionistickej matematiky odmietajúcej všeobecnú platnosť logického princípu vylúčenia tretieho. Intuicionizmus ako logický a filozofický smer sa stal základňou významného prúdu matematiky 20. stor. (intuicionistická a konštruktivistická matematika). Pre Brouwera je matematika slobodnou tvorbou vlastnou ľudskému mysleniu. Jazyk je iba prostriedkom komunikácie a zapamätania. Logika sprostredkúva pravidlá narábania so symbolmi, ale nie priamo matematické pravidlá. Neprotirečivosť je nevyhnutnou, nie však postačujúcou podmienkou existencie matematických objektov. Existovať znamená byť skonštruovaným.