Аренд Хейтинг

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

Аренд Хейтинг (голландский: ; 9 мая 1898 г. - 9 июля 1980 г.) был голландцем математиком и логиком.

Биография

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

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

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

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

• Heyting, A. (1930) Die formalen Regeln der intuitionistischen Logik. (Немецкий) 3 части, In: Sitzungsberichte der preußischen Akademie der Wissenschaften. физ.-математ. Klasse, 1930, 42–56, 57–71, 158–169.
• Heyting, A. (1934) Mathematische Grundlagenforschung. Интуиционизм. Beweistheorie. Springer, Berlin.
• Heyting, A. (1941) Untersuchungen der intuitionistische Algebra. (Немецкий) Verh. Nederl. Акад. Wetensch. Afd. Natuurk. Разд. 1. 18. нет. 2, 36 с.
• Гейтинг А. (1956) Интуиционизм. Введение. North-Holland Publishing Co., Амстердам.
• Гейтинг, А. (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, Стэнфорд, Калифорния.
• Heyting, A. (1963) Аксиоматическая проективная геометрия. Bibliotheca Mathematica, Vol. V. Interscience Publishers John Wiley Sons, Inc., Нью-Йорк; П. Нордхофф Н.В., Гронинген; North-Holland Publishing Co., Амстердам.
• Гейтинг, А. (1966) Интуиционизм: введение. Второе исправленное издание North-Holland Publishing Co., Амстердам.
• Гейтинг, А. (1973) Обращение к профессору А. Робинсону. По случаю лекции в память о Брауэре, прочитанной профессором А. Робинсоном 26 апреля 1973 г., Nieuw Arch. Виск. (3) 21, pp. 134–137.
• Heyting, A. (1974) Mathematische Grundlagenforschung, Intuitionismus, Beweistheorie. (Немецкий) Перепечатка. Springer-Verlag, Берлин – Нью-Йорк.
• Гейтинг, А. (1980) Аксиоматическая проективная геометрия. Второе издание. Bibliotheca Mathematica [Библиотека математики], Научные публикации В. Вольтерс-Нордхофф, Лтд., Гронинген; North-Holland Publishing Co., Амстердам – Нью-Йорк.

Ссылки

Внешние ссылки

• О'Коннор, Джон Дж. ; Робертсон, Эдмунд Ф., «Аренд Хейтинг», Архив истории математики MacTutor, Университет Сент-Эндрюс.

.