Arend Heyting

Arend Heyting (May 9, 1898 – July 9, 1980) was a Dutch mathematician and logician. He was a student of L.E.J. Brouwer at the Universiteit van Amsterdam, and did much to put intuitionistic logic on a footing where it could become part of mathematical logic. This project ran counter to some of the initial intentions of Brouwer, who termed Heyting's work a "sterile exercise".

He was born in Amsterdam, Netherlands, and died in Lugano, Switzerland.

See also

• Heyting algebra
• Heyting arithmetic

Selected publications

• 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 ber intuitionistische Algebra. (German)

Verh. Nederl. Akad. Wetensch. Afd. Natuurk. Sect. 1. 18. no. 2, 36 pp.

External links

• O'Connor, John J.; Robertson, Edmund F., "Arend Heyting", MacTutor History of Mathematics Archive, University of St Andrews
• Arend Heyting at the Mathematics Genealogy Project