Гейтинг, Аренд
Материал из Википедии — свободной encyclopedia
Аренд Гейтинг (нидерл. Arend Heyting; 9 мая 1898 (1898-05-09), Амстердам — 9 июля 1980, Лугано) — голландский математик и логик, студент и последователь Л. Э. Я. Брауэра, член Нидерландской АН. Окончил Амстердамский университет (1922). Работал там же (с 1948 г. — профессор). Исследования посвящены основаниям математики. Один из виднейших представителей интуиционизма после Брауэра, опубликовал работу с изложением формальных правил интуиционистской логики высказываний. Интуиционистская логика стала частью математической логики.
Краткие факты Аренд Гейтинг, Дата рождения ...
Аренд Гейтинг | |
---|---|
Дата рождения | 9 мая 1898(1898-05-09)[1][2][…] |
Место рождения | |
Дата смерти | 9 июля 1980(1980-07-09)[1][3][…] (82 года) |
Место смерти | |
Страна | |
Род деятельности | математик, преподаватель университета |
Научная сфера | математика[4] и логика[4] |
Место работы | |
Альма-матер |
|
Научный руководитель | Брауэр, Лёйтзен Эгберт Ян[5] |
Ученики | Трулстра, Анне Шерп |
Медиафайлы на Викискладе |
Закрыть