当前位置: 首页 >> 数学文化 >> 文章正文

闭门羹

哥德尔(Kurt Godel,1906-1978年)的举止以“新颖”和“古怪”著称,爱因斯坦是他要好的朋友,他们当时都在普林斯顿。他们经常在一起吃饭,聊着非数学话题, 常常是政治方面的。麦克阿瑟将军从朝鲜战场回来后,在麦迪逊大街举行隆重的庆祝游行。 第二天哥德尔吃饭时煞有介事地对爱因斯坦说,《纽约时报》封面上的人物不是麦克阿瑟, 而是一个骗子。证据是什么呢?哥德尔拿出麦克阿瑟以前的一张照片,又拿了一把尺子。他比较了两张照片中鼻子长度在脸上所占的比例,结果比例的确不同,证明完毕。
哥德尔一生花了很大精力想搞清楚连续统假设(CH)是否独立于选择公理(AC)。 在60年代早期,一个初出茅庐的年轻数学家柯恩(PaulJ.Cohen),与斯坦福大学的同事们聊天时扬言:他也许可以通过解决某个希尔伯特(Hilbert)问题或者证明CH独立于AC而一举成名。实话说,柯恩当时只是傅里叶分析方面的行家,对于逻辑和递归函数,他只摆弄过不长时间。柯恩果然去专攻逻辑了,大约用了一年的时间,真的证明了CH与AC独立。这项成果被认为是20世纪最伟大的智力成就之一,他因此获得菲尔兹奖(Fieids Medal,比自然科学界的诺贝尔奖还难获得)。柯恩的技术是“力迫”(forcing)法,现已成为现代逻辑的一种重要工具。

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

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

本文标题:闭门羹

本文地址:http://www.ziyo.org/archives/33.html

发布:小学数学资优网

发表评论