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