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

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск
Аренд Гейтинг
Arend Heyting (1967).jpg
Дата рождения:

9 мая 1898(1898-05-09)[1]

Место рождения:

Амстердам, Нидерланды[1]

Дата смерти:

9 июля 1980(1980-07-09)[1] (82 года)

Место смерти:

Лугано[1]

Страна:

Flag of the Netherlands.svg Королевство Нидерландов

Место работы:

Амстердамский университет

Альма-матер:

Амстердамский университет

Научный руководитель:

Брауэр, Лёйтзен Эгберт Ян

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

См. также[править | править вики-текст]

Ссылки[править | править вики-текст]

Литература[править | править вики-текст]

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

Примечания[править | править вики-текст]