Arend Heyting (May 9, 1898 – July 9, 1980) was a Dutch mathematician and logician. He was a student of L. E. J. Brouwer, and did much to put intuitionistic logic on a footing where it could become part of mathematical logic (which in a definite sense ran counter to some of the initial intentions of its founder).

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

See also

• Heyting algebra

External link

• "Arend Heyting" in The MacTutor History of Mathematics Archive http://www-gap.dcs.st-and.ac.uk/~history/Mathematicians/Heyting.html