哥德尔(Kurt Godel19061978年)的举止以“新颖”和“古怪”著称,爱因斯坦是他要好的朋友,他们当时都在普林斯顿。他们经常在一起吃饭,聊着非数学话题,常常是政治方面的。麦克阿瑟将军从朝鲜战场回来后,在麦迪逊大街举行隆重的庆祝游行。第二天哥德尔吃饭时煞有介事地对爱因斯坦说,《纽约时报》封面上的人物不是麦克阿瑟,而是一个骗子。证据是什么呢?哥德尔拿出麦克阿瑟以前的一张照片,又拿了一把尺子。他比较了两张照片中鼻子长度在脸上所占的比例。结果的确不同:证毕。

哥德尔一生花了很大精力想搞清楚连续统假设(CH)是否独立于选择 公理(AC)。 60年代早期,一个初出茅庐的年轻数学家柯恩(PaulJCohen),与斯坦福大学的同事们聊天时扬言:他也许可以通过解决某个希尔伯特(Hilbert)问题或者证明CH独立于AC而一举成名。实话说,柯恩当时只是傅里叶分析方面的行家,对于逻辑和递归函数,他只摆弄过不长时间。柯恩果然去专攻逻辑了,大约用了一年的时间,真的证明了CHAC独立。这项成果被认为是20世纪最伟大的智力成就之一,他因此获得菲尔兹奖(Fieids Medal,比自然科学界的诺贝尔奖还难获得)。柯恩的技术是“力迫”(forcing)法,现已成为现代逻辑的一种 重要工具。    

当初的情形是:柯恩拿着证明手稿去高等研究院找哥德尔,请他核查 证明是否有漏洞。     

哥德尔起初自然很怀疑,因为柯恩早已不是第一个向他声明解决了这一难题的人了。在哥德尔眼里,柯恩根本就不是逻辑学家。柯恩找到哥德尔家,敲了门。门只开了6英寸的一道缝,一支冷冰冰的手伸出来接过手 稿,随后门“砰”地关上了。柯恩很尴尬,悻悻而去。不过,两大后,哥德尔特别邀请柯恩来家里喝茶。柯恩的证明是对的:大师已经认可了。




设为首页 | 收藏本站 | 留言反馈 | 人才招聘 | 联系我们         广州华夏职业学院公共基础部版权所有 Copyright © 2012-2016  ICP备案号:粤ICP备12042111号