Аренд Гейтінг
| Аренд Гейтінг | |
|---|---|
| Arend Heyting | |
.jpg) | |
| Народився |
9 травня 1898[1][2][…] Амстердам, Нідерланди[1] |
| Помер |
9 липня 1980[1][2][…] (82 роки) Лугано, Тічино, Швейцарія[1][4] |
| Країна |
 Нідерланди |
| Національність | Голландець |
| Діяльність | математик, викладач університету |
| Alma mater | Амстердамський університет |
| Галузь | Математика, Логіка |
| Заклад | Амстердамський університет |
| Науковий керівник | Лейтзен Егберт Ян Брауер |
| Вчителі | Gerrit Mannouryd[2] і Лейтзен Егберт Ян Брауер[5] |
| Аспіранти, докторанти |
Anne Sjerp Troelstrad[6] Дірк ван Даленd[7] Christopher G. Gibsond[8] Bob van Rootselaard[8] Jan Johann Albinn Mooijd[8] J. J. W. Berghuysd[8] Jacobus Gerhardus Dijkmand[8] Gerard Willem Decnopd[8] Ashvini Kumard[8] |
| Членство | Нідерландська королівська академія наук |
| Відомий завдяки: | Інтуїціонистська логіка, Алгебра Гейтінга |
 Висловлювання у Вікіцитатах Аренд Гейтінг у Вікісховищі | |
Аренд Гейтінг (нід. Arend Heyting, [ɦɛitɪŋ]; 9 травня 1898 — † 9 липня 1980) — голландський математик та логік. Він був студентом університету Амстердама, і багато зробив, щоб покласти початок інтуїціоністській логіці на основі якої вона могла б стати частиною математичної логіки. Гейтінг дав перший офіційний розвиток інтуїціоністській логіці для того, щоб кодифікувати спосіб Брауэра розв'язувати математику. Включення імені Брауера в інтерпретації Брауера-Гейтинга-Колмогорова[en] значною мірою почесне, тому Брауер був в принципі проти формалізації деяких інтуїціоністських принципів (і пішов так далеко, ніби викликав роботу Гейтінга «стерильні вправи»).[9]
Біографія[ред. | ред. код]
Аренд Гейтінг народився 8 травня в Амстердамі, Нідерланди. Ще студентом Амстердамського університету стає учнем і послідовником Л. Е. Я. Брауеера, який почав розробку програми побудови математики на інтуїціоністській основі. Гейтінг був першим ученим, який примкнув до нового напрямку. У 1922 Гейтінг дає інтуїціоністське трактування аксіоматиці проективної геометрії (тема запропонована Брауером), в 1925 захищає на цій основі докторські тези і публікує дві статті в «Mathematishe Annalen». З 1927 Гейтинг — професор Амстердамського університету. Відповідаючи запропонованій Г. Маннурі конкурсній темі, вчений публікує три статті по формалізації інтуїціоністської математики (інтуїционістського числення висловів та предикатів). Брауер високо оцінив цю роботу. В 1934 Гейтінг пише огляд з основ математики. У ньому він виробляє нині широко відоме трактування логічних операторів. У 1941 Гейтінг привернув питання інтуїціоністської аксіоматики алгебри. Він розробляє інтуїционістську теорію Гільбертових просторів. Але головне поле діяльності-роз'яснення математичного світу концепцій інтуїционізма. У 1956 виходить його книга «Введення в інтуїціонізм» — ясний і витончений виклад предмета для широкого кола. Саме завдяки Гейтінгу інтуіціонізм знайшов нових прихильників серед математиків. Помер Аренд Гейтінг в Лугано, Швейцарія.
Див. також[ред. | ред. код]
Обрані видання[ред. | ред. код]
- Heyting, A. (1956) Intuitionism. An introduction. North-Holland Publishing Co., Amsterdam.
- Heyting, A. (1974) Mathematische Grundlagenforschung, Intuitionismus, Beweistheorie. (German) Reprint. Springer-Verlag, Berlin-New York.
- Heijting, A. (1973) Address to Professor A. Robinson. At the occasion of the Brouwer memorial lecture given by Prof. A.Robinson on the 26th April 1973. Nieuw Arch. Wisk. (3) 21, pp. 134–137.
- Heyting, A. (1966) Intuitionism: An introduction. Second revised edition North-Holland Publishing Co., Amsterdam.
- Heyting, A. (1962) After thirty years. 1962 Logic, Methodology and Philosophy of Science (Proc. 1960 Internat. Congr.) pp. 194–197 Stanford Univ. Press, Stanford, Calif.
- Heyting, A. (1980) Axiomatic projective geometry. Second edition. Bibliotheca Mathematica [Mathematics Library], V. Wolters-Noordhoff Scientific Publications, Ltd., Groningen; North-Holland Publishing Co., Amsterdam-New York.
- Heyting, A. (1963) Axiomatic projective geometry. Bibliotheca Mathematica, Vol. V. Interscience Publishers John Wiley & Sons, Inc., New York; P. Noordhoff N.V., Groningen; North-Holland Publishing Co., Amsterdam.
- Heyting, A. (1959) Axioms for intuitionistic plane affine geometry. The axiomatic method. With special reference to geometry and physics. Proceedings of an International Symposium held at the Univ. of Calif., Berkeley, Dec. 26, 1957-Jan 4, 1958 (edited by L. Henkin, P. Suppes and A. Tarski) pp. 160–173 Studies in Logic and the Foundations of Mathematics North-Holland Publishing Co., Amsterdam.
- Heyting, A. (1941) Untersuchungen der intuitionistische Algebra. (German) Verh. Nederl. Akad. Wetensch. Afd. Natuurk. Sect. 1. 18. no. 2, 36 pp.
- Heyting, A. (1930) Die formalen Regeln der intuitionistischen Logik. (German) 3 parts, In: Sitzungsberichte der preußischen Akademie der Wissenschaften. phys.-math. Klasse, 1930, 42-65, 57-71, 158–169.
Посилання[ред. | ред. код]
- Нова філософська енциклопедія [Архівовано 10 квітня 2015 у Wayback Machine.]
- Біографія Аренда Гейтінга [Архівовано 30 червня 2009 у Wayback Machine.]
- Аренд Гейтінг — summery [Архівовано 27 травня 2015 у Wayback Machine.]
- Джон Дж. О'Коннор та Едмунд Ф. Робертсон. Аренд Гейтінг в архіві MacTutor (англ.)
- Аренд Гейтінг(англ.) в проєкті «Математична генеалогія».
Примітки[ред. | ред. код]
- ↑ а б в г Deutsche Nationalbibliothek Record #1027693091 // Gemeinsame Normdatei — 2012—2016.
- ↑ а б в г Архів історії математики Мактьютор — 1994.
- ↑ а б SNAC — 2010.
- ↑ Album Academicum — 2007.
- ↑ а б Stanford Encyclopedia of Philosophy — Stanford University, Center for the Study of Language & Information, 1995. — ISSN 1095-5054
- ↑ Математичний генеалогічний проєкт — 1997.
- ↑ Математичний генеалогічний проєкт — 1997.
- ↑ а б в г д е ж Математичний генеалогічний проєкт — 1997.
- ↑ Walter P. van Stigt (1990). Brouwer's Intuitionism. Amsterdam: North Holland.
|
