Лёйтзен Брауэр

Даты жизни
Родился: 
1881
27, Февраль
Умер: 
1966
2, Декабрь

Лёйтзен Э́гберт Ян Бра́уэр (нидерл. Luitzen Egbertus Jan Brouwer) — голландский философ и математик, выпускник университета Амстердама, работавший в таких областях математики, как топологиятеория множествматематическая логикатеория меры и комплексный анализЧлен Нидерландской АН в Амстердаме  (1912),   член-корреспондент Лондонского королевского обществаПарижской и Гёттингенской АНпрофессор Амстердамского университета (19121951). В 1932 г. он получил звание Рыцаря Голландского льва (Knight in the Order of the Dutch Lion). Положил начало новому направлению в математике —   интуиционизму. Он подверг сомнению неограниченную приложимость в математических рассуждениях классических законов исключённого третьего, снятия двойного отрицания,   косвенного доказательства (доказательства от противного). Одним из результатов анализа таких рассуждений явилось возникновение интуиционистской логики, сформулированной в 1930 г. учеником Брауэра А. Гейтингом и не содержащей указанных законов.