Arend Heyting (Dutch: [ˈaːrənt ˈɦɛitɪŋ]; 9 May 1898 – 9 July 1980) was a Dutch mathematician and logician.
Arend Heyting | |
---|---|
Born | Amsterdam, Netherlands | 9 May 1898
Died | 9 July 1980 Lugano, Switzerland | (aged 82)
Nationality | Dutch |
Alma mater | University of Amsterdam |
Known for | Heyting algebra Heyting arithmetic Heyting field Brouwer–Heyting–Kolmogorov interpretation Intuitionistic logic Contributions to intuitionism |
Scientific career | |
Fields | Mathematics |
Institutions | University of Amsterdam |
Doctoral advisor | L. E. J. Brouwer |
Doctoral students | Anne Sjerp Troelstra Dirk van Dalen |
Heyting 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 a member of the Royal Netherlands Academy of Arts and Sciences.[2]
Heyting was born in Amsterdam, Netherlands, and died in Lugano, Switzerland.