Arend Heyting
Arend Heyting | |
|---|---|
Arend Heyting (1967) | |
| Born | 9 May 1898 Amsterdam, Netherlands |
| Died | 9 July 1980 (aged 82) Lugano, Switzerland |
| 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: [ˈaːrənt ˈɦɛitɪŋ]; 9 May 1898 – 9 July 1980) was a Dutch mathematician and logician.