Аренд Хейтинг - Arend Heyting

Аренд Хейтинг
Аренд Хейтинг (1967) .jpg
Аренд Хейтинг (1967)
Родившийся ( 1898-05-09 ) 9 мая 1898 г.
Амстердам , Нидерланды
Умер 9 июля 1980 г. (1980-07-09) (82 года)
Лугано , Швейцария
Национальность нидерландский язык
Альма-матер Амстердамский университет
Известен Алгебра
Гейтинга Арифметика Гейтинга
Вклад в интуиционизм
Научная карьера
Поля Математика
Учреждения Амстердамский университет
Докторант Лей Брауэр
Докторанты Энн Сьерп Трельстра
Дирк ван Дален

Аренд Хейтинг ( голландский:  [ˈɦɛi̯tɪŋ] ; 9 мая 1898 - 9 июля 1980) был голландским математиком и логиком .

биография

Гейтинг был учеником Луитцена Эгбертуса Яна Брауэра в Амстердамском университете и многое сделал для того, чтобы интуиционистская логика могла стать частью математической логики . Гейтинг дал первое формальное развитие интуиционистской логики, чтобы систематизировать способ Брауэра заниматься математикой. Включение имени Брауэра в интерпретацию Брауэра – Гейтинга – Колмогорова в значительной степени почетно, поскольку Брауэр в принципе выступал против формализации некоторых интуиционистских принципов (и даже назвал работу Гейтинга «бесплодным упражнением»).

В 1942 году он стал членом Королевской Нидерландской академии искусств и наук .

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

Избранные публикации

  • Гейтинг, А. (1930) Die formalen Regeln der intuitionistischen Logik. (Немецкий) 3 части, In: Sitzungsberichte der preußischen Akademie der Wissenschaften. физ.-математ. Klasse, 1930, 42–56, 57–71, 158–169.
  • Гейтинг, А. (1934) Mathematische Grundlagenforschung. Интуиционизм. Beweistheorie. Спрингер, Берлин.
  • Гейтинг, А. (1941) Untersuchungen der intuitionistische Algebra. (Немецкий) Verh. Nederl. Акад. Wetensch. Afd. Natuurk. Разд. 1. 18. нет. 2, 36 с.
  • Гейтинг А. (1956) Интуиционизм. Введение. Издательство Северной Голландии, Амстердам.
  • Гейтинг А. (1959) Аксиомы интуиционистской плоской аффинной геометрии. Аксиоматический метод. Особое внимание уделяется геометрии и физике. Материалы международного симпозиума, проведенного в Univ. of Calif., Berkeley, 26 декабря 1957 г. - 4 января 1958 г. (под редакцией Л. Хенкина, П. Суппеса и А. Тарски), стр. 160–173 Исследования в области логики и основ математики North-Holland Publishing Co. , Амстердам.
  • Гейтинг, А. (1962) Спустя тридцать лет. 1962 г. Логика, методология и философия науки (Proc. 1960 Internat. Congr.), Стр. 194–197 Stanford Univ. Press, Стэнфорд, Калифорния.
  • Гейтинг А. (1963) Аксиоматическая проективная геометрия. Bibliotheca Mathematica, Vol. V. Interscience Publishers John Wiley & Sons, Inc., Нью-Йорк; П. Нордхофф Н.В., Гронинген; Издательство Северной Голландии, Амстердам.
  • Гейтинг, А. (1966) Интуиционизм: Введение. Второе исправленное издание North-Holland Publishing Co., Амстердам.
  • Гейтинг, А. (1973) Обращение к профессору А. Робинсону. По случаю лекции в память о Брауэре, прочитанной профессором А. Робинсоном 26 апреля 1973 г., Nieuw Arch. Виск. (3) 21. С. 134–137.
  • Heyting, A. (1974) Mathematische Grundlagenforschung, Intuitionismus, Beweistheorie. (Немецкий) Перепечатка. Springer-Verlag, Берлин – Нью-Йорк.
  • Гейтинг А. (1980) Аксиоматическая проективная геометрия. Второе издание. Bibliotheca Mathematica [Библиотека математики], Научные публикации В. Вольтерс-Нордхофф, Лтд., Гронинген; Издательство Северной Голландии, Амстердам – Нью-Йорк.

Рекомендации

внешняя ссылка