Аренд Гейтинг (; , — , ) — голландский математик и логик, студент и последователь Л. Э. Я. Брауэра, член Нидерландской АН. Окончил Амстердамский университет (1922). Работал там же (с 1948 г. — профессор). Исследования посвящены основаниям математики. Один из виднейших представителей интуиционизма после Брауэра, опубликовал работу с изложением формальных правил интуиционистской логики высказываний. Интуиционистская логика стала частью математической логики.
См. также Троичная логика Интуиционистская логика Математическая логика Модальная логика Категорический силлогизм
Ссылки Новая философская энциклопедия
Литература Гейтинг А. Интуиционизм: Пер. с англ. 1965. 200 с. Гейтинг А. Тридцать лет спустя // Математическая логика и её применения. М., 1965. С. 225. Гейтинг А. Обзор исследований по основаниям математики. М., 1936
Примечания
Категория:Логики Нидерландов Категория:Преподаватели Амстердамского университета