# Online Encyclopedia

# 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, 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

## External link

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