前沿科技创业的驱动者

历史上的今天 > 1906年4月28日,哥德尔诞辰

Goedel-Kurt_01

  哥德尔诞辰(Kurt F. Gödel, 1906-1978)

  自从十九世纪中期,黎曼等人推翻了两千多年来颠扑不破的平行公设后,数学家们明白不能再凭直觉接受所谓不证自明的公设或定理,决心从地基开始,重新打造完美无瑕的数学体系。希尔伯特在一九二〇年代提出的「希尔伯特计划」明白地订出目标:用严格的形式化语言表达所有数学陈述,并能满足完备性与一致性。

  所谓完备性就是指系统内的合法陈述都能被证明真伪,而一致性则是要求这个系统不能推导出互相矛盾的结论。这不是应有的基本要求吗?是没错,在有限度的范围内或许没问题,但是要确保一个完整的体系完全满足这两个条件可不容易,如前面所说,不能再任意定出一些公设,必须小心翼翼地确定每一步都在坚实的水泥地上;所以罗素与怀海德才会花了十年的时间只完成《数学原理》的前三册,而其中光证明1+1=2就花了362页!

  即使困难,大家仍乐观地努力追寻这个圣杯,就像希尔伯特1930年退休时发表演说的结语词:「我们必须知道,我们将会知道!」

  不料,就在第二年,25岁的年轻奥地利数学家哥德尔发表了一篇石破天惊的论文。他证明了任何一个足够强的公设系统不可能同时具有一致性与完备性,也就是具有一致性的系统必定存在无法证明真伪的陈述;而且这个系统无法证明本身的一致性(只能从系统外部证明它没自相矛盾)。

  这个「哥德尔不完备定理」摧毁了数学界与哲学界的一贯信念,正式宣判圣杯只是幻影,任何努力只是徒劳,大家可以散矣!冯·纽曼闻之当下即叹:「一切都结束了。」

  哥德尔因此跻身大师之列,却始终孤僻沉默。二次大战爆发后,他也逃离德国,来到普林斯顿研究所,与大他27岁、个性大相径庭的爱因斯坦成为挚友,常可看见两人一起散步校园的身影。爱因斯坦晚年曾说自己的工作没啥意思,进研究室就只为了有荣幸同哥德尔一起散步回家。而哥德尔竟也研究起物理,还得出广义相对论中一个允许时间旅行回到过去的解。

  哥德尔晚年得了严重的妄想症,老怀疑别人要毒害他,只肯吃妻子亲手作的食物。但她于1977年中病倒住院后,哥德尔就只吃简单的食物,拒绝朋友的探访。等到被强迫送到医院时,体重仅剩30公斤,最后于1978年1月14日因营养不良而器官衰竭过世。堪称亚里斯多德以降最伟大的逻辑学家,就这么孤独地与世长辞。

分享到:

相关推荐

  • Use R

    R语言中的t检验丨数析学院

    问题 在R中,我们如何检验从总体中抽样得到的两组样本是否有不同的均值,或是通过总体中的某一组样本检验总体均值与某一理论均值间的差异。 指南 示例数据 我们选择内置的sleep数据集作为示例数据。 接下来,我们将sleep数据集处理为宽数据;在之前发布的教程中,我们曾谈到过数据集长宽转换的方法...

  • 466565322506816195

    SME助力|深圳&广州 TOP互联网公司遵循的数据驱动法则沙龙

    每一个互联网人员都应当接触的数据应用前沿实战案例: -如何对每个用户的行为轨迹了如指掌? -如何快速发现客户流失在哪一步? -如何精准划分用户群体,轻松实现千人千面精准营销? -窥视BAT如何利用用户画像平台实现商业变现。 -直击TOP互联网公司如何通过数据分析驱动产品改进与运营...

  • 1473063343626113

    鼓励!鼓励!狗狗只能听懂赞美的话

      内容摘要 主人都会觉得自己的宠物聪明,能理解自己的话和情绪。最新研究发现表明,人与狗之间交流时,词汇和语气很重要。研究还指出,狗可以识别大约1000多个词汇。   下次再表扬宠物时,使用一些它们懂得的积极词汇或是词组,再用表扬的语气对宠物说。最新研究发现...

  • 1476328757463781

    酷!首个“太空国家”成立 想加入吗?

      内容摘要 从今以后,地球上又多了一个“国家”——“太空国家”。这支团队的领导者是航空国际研究中心的创立者Igor Ashurbeyli,项目旨在利用最先进科学技术创造一个保护全人类的屏障,阻挡来自太空的人为或自然的威胁。   据英国《每日邮报》报道,世界上首个“太空国家”成...

  • 504389984211516935

    肯尼迪航天中心SpaceX发生爆炸,马斯克遭遇人生的危机时刻

    爆炸现场 就在美国东部时间9月1日上午9点07分(北京时间9月1日晚9点07分),一枚SpaceX 公司“猎鹰9”号火箭在发射台上爆炸。爆炸完全摧毁了火箭和其运载物。 据来自肯尼迪航天中心的消息,爆炸发生在40号发射场,该发射场原计划将与本周六发射SpaceX公司载有卫星和国际空间站补给品的火箭。 40号发...

评论 抢沙发

  • 昵称 (必填)
  • 邮箱 (必填)
  • 网址

SME 前沿科技创业的驱动者