Statements (43)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:人物
gptkb:mathematician gptkb:philosopher 論理学者 |
gptkbp:activePeriod |
20世紀
|
gptkbp:awardReceived |
アメリカ国家科学賞
アルバート・アインシュタイン賞 |
gptkbp:birthDate |
1906-04-28
|
gptkbp:causeOfDeath |
拒食症
栄養失調 |
gptkbp:friendOf |
gptkb:アルベルト・アインシュタイン
|
https://www.w3.org/2000/01/rdf-schema#label |
クルト・ゲーデル
|
gptkbp:religion |
gptkb:ルター派
|
gptkbp:spouse |
アデレ・ナウアウア
|
gptkbp:主な業績 |
ゲーデル数
不完全性定理 完全性定理 連続体仮説の独立性 集合論 |
gptkbp:出生地 |
オーストリア=ハンガリー帝国ブルノ
|
gptkbp:博士課程指導教員 |
ハンス・ハーン
|
gptkbp:国籍 |
gptkb:アメリカ合衆国
gptkb:オーストリア |
gptkbp:市民権取得年 |
1948年(アメリカ合衆国)
|
gptkbp:影响 |
gptkb:ジョン・フォン・ノイマン
gptkb:アラン・チューリング ルートヴィヒ・ウィトゲンシュタイン デイヴィッド・ヒルベルト |
gptkbp:死没地 |
アメリカ合衆国ニュージャージー州プリンストン
|
gptkbp:母校 |
ウィーン大学
|
gptkbp:没年月日 |
1978-01-14
|
gptkbp:研究领域 |
哲学
数学基礎論 数理論理学 計算理論 集合論 |
gptkbp:著作 |
『数論の公理化された形式体系における命題の不完全性について』
『集合論と連続体仮説』 |
gptkbp:语言 |
英語
ドイツ語 |
gptkbp:隶属于 |
gptkb:プリンストン高等研究所
|
gptkbp:bfsParent |
gptkb:アルベルト・アインシュタイン
|
gptkbp:bfsLayer |
4
|