Online Encyclopedia Search Tool

Your Online Encyclopedia


Online Encylopedia and Dictionary Research Site

Online Encyclopedia Free Search Online Encyclopedia Search    Online Encyclopedia Browse    welcome to our free dictionary for your research of every kind

Online Encyclopedia

Arend Heyting

Arend Heyting (May 9, 1898July 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