Arend Heyting | |
---|---|
![]() Arend Heyting (1967) | |
Born | |
Died | 9 July 1980 | (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 |
Arend Heyting (Dutch: [ˈɦɛi̯tɪŋ]; 9 May 1898 – 9 July 1980) was a Dutch mathematician and logician.
© MMXXIII Rich X Search. We shall prevail. All rights reserved. Rich X Search