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

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

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

推荐阅读：
7 Passive Income Ideas to Complement Your Blog　 Funny YouTuber Creates Device to Shoot Facemasks To Your Face　 YouTube’s New “Viewer Applause” Feature Provides Revenue for Blo　 Taiwanese Instagram Grandparents Prove Blogging and Social Media　 These Incredible Hologram Machines Could Change the Vlogging Gam　 Prepare All Keyboard Warriors: A TikTok and Twitter Merger is Ab　 Content Creation Platforms That Pay in Crypto　 How to be like Elon Musk: An Influencer CEO　 Your Simple Guide to Ultimate Technology Stack Every Blogger Nee　 Recursive Algorithm to Encrypte a String