Heyting

Arend Heyting

Born: 9 May 1898 in Amsterdam, Netherlands
Died: 9 July 1980 in Lugano, Switzerland

Previous (Chronologically) Next     Biographies Index

Previous ( Alphabetically) Next          Welcome page
Arend Heyting was taught by Brouwer who had a large influence on his future work. He received his doctorate in 1925 under Brouwer's supervision and was appointed to Amsterdam in 1937.

Heyting formalised Brouwer's intuitionism, publishing on intuitionistic algebra in 1941 and intuitionistic Hilbert spaces in the 1950's.

His important books include Intuitionism and Proof Theory (1934) and Intuitionism: an Introduction (1956).

References:

  1. Dictionary of Scientific Biography
  2. A S Troelstra, Arend Heyting and his Contribution to Intuitionism, Nieuw archief voor wiskunde 29 (1981), 1-23.
  3. J Alcolea Banegas, Arend Heyting, Mathesis (México) 4 (1988), 189-220. 
Previous (Chronologically) Next     Biographies Index

Previous ( Alphabetically) Next          Welcome page

History Topics Index              Famous curves index

Chronologies                           Birthplace Map

Mathematicians of the day  Anniversaries for the year

Search Form   Simple Search Form   Search Suggestions
JOC/EFR February 1996