Statements (43)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:人物
gptkb:mathematician gptkb:philosopher gptkb:論理学者 |
| gptkbp:activePeriod |
20世紀
|
| gptkbp:awardReceived |
アメリカ国家科学賞
アルバート・アインシュタイン賞 |
| gptkbp:birthDate |
1906-04-28
|
| gptkbp:causeOfDeath |
拒食症
栄養失調 |
| gptkbp:friendOf |
gptkb:アルベルト・アインシュタイン
|
| 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 |
7
|
| https://www.w3.org/2000/01/rdf-schema#label |
クルト・ゲーデル
|