| |
闭门羹
哥德尔（Kurt Godel，1906－1978年）的举止以“新颖”和“古怪”著称，爱因斯坦是他要好的朋友，他们当时都在普林斯顿。他们经常在一起吃饭，聊着非数学话题，
常常是政治方面的。麦克阿瑟将军从朝鲜战场回来后，在麦迪逊大街举行隆重的庆祝游行。 第二天哥德尔吃饭时煞有介事地对爱因斯坦说，《纽约时报》封面上的人物不是麦克阿瑟，
而是一个骗子。证据是什么呢？哥德尔拿出麦克阿瑟以前的一张照片，又拿了一把尺子。他比较了两张照片中鼻子长度在脸上所占的比例。结果的确不同：证毕。
哥德尔一生花了很大精力想搞清楚连续统假设（CH）是否独立于选择公理（AC）。 在60年代早期，一个初出茅庐的年轻数学家柯恩（PaulJ．Cohen），与斯坦福大学的同事们聊天时扬言：他也许可以通过解决某个希尔伯特（Hilbert）问题或者证明CH独立于AC而一举成名。实话说，柯恩当时只是傅里叶分析方面的行家，对于逻辑和递归函数，他只摆弄过不长时间。柯恩果然去专攻逻辑了，大约用了一年的时间，真的证明了CH与AC独立。这项成果被认为是20世纪最伟大的智力成就之一，他因此获得菲尔兹奖（Fieids
Medal，比自然科学界的诺贝尔奖还难获得）。柯恩的技术是“力迫”（forcing）法，现已成为现代逻辑的一种重要工具。
当初的情形是：柯恩拿着证明手稿去高等研究院找哥德尔，请他核查证明是否有漏洞。
哥德尔起初自然很怀疑，因为柯恩早已不是第一个向他声明解决了这一难题的人了。在哥德尔眼里，柯恩根本就不是逻辑学家。柯恩找到哥德尔家，敲了门。门只开了6英寸的一道缝，一支冷冰冰的手伸出来接过手稿，随后门“砰”地关上了。柯恩很尴尬，悻悻而去。
不过，两大后，哥德尔特别邀请柯恩来家里喝茶。柯恩的证明是对的：大师已经认可了。
|
不可微—不吃饭
闭门羹
维纳的故事
富勒烯
哈代的失算
比上帝还挑剔的人
“无理数”的由来
数学王国的巾帼英雄
函数小史
一个永恒运动的世界
哈代的汽车号码
卡尔丹诺公式的由来
上帝也在责怪我狂妄自大
勒布朗先生
数学家的墓志铭
未卜先知的韦达
监狱里的数学研究
对数简史
决定了泊松一生的数学趣题
灯泡的容积
古书之谜
在时代的迷雾中
鲁莽的外国人
能力的代价
在米太旁登遇难
善的数和恶的数
海边监狱
几何与阿波罗
曲线
两个阿基米德
阿基米德和王冠
最后的一刹那
圆锥曲线
我们周围的圆锥曲线
代数援助几何
一个士兵幸运的机缘
伟大的发明
坐标世界
笔尖上的星球
笛卡尔在海盗船上
如果你想当一个数学家
需要巨人的时代
伽罗华
火热的年代
|
|
