Аренд Гейтинг
Аренд Гейтинг | |
|---|---|
.jpg/1280px-Arend_Heyting_(1967).jpg) Аренда Гейтинг (1967) | |
| Рожденный | ( 1898-05-09 )9 мая 1898 г. Амстердам , Нидерланды |
| Умер | 9 июля 1980 г. (1980-07-09)(82 года) Лугано , Швейцария |
| Национальность | Голландский |
| Альма-матер | Амстердамский университет |
| Известный | Алгебра Гейтинга Арифметика Гейтинга Поле Гейтинга Интерпретация Брауэра–Гейтинга–Колмогорова Интуиционистская логика Вклад в интуиционизм |
| Научная карьера | |
| Поля | Математика |
| Учреждения | Амстердамский университет |
| научный руководитель | ЛЭЙ Брауэр |
| Докторанты | Анн Сьерп Трульстра, Дирк ван Дален |
.jpg){kind=link}
Аренд Гейтинг ( голланд. Arend Heyting ; 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) Интуитивизм. Введение. North-Holland Publishing Co., Амстердам.
- Гейтинг, А. (1959) Аксиомы для интуиционистской плоской аффинной геометрии. Аксиоматический метод. С особым упором на геометрию и физику. Труды Международного симпозиума, состоявшегося в Калифорнийском университете в Беркли, 26 декабря 1957 г. – 4 января 1958 г. (под редакцией Л. Хенкина, П. Суппеса и А. Тарского) стр. 160–173 Исследования по логике и основаниям математики North-Holland Publishing Co., Амстердам.
- Гейтинг, А. (1962) Тридцать лет спустя. 1962 Логика, методология и философия науки (Труды Международного конгресса 1960 г.) стр. 194–197 Stanford Univ. Press, Стэнфорд, Калифорния.
- Гейтинг, А. (1963) Аксиоматическая проективная геометрия. Bibliotheca Mathematica, т. V. Interscience Publishers John Wiley & Sons, Inc., Нью-Йорк; P. Noordhoff NV, Гронинген; North-Holland Publishing Co., Амстердам.
- Гейтинг, А. (1966) Интуиционизм: Введение. Второе переработанное издание North-Holland Publishing Co., Амстердам.
- Гейтинг, А. (1973) Обращение к профессору А. Робинсону. По случаю лекции памяти Брауэра, прочитанной профессором А. Робинсоном 26 апреля 1973 г. Nieuw Arch. Wisk. (3) 21, стр. 134–137.
- Хейтинг, А. (1974) Mathematische Grundlagenforschung, Intuitionismus, Beweistheorie. (Немецкий) Перепечатка. Шпрингер-Верлаг, Берлин – Нью-Йорк.
- Гейтинг, А. (1980) Аксиоматическая проективная геометрия. Второе издание. Bibliotheca Mathematica [Математическая библиотека], V. Wolters-Noordhoff Scientific Publications, Ltd., Гронинген; North-Holland Publishing Co., Амстердам–Нью-Йорк.
Ссылки
- ^ Уолтер П. ван Стигт (1990). Интуитивизм Брауэра . Амстердам: Северная Голландия.
- ^ "Arend Heyting (1898 - 1980)". Королевская Нидерландская академия искусств и наук . Получено 28 июля 2015 г.
- ^ Черч, Алонсо (1935). «Обзор: Mathematische Grundlagenforschung. Intuitionismus. Beweistheorie А. Хейтинга». Бык. амер. Математика. Соц . 41 : 476–477. дои : 10.1090/S0002-9904-1935-06126-9 .
Внешние ссылки
- О'Коннор, Джон Дж.; Робертсон, Эдмунд Ф. , «Аренд Гейтинг», Архив истории математики Мактьютора , Университет Сент-Эндрюс
   | Эта статья о голландском ученом — заглушка . Вы можете помочь Википедии, дополнив ее. |
 | Эта статья о европейском математике — заглушка . Вы можете помочь Википедии, расширив ее. |
