Statements (51)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:人物
gptkb:mathematician gptkb:philosopher 逻辑学家 |
gptkbp:birthDate |
1906-04-28
|
gptkbp:causeOfDeath |
精神疾病
营养不良 |
gptkbp:deathDate |
1978-01-14
|
gptkbp:doctoralAdvisor |
汉斯·哈恩
|
https://www.w3.org/2000/01/rdf-schema#label |
库尔特·哥德尔
|
gptkbp:placeOfDeath |
gptkb:美国新泽西州普林斯顿
|
gptkbp:religion |
gptkb:路德宗
|
gptkbp:spouse |
阿黛尔·内姆斯洛夫斯基
|
gptkbp:workInstitution |
gptkb:普林斯顿高等研究院
gptkb:维也纳大学 |
gptkbp:与 |
gptkb:阿尔伯特·爱因斯坦
gptkb:约翰·冯·诺伊曼 路德维希·维特根斯坦 卡尔·门格 阿隆佐·邱奇 |
gptkbp:中文名 |
gptkb:库尔特·哥德尔
|
gptkbp:主要成就 |
不完全性定理
哥德尔宇宙 哥德尔完备性定理 哥德尔数 集合论相对一致性证明 |
gptkbp:出生地 |
奥匈帝国布尔诺
|
gptkbp:国籍 |
gptkb:美国
gptkb:奥地利 |
gptkbp:宗派 |
维也纳学派
|
gptkbp:影响 |
哲学
计算机科学 数学基础研究 现代逻辑 |
gptkbp:母语 |
gptkb:德语
|
gptkbp:毕业院校 |
gptkb:维也纳大学
|
gptkbp:研究领域 |
哲学
数学基础 数理逻辑 递归论 集合论 |
gptkbp:英文名 |
gptkb:Kurt_Gödel
|
gptkbp:荣誉 |
gptkb:巴尔赞奖
gptkb:阿尔伯特·爱因斯坦奖 gptkb:国家科学奖章 美国国家科学院院士 美国哲学学会会员 美国文理科学院院士 西格玛·西格玛荣誉学会会员 |
gptkbp:bfsParent |
gptkb:维也纳大学
|
gptkbp:bfsLayer |
5
|