哥德尔

✍ dations ◷ 2025-08-28 07:40:52 #哥德尔
库尔特·弗雷德里希·哥德尔(德语: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)正好认识爱因斯坦并主持过爱因斯坦的入籍宣誓听证会。开始一切进展顺利,但是当福曼恰好问到哥德尔在美国是否可能产生像纳粹一样的独裁政权,哥德尔便开始对福曼解释起自己的发现。福曼理解了是什么情况,将哥德尔打断,继续问其他问题并按常规结束了听证。哥德尔的大部分手稿使用加贝尔斯贝格速记法写成。格言:“有些事实被认知为真,但不必然可证。”

相关

  • 膳食补充剂营养补充品,又称营养补充剂、膳食补充剂、营养剂、饮食补充剂、保健食品、健康食品等,是一种成分是从食物中萃取对人体有益的营养素(如氨基酸、微量元素、维生素、矿物质等)的补
  • DNA 序列核酸序列(英语:Nucleic acid sequence,亦称为核酸的一级结构)使用一串字母表示的真实的或者假设的携带基因信息的DNA分子的一级结构。每个字母代表一种核碱基,两个碱基形成一个碱
  • 头孢唑肟头孢唑肟(英文名Ceftizoxime)也称为“安保速灵”“安普西林”“头孢去甲噻肟”“去甲噻肟头孢菌素”或“去甲酰氧甲基唑肟头孢菌素”,是一种不经肠的第三代头孢菌素,常以头孢唑
  • 口臭口臭指人张开口时发出的臭味,普遍视为一个表面的病征。其起因可以有很多种,大多来自口腔的问题,例如蛀牙和牙周病,亦有可能因为扁桃腺结石,或因为吃了味浓的食物(如蒜头、洋葱、肉
  • 家猫猫(学名:Felis Catus或Felis silvestris catus),通常指家猫,为小型猫科动物。根据遗传学及考古学分析,人类驯养猫的纪录可追溯至10,000年前的肥沃月湾地区,古埃及人饲养猫的纪录可
  • 泼尼松17-hydroxy-17-(2-hydroxyacetyl)-10,13-dimethyl-7,8,9,10,12,13,14,15,16,17- decahydro-3泼尼松(英语:Prednisone),又名“去氢可的松”或“强的松”,它是一种口服的糖皮质激
  • 多多纳多多纳(多立克希腊语Δωδώνα, 爱奥尼亚希腊语:Δωδώνη, Dòdònè)是位于希腊西北部伊庇鲁斯的一个神谕处。虽然多多纳最早的铭文历史只能追溯至约公元前550-560年,但
  • 扶余-新罗语系朝鲜语系,或称朝鲜语族,又作韩语系、韩语族、高丽语系,是东亚地区的一个假定的语系,包括现代的韩国语、济州语,以及一些已经灭亡的语言。目前,朝鲜语系主要通行于朝鲜半岛以及满洲
  • 海德堡人海德堡人(学名:Homo heidelbergensis)是人属当中,一种已灭绝的物种,石器技术与属于直立人的阿舍利(Acheulean)石器相近。可能是欧洲尼安德特人的直接祖先。而海德堡人的祖先,则可能
  • 数学基础数学上,数学基础一词有时候用于数学的特定领域,例如数理逻辑,公理化集合论,证明论,模型论,和递归论(可计算性理论)。但是寻求数学的基础也是数学哲学的中心问题:在什么终极基础上命题