Аренд Хейтинг: Математик и логик-интуиционист

Аренд Хейтинг (1898-1980) – нидерландский математик и логик, ученик Брауэра. Разработал формальную интуиционистскую логику, внес вклад в математическую логику.

Введение

Аренд Хейтинг (; 9 мая 1898 – 9 июля 1980) – нидерландский математик и логик.

Биография

Хейтинг был учеником Луицена Эгбертуса Яна Брауэра в Амстердамском университете и внес значительный вклад в то, чтобы интуиционистская логика заняла место в математической логике. Хейтинг представил первое формальное развитие интуиционистской логики с целью кодификации подхода Брауэра к математике. Включение имени Брауэра в интерпретацию Брауэра — Хейтинга — Колмогорова носит преимущественно почётный характер, поскольку Брауэр принципиально возражал против формализации некоторых интуиционистских принципов (и даже назвал работу Хейтинга «бесплодным упражнением»). В 1942 году он был избран членом Королевской академии искусств и наук Нидерландов. Хейтинг родился в Амстердаме, Нидерланды, и умер в Лугано, Швейцария.

Избранные публикации

Хейтинг, А. (1930) Die formalen Regeln der intuitionistischen Logik. (немецкий) 3 части, In: Sitzungsberichte der preußischen Akademie der Wissenschaften. phys. math. Klasse, 1930, 42–56, 57–71, 158–169. Хейтинг, А. (1934) Mathematische Grundlagenforschung. Intuitionismus. Beweistheorie. Springer, Berlin. Хейтинг, А. (1941) Untersuchungen der intuitionistischen Algebra. (немецкий) Verh. Nederl. Akad. Wetensch. Afd. Natuurk. Sect. 1. 18. no. 2, 36 с. Хейтинг, А. (1956) Intuitionism. An introduction. North Holland Publishing Co., Amsterdam. Хейтинг, А. (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. Хейтинг, А. (1962) After thirty years. 1962 Logic, Methodology and Philosophy of Science (Proc. 1960 Internat. Congr.) pp. 194–197 Stanford Univ. Press, Stanford, Calif. Хейтинг, А. (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. Хейтинг, А. (1966) Intuitionism: An introduction. Second revised edition North Holland Publishing Co., Amsterdam. Хейтинг, А. (1973) Обращение к профессору А. Робинсону. По случаю мемориальной лекции Брауэра, прочитанной профессором А. Робинсоном 26 апреля 1973 года. Nieuw Arch. Wisk. (3) 21, с. 134–137. Хейтинг, А. (1974) Mathematische Grundlagenforschung, Intuitionismus, Beweistheorie. (немецкий) Переиздание. Springer Verlag, Berlin–New York. Хейтинг, А. (1980) Axiomatic projective geometry. Second edition. Bibliotheca Mathematica [Математическая библиотека], V. Wolters Noordhoff Scientific Publications, Ltd., Groningen; North Holland Publishing Co., Amsterdam–New York.

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.