Science 版 (精华区)

发信人: zjliu (Robusting), 信区: Science
标  题: Godel轶事
发信站: 哈工大紫丁香 (Thu Jan  2 18:50:34 2003) , 转信

 

  ●哥德尔（Kurt Godel，1906－1978年）的举止以“新颖”和“古怪”著称，爱因
斯坦是他要好的朋友，他们当时都在普林斯顿。他们经常在一起吃饭，聊着非数学话题，

常常是政治方面的。麦克阿瑟将军从朝鲜战场回来后，在麦迪逊大街举行隆重的庆祝游
行。第二天哥德尔吃饭时煞有介事地对爱因斯坦说，《纽约时报》封面上的人物不是麦
克阿瑟，而是一个骗子。证据是什么呢？哥德尔拿出麦克阿瑟以前的一张照片，又拿了
一把尺子。他比较了两张照片中鼻子长度在脸上所占的比例。结果的确不同：证毕。

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

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

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




--

※ 来源:．哈工大紫丁香 http://bbs.hit.edu.cn [FROM: 202.118.229.86]