Arend Heyting
Dutch mathematician and logician (1898–1980) / From Wikipedia, the free encyclopedia
Dear Wikiwand AI, let's keep it short by simply answering these key questions:
Can you list the top facts and stats about Arend Heyting?
Summarize this article for a 10 year old
SHOW ALL QUESTIONS
Arend Heyting (Dutch: [ˈɦɛi̯tɪŋ]; 9 May 1898 – 9 July 1980) was a Dutch mathematician and logician.
Quick Facts Born, Died ...
Arend Heyting | |
---|---|
Born | (1898-05-09)9 May 1898 |
Died | 9 July 1980(1980-07-09) (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 |
Close