来自2006的帖子

库尔特·格德尔100岁生日

(这篇文章最初发表在NKS论坛

上周五(4月28日,2006年)是库尔特·格德尔100岁生日。我同意写一些关于它的东西在报纸上发表……报纸有两个缺点:(a)我不得不徳赢彩票游戏压缩我说的话,(b)它实际上没有做到……徳赢中国

仍然,我想论坛上的人可能会觉得我的草稿很有趣……所以就在这里。请认识到这不是为最终出版而进行的润色…


当库尔特·格德尔一百年前出生的时候,今天的数学领域似乎已经接近完整。两千年的发展刚刚被编成几个公理,从这一点看来,人们几乎可以机械地证明或反驳数学中的任何东西,也许可以延长一段时间,也学物理。

二十五年后事情进展迅速,当一个小型学术会议结束时,一位安静但雄心勃勃的维也纳圈新博士冒险说,他已经证明了一个定理,即整个计划最终肯定会失败。

从那以后的75年里,被称为g_del定理的东西被认为几乎是神秘的意义,为计算机革命播下了种子,同时,工作的数学家实际上忽视了这一点,认为这与更广泛的科学无关。

G_del定理背后的思想然而,还没走完他们的路。事实上,我相信,今天我们已经准备好迎接科学和技术的重大转变,其原则将是非常重要的。

格德尔的原作相当深奥。他采用了逻辑和算术的公理,然后问了一个看似矛盾的问题:你能证明“这个声明是不可证明的”吗?继续阅读

?斯vwin中国蒂芬·沃尔夫拉姆,有限责任公司 条款γ RSS