Брауэр, Лёйтзен Эгберт Ян
Материал из Википедии — свободной encyclopedia
Лёйтзен Э́гберт Ян Бра́уэр (нидерл. Luitzen Egbertus Jan Brouwer; 27 февраля 1881 — 2 декабря 1966) — голландский философ и математик, выпускник университета Амстердама, работавший в таких областях математики, как топология, теория множеств, математическая логика, теория меры и комплексный анализ.
Лёйтзен Эгберт Ян Брауэр | |
---|---|
нидерл. Luitzen Egbertus Jan Brouwer | |
Дата рождения | 27 февраля 1881(1881-02-27)[1][2][…] |
Место рождения | Оверши[англ.] |
Дата смерти | 2 декабря 1966(1966-12-02)[3][1][…] (85 лет) |
Место смерти | Бларикюм, Королевство Нидерландов |
Страна | |
Род деятельности | математик, философ, тополог, преподаватель университета, писатель |
Научная сфера | топология, теория множеств, математическая логика, теория меры, комплексный анализ |
Место работы | Амстердамский университет |
Альма-матер | |
Научный руководитель | Дидерик Кортевег |
Ученики | Аренд Гейтинг |
Известен как |
интуиционизм Теорема Брауэра |
Награды и премии |
почётный доктор Университета Осло[d] почётный доктор Кембриджского университета[d] иностранный член Лондонского королевского общества[d] (27 мая 1948) |
Медиафайлы на Викискладе |
Член Нидерландской АН в Амстердаме (1912), член-корреспондент Лондонского королевского общества, Парижской и Гёттингенской АН, профессор Амстердамского университета (1912—1951). В 1932 г. он получил звание рыцаря ордена Нидерландского льва[4].
Положил начало новому направлению в математике — интуиционизму. Он подверг сомнению неограниченную приложимость в математических рассуждениях классических законов исключённого третьего, (снятия) двойного отрицания, косвенного доказательства (доказательства от противного). Одним из результатов анализа таких рассуждений явилось возникновение интуиционистской логики, сформулированной в 1930 г. учеником Брауэра А. Гейтингом и не содержащей указанных законов.