闭门羹

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

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

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