Arend Heyting

Arend Heyting

Arend Heyting (1967)
Born (1898-05-09)9 May 1898
Amsterdam, Netherlands
Died 9 July 1980(1980-07-09) (aged 82)
Lugano, Switzerland
Nationality Dutch
Fields Mathematics
Institutions University of Amsterdam
Alma mater University of Amsterdam
Doctoral advisor L. E. J. Brouwer
Doctoral students Jan Mooij
Anne Sjerp Troelstra
Dirk van Dalen

Arend Heyting (Dutch: [ˈɦɛi̯tɪŋ]; 9 May 1898 9 July 1980) was a Dutch mathematician and logician. He was a student of Luitzen Egbertus Jan Brouwer at the University of Amsterdam, and did much to put intuitionistic logic on a footing where it could become part of mathematical logic. Heyting gave the first formal development of intuitionistic logic in order to codify Brouwer's way of doing mathematics. The inclusion of Brouwer's name in the Brouwer–Heyting–Kolmogorov interpretation is largely honorific, as Brouwer was opposed in principle to the formalisation of certain intuitionistic principles (and went as far as calling Heyting's work a "sterile exercise").[1]

In 1942 he became member of the Royal Netherlands Academy of Arts and Sciences.[2]

Heyting was born in Amsterdam, Netherlands, and died in Lugano, Switzerland.

Selected publications

See also

References

  1. Walter P. van Stigt (1990). Brouwer's Intuitionism. Amsterdam: North Holland.
  2. "Arend Heyting (1898 - 1980)". Royal Netherlands Academy of Arts and Sciences. Retrieved 28 July 2015.

External links


This article is issued from Wikipedia - version of the Monday, February 08, 2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.