Arend Heyting (Dutch: [ˈaːrənt ˈɦɛitɪŋ]; 9 May 1898 – 9 July 1980) was a Dutch mathematician and logician.

Heyting was a student of Luitzen Egbertus Jan Brouwer at the University of Amsterdam, and did much to put intuitionistic logic on a footing where it could become part of mathematical logic. Heyting gave the first formal development of intuitionistic logic in order to codify Brouwer's way of doing mathematics. The inclusion of Brouwer's name in the Brouwer–Heyting–Kolmogorov interpretation is largely honorific, as Brouwer was opposed in principle to the formalisation of certain intuitionistic principles (and went as far as calling Heyting's work a "sterile exercise").^[1]

In 1942 he became a member of the Royal Netherlands Academy of Arts and Sciences.^[2]

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

• Heyting, Arend (1930). "Die formalen Regeln der intuitionistischen Logik". Sitzungsberichte der preußischen Akademie der Wissenschaften, phys.-math. Klasse (in German): 42–56, 57–71, 158–169. OCLC 601568391.

• — (1934). Mathematische Grundlagenforschung. Intuitionismus. Beweistheorie (in German). Berlin: Springer.^[3]

• — (1941). "Untersuchungen der intuitionistischen Algebra". Verh. Nederl. Akad. Wetensch. Afd. Natuurk. Sect. 1 (in German). 18 (2): 36.

• — (1956). Intuitionism. An Introduction. Amsterdam: North-Holland Publishing Co.

• — (1959). "Axioms for intuitionistic plane affine geometry. The axiomatic method. With special reference to geometry and physics". In Henkin, L.; Suppes, P.; Tarski, A. (eds.). Proceedings of an International Symposium held at the Univ. of Calif., Berkeley, Dec. 26, 1957–Jan. 4, 1958. Studies in Logic and the Foundations of Mathematics. Amsterdam: North-Holland Publishing Co. pp. 160–173.

• — (1962). "After thirty years". In Nagel, E. (ed.). Logic, Methodology and Philosophy of Science (Proc. 1960 Internat. Congr.). Stanford, Calif.: Stanford Univ. Press. pp. 194–197.

• — (1963). Axiomatic projective geometry. Bibliotheca Mathematica. Vol. V. New York; Groningen; Amsterdam: Interscience Publishers John Wiley & Sons, Inc.; P. Noordhoff N.V.; North-Holland Publishing Co.

• — (1966). Intuitionism: An Introduction (Second revised ed.). Amsterdam: North-Holland Publishing Co.

• — (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: 134–137.

• — (1974). Mathematische Grundlagenforschung, Intuitionismus, Beweistheorie (in German) (Reprint ed.). Berlin–New York: Springer-Verlag.

• — (1980). Axiomatic projective geometry. Bibliotheca Mathematica. Vol. V (Second ed.). Groningen; Amsterdam–New York: Wolters-Noordhoff Scientific Publications, Ltd.; North-Holland Publishing Co.

• Church, Alonzo (1935). "Review: Mathematische Grundlagenforschung. Intuitionismus. Beweistheorie by A. Heyting". Bull. Amer. Math. Soc. (in German). 41: 476–477. doi:10.1090/S0002-9904-1935-06126-9.

• Digitaal Wetenschapshistorisch Centrum. "Arend Heyting (1898 – 1980)". Royal Netherlands Academy of Arts and Sciences. Retrieved 28 July 2015.

• Van Stigt, Walter P. (1990). Brouwer's Intuitionism. Amsterdam: North Holland.

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