Аренд Хейтинг: Голланд математигі мен логигі

Кіріспе

Нидерланд математигі және логигі (1898–1980)

ЖОҚ МАЗМҰН ТІЗІМІ

Аренд Хейтинг (9 мамыр 1898 – 9 шілде 1980) – нидерланд математигі және логигі.

Өмірбаян

Гейтинг Амстердам университетінде Луицен Эгберт Ян Браувердің шәкірті болды және интуиционистік логиканы математикалық логиканың құрамына енгізуге үлкен үлес қосты. Гейтинг Браувердің математика жасау жолын қатаңдау мақсатымен интуиционистік логиканы алғаш рет формалды түрде дамытты. Браувер–Хейтинг–Кольмогоров интерпретациясына Браувердің атын қосу көбінесе құрметпен байланысты, себебі Браувер кейбір интуиционистік принциптерді формалдауға қатысты қарсы болды (тіпті Хейтингтің жұмысын "сәндік жаттығу" деп атаған). 1942 жылы ол Нидерланды Корольдік өнер және ғылым академиясының мүшесі болды. Гейтинг Нидерландының Амстердам қаласында дүниеге келді және Швейцарияның Лугано қаласында қайтыс болды.

Таңдалған жарияланымдар

Хейтинг, А. (1930) Интуиционистік логиканың формальды ережелері. (Неміс тілінде) 3 бөлім, In: Sitzungsberichte der preußischen Akademie der Wissenschaften. физикалық-математикалық классы, 1930, 42–56, 57–71, 158–169. Хейтинг, А. (1934) Математикалық негіздерді зерттеу. Интуиционизм. Дәлелдеме теориясы. Springer, Берлин. Хейтинг, А. (1941) Интуиционистік алгебраны зерттеу. (Неміс тілінде) Verh. Nederl. Akad. Wetensch. Afd. Natuurk. Sect. 1. 18. № 2, 36 бет. Хейтинг, А. (1956) Интуиционизм. Кіріспе. North Holland Publishing Co., Амстердам. Хейтинг, А. (1959) Интуиционистік жазықтық аффинді геометрияның аксиомалары. Аксиоматикалық әдіс. Геометрия мен физикаға ерекше назар. Калифорния университетінде (Беркли) 1957 жылғы 26 желтоқсан – 1958 жылғы 4 қаңтарда өткен халықаралық симпозиум материалдары (Л. Хенкин, П. Суппес және А. Тарски редакторында) 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 N. V., Гронинген; North Holland Publishing Co., Амстердам. Хейтинг, А. (1966) Интуиционизм: кіріспе. Екінші қайта қаралып жаңартылған басылым. North Holland Publishing Co., Амстердам. Хейтинг, А. (1973) Профессор А. Робинсонға арналған сөз. 1973 жылғы 26 сәуірде профессор А. Робинсон оқыған Брауэрдің естелік лекциясымен байланысты. Nieuw Arch. Wisk. (3) 21, 134–137 беттер. Хейтинг, А. (1974) Mathematische Grundlagenforschung, Intuitionismus, Beweistheorie. (Неміс тілінде) Қайта басылым. Springer Verlag, Берлин–Нью-Йорк. Хейтинг, А. (1980) Аксиомалық проективті геометрия. Екінші басылым. Bibliotheca Mathematica [Математика кітапханасы], V том. Wolters Noordhoff Scientific Publications, Ltd., Гронинген; North Holland Publishing Co., Амстердам–Нью-Йорк.

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–56, 57 71, 158 169. Heyting, A. (1934) Mathematische Grundlagenforschung. Intuitionismus. Beweistheorie. Springer, Berlin. Heyting, A. (1941) Untersuchungen der intuitionistische Algebra. (German) Verh. Nederl. Akad. Wetensch. Afd. Natuurk. Sect. 1. 18. no. 2, 36 pp. Heyting, A. (1956) Intuitionism. An introduction. 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. (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. (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. (1966) Intuitionism: An introduction. Second revised edition North Holland Publishing Co., Amsterdam. Heyting, 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. (1974) Mathematische Grundlagenforschung, Intuitionismus, Beweistheorie. (German) Reprint. Springer Verlag, Berlin–New York. 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.