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