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

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

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

Биография

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

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

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

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

• Хейтинг, А. (1930) Формальные правила интуиционистской логики. (немецкий) в 3 частях, В: Отчеты заседаний Прусской академии наук. физика-матем. Класс, 1930, 42–56, 57–71, 158–169.
• Хейтинг, А. (1934) Фундаментальные математические исследования. Интуиционизм. Теория доказательств. Шпрингер, Берлин.
• Хейтинг, А. (1941) Исследования по интуиционистской алгебре. (немецкий) Верх. Академик Ветенш. Ад. Естественно. Секта. 1. 18. № 2, 36 с.
• Хейтинг, А. (1956) Интуиционизм. Введение. Издательство Северной Голландии, Амстердам.
• Хейтинг, А. (1959) Аксиомы интуиционистской плоской аффинной геометрии. Аксиоматический метод. Особое внимание уделяется геометрии и физике. Материалы международного симпозиума, состоявшегося в Университете. Калифорнии, Беркли, 26 декабря 1957 г. – 4 января 1958 г. (под редакцией Л. Хенкина, П. Суппеса и А. Тарского), стр. 160–173. Исследования по логике и основам математики North-Holland Publishing Co. , Амстердам.
• Хейтинг, А. (1962) Спустя тридцать лет. 1962 Логика, методология и философия науки (Труды Международного конгресса 1960 г.), стр. 194–197 Стэнфордского университета. Пресс, Стэнфорд, Калифорния.
• Хейтинг, А. (1963) Аксиоматическая проективная геометрия. Библиотека Математика, Том. V. Издательство Interscience John Wiley & Sons, Inc., Нью-Йорк; П. Нордхофф Н.В., Гронинген; Издательство Северной Голландии, Амстердам.
• Хейтинг, А. (1966) Интуиционизм: введение. Второе исправленное издание North-Holland Publishing Co., Амстердам.
• Хейтинг, А. (1973) Обращение к профессору А. Робинсону. По случаю мемориальной лекции Брауэра, прочитанной профессором А.Робинсоном 26 апреля 1973 г. Nieuw Arch. Виск. (3) 21, стр. 134–137.
• Хейтинг, А. (1974) Фундаментальные математические исследования, интуиционизм, теория доказательств. (Немецкий) Перепечатка. Springer Verlag, Берлин – Нью-Йорк.
• Хейтинг, А. (1980) Аксиоматическая проективная геометрия. Второе издание. Bibliotheca Mathematica [Математическая библиотека], V. Wolters-Noordhoff Scientific Publications, Ltd., Гронинген; North-Holland Publishing Co., Амстердам – Нью-Йорк.

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

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