Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:00316777n
Noun Named Entity
Categories: 1898 births, University of Amsterdam alumni, Dutch logicians, Scientists from Amsterdam, European mathematician stubs
EN
Arend Heyting  A. Heyting  Heyting
EN
Arend Heyting was a Dutch mathematician and logician. Wikipedia
Definitions
Relations
Sources
EN
Arend Heyting was a Dutch mathematician and logician. Wikipedia
Dutch mathematician and logician Wikidata
IS A
homo
COUNTRY OF CITIZENSHIP
Kingdom of The Netherlands
DESCRIBED BY SOURCE
Obalky knih.cz
DOCTORAL ADVISOR
L. E. J. Brouwer
DOCTORAL STUDENT
Anne Sjerp Troelstra
Dirk van Dalen
Jan Johann Albinn Mooij
Bob van Rootselaar
EDUCATED AT
University of Amsterdam
EMPLOYER
CA
Liceu Stedelijk
FIELD OF WORK
mathematics
GIVEN NAME
Arend
LANGUAGES SPOKEN, WRITTEN OR SIGNED
Dutch
MEMBER OF
Royal Netherlands Academy of Arts and Sciences
NATIVE LANGUAGE
Dutch
NOTABLE WORK
Brouwer–Heyting–Kolmogorov interpretation
Heyting arithmetic
Heyting field
Heyting algebra
complete Heyting algebra
OCCUPATION
mathematician
professeur des universités
PLACE OF BIRTH
Amsterdam
PLACE OF DEATH
Lugano
SEX OR GENDER
male
STUDENT OF
Gerrit Mannoury
L. E. J. Brouwer
Wikipedia
EN
Arend Heyting
Wikidata
EN
Arend Heyting
Wikipedia Redirections
EN
A. Heyting, Arend heyting, Heyting
Wikidata Alias
EN
A. Heyting

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License