Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:00316777n
Noun Named Entity
Categories: オランダの論理学者, オランダの数学者, 1898年生, アムステルダム大学の教員, アムステルダム出身の人物
JA
アレン・ハイティング  Arend Heyting
JA
アレン・ハイティング（Arend Heyting、1898年5月9日 - 1980年7月9日）は、オランダの数学者、論理学者。 Wikipedia
Definitions
Relations
Sources
JA
アレン・ハイティング（Arend Heyting、1898年5月9日 - 1980年7月9日）は、オランダの数学者、論理学者。 Wikipedia
IS A
人間
COUNTRY OF CITIZENSHIP
オランダ王国
DESCRIBED BY SOURCE
Obalky knih.cz
DOCTORAL ADVISOR
ライツェン・エヒベルトゥス・ヤン・ブラウワー
DOCTORAL STUDENT
EN
Anne Sjerp Troelstra
Dirk van Dalen
EN
Jan Johann Albinn Mooij
EN
Bob van Rootselaar
EDUCATED AT
アムステルダム大学
EMPLOYER
CA
Liceu Stedelijk
FIELD OF WORK
数学
GIVEN NAME
Arend
LANGUAGES SPOKEN, WRITTEN OR SIGNED
オランダ語
MEMBER OF
オランダ王立芸術科学アカデミー
NATIVE LANGUAGE
オランダ語
NOTABLE WORK
BHK解釈
ハイティング算術
EN
Heyting field
ハイティング代数
完備ハイティング代数
OCCUPATION
数学者
大学教員
PLACE OF BIRTH
アムステルダム
PLACE OF DEATH
ルガーノ
SEX OR GENDER
男性
STUDENT OF
EN
Gerrit Mannoury
ライツェン・エヒベルトゥス・ヤン・ブラウワー
BabelNet
JA
Arend Heyting
Wikipedia
JA
アレン・ハイティング
Wikidata
JA
アレン・ハイティング

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