Поиск
На сайте: 763819 статей, 327745 фото.

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

Аренд Гейтинг
Дата рождения: 9 мая 1898 г.
Дата смерти: 9 июля 1980 г.

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

Он родился в Амстердаме, Нидерланды, и умер в Лугано, Швейцария.

См. также

Ссылки

Литература

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




Первоначальная версия этой статьи была взята из русской Википедии на условиях лицензии GNU FDL.