Лейтзен Егберт Ян Брауер
З Вікіпедії, безкоштовно encyclopedia
Лейтзен Егберт Ян Брауер (нід. Luitzen Egbertus Jan Brouwer; 27 лютого 1881 — 2 грудня 1966) — голландський філософ та математик, випускник університету Амстердама, який працював у таких галузях математики, як топологія, теорія множин, математична логіка, теорія міри та комплексний аналіз.
Ця стаття є сирим перекладом з іншої мови. Можливо, вона створена за допомогою машинного перекладу або перекладачем, який недостатньо володіє обома мовами. (лютий 2019) |
Член Нідерландської академії наук в Амстердамі (1912), член-кореспондент Королівської академії наук у Лондоні, Паризької та Геттінгенської АН, професор Амстердамського університету (1912–1951). В 1932 році він отримав звання Лицаря Голландського лева.
Поклав початок новому напрямку в математиці — інтуїціонізму. Він піддав сумніву застосування в математичних міркуваннях закону виключеного третього, непрямого доказу (доказів від протилежного). Одним з результатів аналізу таких міркувань стало виникнення інтуїционістської логіки, сформульованої в 1930 році учнем Брауера — Арендом Гейтінгом, яка не містить зазначених законів.