Аренд Хейтинг - Arend Heyting
Аренд Хейтинг | |
---|---|
Аренд Хейтинг (1967)
| |
Родившийся |
|
9 мая 1898 г.
Умер | 9 июля 1980 г. |
(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 [Библиотека математики], Научные публикации В. Вольтерс-Нордхофф, Лтд., Гронинген; Издательство Северной Голландии, Амстердам – Нью-Йорк.
Рекомендации
внешняя ссылка
- О'Коннор, Джон Дж .; Робертсон, Эдмунд Ф. , "Аренд Хейтинг" , архив истории математики MacTutor , Университет Сент-Эндрюс .
Эта статья о голландском ученом - незавершенная . Вы можете помочь Википедии, расширив ее . |
Эта статья о европейском математике - незавершенная . Вы можете помочь Википедии, расширив ее . |