Голландский математик и логик (1898–1980).
Аренд Хейтинг ( голландский: [ˈɦɛi̯tɪŋ] ; 9 мая 1898 — 9 июля 1980) — голландский математик и логик .
биография
Хейтинг был студентом Луицена Эгбертуса Яна Брауэра в Амстердамском университете и многое сделал для того, чтобы поставить интуиционистскую логику на такую основу, на которой она могла стать частью математической логики . Хейтинг дал первое формальное развитие интуиционистской логики, чтобы систематизировать подход Брауэра к математике. Включение имени Брауэра в интерпретацию Брауэра-Хейтинга-Колмогорова во многом почетно, поскольку Брауэр был в принципе против формализации некоторых интуиционистских принципов (и дошел до того, что назвал работу Хейтинга «бесплодным упражнением»). [1]
В 1942 году он стал членом Королевской Нидерландской академии искусств и наук . [2]
Хейтинг родился в Амстердаме , Нидерланды , и умер в Лугано , Швейцария .
Избранные публикации
- Хейтинг, А. (1930) Die formalen Regeln der intuitionistischen Logik. (Немецкий) 3 части, В: Sitzungsberichte der preußischen Akademie der Wissenschaften. физ.-мат. Класс, 1930, 42–56, 57–71, 158–169.
- Хейтинг, А. (1934) Mathematische Grundlagenforschung. Интуиционизм. Beweistheorie. Шпрингер, Берлин. [3]
- Хейтинг, А. (1941) Untersuchungen der intuitionistische Algebra. (немецкий) Верх. Недерл. Акад. Ветенш. Ад. Натуурк. Секта. 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) Mathematische Grundlagenforschung, Intuitionismus, Beweistheorie. (Немецкий) Перепечатка. Шпрингер-Верлаг, Берлин – Нью-Йорк.
- Хейтинг, А. (1980) Аксиоматическая проективная геометрия. Второе издание. Bibliotheca Mathematica [Математическая библиотека], V. Wolters-Noordhoff Scientific Publications, Ltd., Гронинген; North-Holland Publishing Co., Амстердам – Нью-Йорк.
Рекомендации
- ^ Уолтер П. ван Стигт (1990). Интуитивизм Брауэра . Амстердам: Северная Голландия.
- ^ "Аренд Хейтинг (1898-1980)" . Королевская Нидерландская академия искусств и наук . Проверено 28 июля 2015 г.
- ^ Черч, Алонсо (1935). «Обзор: Mathematische Grundlagenforschung. Intuitionismus. Beweistheorie А. Хейтинга». Бык. амер. Математика. Соц . 41 : 476–477. дои : 10.1090/S0002-9904-1935-06126-9 .
Внешние ссылки