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