Аренд Гейтинг (нидерл. Arend Heyting) — голландский математик и логик, студент и последователь Л. Э. Я. Брауэра, член Нидерландской АН. Окончил Амстердамский университет (1922). Работал там же (с 1948 г. — профессор). Исследования посвящены основаниям математики. Один из виднейших представителей интуиционизма после Брауэра, опубликовал работу с изложением формальных правил интуиционистской логики высказываний. Интуиционистская логика стала частью математической логики.
Связанные публикации на ФШ | Участник | Тип | Опубликовано |
---|---|---|---|
Пафос Философии и проблема Релятивизма | Роман999 | Запись | 26.04.2018 |
Матемизированный феномен сознания и бессмертие души | Роман999 | Запись | 06.10.2017 |