哥德尔

✍ dations ◷ 2025-06-27 18:44:57 #哥德尔
库尔特·弗雷德里希·哥德尔(德语:Kurt Friedrich Gödel,1906年4月28日-1978年1月14日),出生于奥匈帝国的数学家、逻辑学家和哲学家,维也纳学派(维也纳小组)的成员。哥德尔是二十世纪最伟大的逻辑学家之一,其最杰出的贡献是哥德尔不完备定理和连续统假设的相对协调性证明。哥德尔1906年出生于捷克的布尔诺(原奥匈帝国),毕业于维也纳大学,1940年移民美国,任职于普林斯顿高等研究院(IAS)直至1976年退休。1978年,哥德尔于新泽西州的普林斯顿市去世。哥德尔的数学天分极高。他在维也纳大学时本来修读理论物理和基础数学,后来又在汉斯·哈恩的指导下研习数理逻辑、集合论。二十四岁时,完成哥德尔完备性定理,并获得同校博士学位。但1940年代中就将注意力投放在哲学上。大学时,哥德尔曾参加石里克小组的聚会。1930年9月7日,他正式宣布其哥德尔不完备定理,引起当时重要数学家如冯·诺伊曼和希尔伯特等的重视。后来又钻研连续统假设,但未能完全解决该问题。哥德尔自幼多病,而且从小就患了强迫症(疑病症)。他还患过抑郁症。后来他在普林斯顿的医院绝食而死,因为他认为那些食物有毒。哥德尔是个要求严格的人。因此,他很多的想法在生前都没有正式发表甚至记录,要逝世后从其手稿找出。哥德尔不喜欢谈论自己或受到注目,亦讨厌旅行。哥德尔曾要求王浩在死后才可以发表一篇有关他的传记。他在学术研究之外的东西,都不公开发表意见。哥德尔的妻子 Adele Nimbursky 比哥德尔大六岁。哥德尔21岁两人认识时,Adele 已婚且在夜总会 Der Nachtfalter 工作。他们的婚姻遭到哥德尔家人反对,但有情人终成眷属,在1938年9月20日结婚。他们没有小孩。他和家人感情不坏,哥德尔去了美国后还常常跟他们书信,之后接他们到美国。但其家人似乎对他了解不深:读大学时,哥德尔的兄长研习医学,从其他人口中才知道他在数学方面颇有名气。在普林斯顿时,哥德尔和爱因斯坦成了很好的朋友。后人常将他们比较。哥德尔和爱因斯坦都在自己的范畴有极为重大的贡献,很聪明,有好奇心,直率。但爱因斯坦性格开朗外向,这点和哥德尔大相径庭。爱因斯坦的死对哥德尔的情绪有很大打击。虽然他的传记列出很多国家,他通常被视为奥地利人。他出生在奥匈帝国的布尔诺,在十二岁时成为捷克斯洛伐克公民,在二十三岁时成为奥地利公民。当希特勒吞并奥地利时,哥德尔自动成为德国人。第二次世界大战后,他再次成为奥地利公民,而且取得美国公民权利。1947年12月5日,爱因斯坦和奥斯卡·摩根斯特恩作为见证人陪同哥德尔参加美国公民权考试,哥德尔向他两人吐露自己发现了美国宪法中存在一个矛盾可以使一位美国公民成为独裁者。于是爱因斯坦和摩根斯特恩非常担心他们的朋友会因为自己行为让人捉摸不定而影响他申请公民权。移民法官飞利浦·福曼(英语:Phillip Forman)正好认识爱因斯坦并主持过爱因斯坦的入籍宣誓听证会。开始一切进展顺利,但是当福曼恰好问到哥德尔在美国是否可能产生像纳粹一样的独裁政权,哥德尔便开始对福曼解释起自己的发现。福曼理解了是什么情况,将哥德尔打断,继续问其他问题并按常规结束了听证。哥德尔的大部分手稿使用加贝尔斯贝格速记法写成。格言:“有些事实被认知为真,但不必然可证。”

相关

  • 运动医学运动医学(英文:Sports Medicine)为医学的一个分支,为复健医学的一个次专科,范畴为研究体适能、防止及处理与运动及体能锻炼相关的创伤。20世纪后期,运动医学才从医疗卫生中分门别
  • 衣壳衣壳是病毒的蛋白质外壳,又称为壳体。衣壳是由病毒衣壳蛋白亚基所形成的寡聚体。衣壳的作用是用于包裹病毒的遗传物质(核酸)。衣壳的类型大致是按它们的形态来分类的。不同的病
  • 弥漫性毒性甲状腺肿弥漫性毒性甲状腺肿(Toxic diffuse goiter),又称格里夫氏症(Graves' disease),为一种主要侵犯甲状腺的自身免疫性疾病。此病为导致甲状腺功能亢进症最常见的原因,且会导致甲状腺肿
  • L04A·B·C·D·G·H·QI·J·L·M·N·P·R·S·VATC代码L04(免疫抑制剂)是解剖学治疗学及化学分类系统的一个药物分组,这是由世界卫生组织药物统计方法整合中心(The WHO Collabor
  • 切尔诺贝利核事故切尔诺贝利核事故(俄语:Авария на Чернобыльской АЭС,乌克兰语:Чорнобильська катастрофа,英语:Chernobyl disaster),或简称切尔诺
  • 营养医学营养医学是一门比较新的学问,整合了医学及临床营养,研究营养素与疾病预防治疗的关连。营养医学补充品又被称为机能性食品(英语:Functional Foods)。
  • 瘟疫公司《瘟疫公司》(英语:Plague Inc.)是一款由Ndemic Creations独自开发,适用于iOS、Android和Windows Phone平台的战略游戏。玩家在游戏中需要将一种病毒传遍整个世界,然后将所有人消
  • Creative Commons Attribution 3.0 Unported知识共享许可协议(英语:Creative Commons license,或创用CC许可)是一种公共著作权许可协议(英语:Public copyright license),其允许分发受著作权保护的作品。一个创作共享许可用于一
  • 循证人体解剖学 - 人体生理学 组织学 - 胚胎学 人体寄生虫学 - 免疫学 病理学 - 病理生理学 细胞学 - 营养学 流行病学 - 药理学 - 毒理学实证医学(英语:Evidence-based medicine
  • I70–I99急性风湿热(I00-I09)高血压病(I10-I15)缺血性心脏病(I20-I25)肺原性心脏病和肺循环疾病(I26-I28)其他类型的心脏病(I30-I52)脑血管病(I60-I69)动脉、小动脉和毛细血管疾病(I70-I79)静脉、