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

См. также

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

Ссылки

Литература

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

Примечания