Back ارند هيتينج ARZ آرند هیتینق AZB Arend Heyting Catalan Arend Heyting German Arend Heyting Spanish آرند هیتینگ Persian Arend Heyting French Arend Heyting Italian アレン・ハイティング Japanese 아런트 헤이팅 Korean
Arend Heyting | |
|---|---|
.jpg) 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 |
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