クルト・ゲーデル

GPTKB entity

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