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
• Heyting arithmetic

External link

1898 births | 1980 deaths | Dutch mathematicians

Arend Heyting | Arend Heyting