Гейтинг, Аренд

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

Аренд Гейтинг (нидерл. Arend Heyting; 9 мая 1898 (1898-05-09), Амстердам — 9 июля 1980, Лугано) — голландский математик и логик, студент и последователь Л. Э. Я. Брауэра, член Нидерландской АН. Окончил Амстердамский университет (1922). Работал там же (с 1948 г. — профессор). Исследования посвящены основаниям математики. Один из виднейших представителей интуиционизма после Брауэра, опубликовал работу с изложением формальных правил интуиционистской логики высказываний. Интуиционистская логика стала частью математической логики.

См. также

• Троичная логика
• Интуиционистская логика
• Математическая логика
• Модальная логика
• Категорический силлогизм

Ссылки

• Новая философская энциклопедия 

Литература

• Гейтинг А. Интуиционизм: Пер. с англ. 1965. 200 с.
• Гейтинг А. Тридцать лет спустя // Математическая логика и её применения. М., 1965. С. 225.
• Гейтинг А. Обзор исследований по основаниям математики. М., 1936

Примечания

Эта страница в последний раз была отредактирована 19 апреля 2024 в 14:31.