Arend Heyting
From Wikipedia, the free encyclopedia
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. This project ran counter to some of the initial intentions of its founder, who termed Heyting's work a 'sterile exercise'.[1]
He was born in Amsterdam, Netherlands, and died in Lugano, Switzerland.
[edit] See also
[edit] References
- ^ Walter P. van Stigt (1990). Brouwer's Intuitionism. Amsterdam: North Holland.
[edit] External links
- O'Connor, John J. & Robertson, Edmund F., “Arend Heyting”, MacTutor History of Mathematics archive
 |
This article about a mathematician is a stub. You can help Wikipedia by expanding it. |
