Arend Heyting
Arend Heyting (Dutch: [ˈɦɛi̯tɪŋ]; 9 May 1898 – 9 July 1980) was a Dutch mathematician and logician.
Arend Heyting | |
|---|---|
Arend Heyting (1967) | |
| Born | 9 May 1898 |
| 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 |
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.