1705580225
20世纪，数学家们发明了一些快速计算机算法来检验一个梅森数是不是素数。直到最近，寻找大梅森素数的工作常常是由一些工程师做的，这些工程师希望用他们的超速计算机来进行一次彻底的探索。但1996年沃尔特曼发布的“大型因特网梅森素数搜索”（GIMPS）程序，推翻了超级计算机的优越地位。全世界有数以千计的计算机迷下载了沃尔特曼的程序，并保存了一个检验梅森素数的程序模块。所有这些功能不强的桌上计算机联合起来发挥的威力，竟超过了速度最快的超级计算机，而其中有许多是为了沃尔特曼的GIMPS计划而从垃圾堆里捡回来的过时机型。不久GIMPS计划就旗开得胜，算出了一个有420 921位数字的素数。一年后GIMPS计划又取得了另一项成果。世界各地更多的计算机迷开始自愿贡献他们的业余计算机时间。多亏圣何塞的一位软件开发经理斯科特·库罗夫斯基（Scott Kurowski）编写的一个聪明的程序，寻找梅森素数变成了全自动过程。任何人只要有PC机就可以下载这个程序，让它在屏幕上安静地运行，使无数本来会被浪费的计算机空闲时间得到了有效利用。罗兰·克拉克森，这个以记忆π数字为业余爱好的小伙子，成为4 000多名参与者中幸运的赢家，他的计算机为他在数学史上争得了一席之地。但克拉克森知道他在那里不可能久留。寻找最大素数是永无尽头的，原因很简单：根本就不存在最大素数。素数的个数是无限的。
1705580226
1705580227
关于素数无限性的证明，可以在数学乃至所有科学领域中迄今最有影响的著作之一欧几里得《几何原本》中找到。在欧几里得以前，数学只是一堆表面上自明的命题以及可以运用逻辑从中导出的推论。虽然进步很大，结果丰富，但这种方法的特殊性质掩盖了不同结果之间的关系，使进一步发展变得困难。
1705580228
1705580229
欧几里得对这座库房进行了彻底的清理。他从定义一些基本对象出发，例如点、线、面等。他接着写下了一组涉及这些对象之间关系的命题，他认为这些命题是如此显而易见，对它们不需要证明。例如，一条这样的公理是说：如果两个对象分别与同一个对象相等，那么它们彼此相等。这命题似乎既明显，又不能归结为更简单的真理。如果说素数是算术的原子，那么公理就是推理的原子。从这些公理出发，运用简单的逻辑法则，欧几里得指出大量希腊人已知的几何与算术真理可以获得证明。
1705580230
1705580231
两千多年来，欧几里得的数学知识一直被认为是良好教育的重要组成部分。托马斯·霍布斯(2)由于某种原因直到40岁时才开始注意《原本》，但他一读这本著作，便备感惊讶。约翰·奥布里(3)记述了这个偶然发生的故事，他写道：一天，“在一间绅士图书馆里，他打开了欧几里得《原本》，翻到第1卷命题47［毕达哥拉斯定理］，读了命题后他说：‘上帝啊！这是不可能的。’于是便去读该命题的证明，这使他回溯到他已经读过的一个命题。该命题又使他回溯到另一个读过的命题。如此反复，最后他终于相信这定理是真理。这使他爱上了几何学”。戴维·赫伯特·唐纳德（David Herbert Donald）则描述过亚伯拉罕·林肯的一个故事：“林肯像他的大多数同时代人一样，相信思维能力像肌肉一样，也可以通过严格的锻炼而得到加强……他设法搞到了一本欧几里得的《几何原本》并下决心亲自证明其中的一些定理和问题。1860年他不无自豪地报告说他曾研究并基本掌握了欧几里得《原本》的前六卷。”
1705580232
1705580233
伯特兰·罗素（Bertrand Russell）回忆他11岁时初次接触欧几里得著作的情形，认为这是“我一生中最重大的事件之一，就像初恋一样令人陶醉。我不能想象世上还会有其他更甜美的东西。从那一刻起，直到我38岁，数学始终是我的主要兴趣和我的欢愉的重要源泉”。
1705580234
1705580235
当保罗·爱多士的父亲给他讲解欧几里得关于素数无限性的证明时，他比罗素还小1岁。这使他终身为之着迷。这个证明，可以说是整个数学中最优美的证明之一，当然肯定是属于“天书”的证明之一。欧几里得的方法类似于毕达哥拉斯用来证明2的平方根是无理数的方法。他首先假设与他想要证明的命题相反的结论，然后看这会将他引向何处。换句话说，欧几里得假设存在一个最大的素数，记之为PN（如果使用PN这样的未知量使你感到不舒服，假想最大的素数是7或11，或其他某个小素数，这会帮助你澄清逻辑思路）。如果这一假设导致矛盾，那么逻辑结论必然是假设不对：不存在最大素数。
1705580236
1705580237
证明的第一步是将所有的素数相乘而得到一个大数：
1705580238
1705580239
A=2×3×5×7×11×……×PN
1705580240
1705580241
A显然可以被每一个素数整除，这正是我们构造它的原则。现在将A加上1，然后考察所得的结果数，我们记之为P：
1705580242
1705580243
P=A+1=（2×3×5×7×11×……×PN）+1
1705580244
1705580245
P或者是素数，或者不是素数，二者必居其一。如果P是我们得到的素数，由于P显然大于PN，这与假设PN是最大的素数相矛盾。
1705580246
1705580247
每个整数要么是素数，要么是素数的乘积。因此如果P不是素数的话它必能被某个素数整除。用2，3，5，7或其他任何一个不大于PN的素数除P（P=A+1），余数显然为1，这是因为A作为所有这些素数的乘积必然能被它们中任一个整除。于是如果P不是素数，它必定能被大于Pn的一个素数整除。但是我们已经假定没有这样的素数，因此假设P不是素数同样导致矛盾。所以不存在最大的素数，素数的个数是无限的。
1705580248
1705580249
如果你不厌其烦地读了上述证明（我希望你确实读了），你可能会感到它真是步步为营。欧几里得的传家宝之一就是精练紧凑的数学推理。总得费时间琢磨分析，没有人能一目十行地阅读数学。即使对那些最流利的“演说者”来说，它也始终是一门外语。爱德华·罗斯坦曾简述原先由普林斯顿老一辈哲学家保罗·贝纳塞拉夫（Paul Benaceraf）提出的这样一个疑难：“如果数学知识超越时空，那么从深居时空之中的地球王国怎样才能得到它呢？”人类的大脑生而能做简单的算术和几何，其余则是后天的发明与创造。数学语言与方法在某种意义上是武装地球智慧生命使之能遨游数学知识宇宙的技术，其难以驾驭是不足为奇的。
1705580250
1705580251
爱多士的父亲在使他相信素数有无限多之后，接着又向他展示了另一个漂亮的证明，这不仅促使他终身迷上了素数，而且激发了他后来的一些最著名的结果。父亲问道，两个相邻素数的间隔可以有多远？因为所有大于2的素数都是奇数（2必须刨去，因为按定义，素数就是能被1和其自身整除的数），所以两个大于2的相邻素数之差必定是一个偶数（可用某些小的素数来检验）。这个偶数能有多大呢？爱多士的父亲告诉他说可以找出任意长的整数区间，其中完全没有素数。
1705580252
1705580253
例如，你想找出100个连续的合数（即非素数）。首先将从1到101所有的整数相乘，即1×2×3×…×101。数学家们称这个数为101阶乘，并记之为101！，这里惊叹号既是标准记号，同时也提示阶乘很可能是大得惊人的数字。101！就是一个有160位数字的数，约等于9.4×10159。与101！有关的一个有用的事实是：它是从1到101每一个整数的倍数。因为101！是2的倍数，它加上2所得的数也是2的倍数；101！是3的倍数，它加上3所得的数也是3的倍数。依次类推直至101。于是，从101！+2到101！+101这100个数中没有一个是素数。这种方法——数学家称之为构造方法——可以用来发现任意长的合整数区间。你想要1 000个相继的合数吗？很简单，从1 001！+2开始，到1 001！+1 001为止。不过请不要劳神把这些数写出来，因为它们都是2 568位长的数！
1705580254
1705580255
素数却又可以互相非常靠近。像素数29和31，中间只隔了一个数，这样一对素数被称为孪生素数。一个著名的未决问题是：是否有无限多对孪生素数？目前已知最大的孪生素数是1994年借助于超级计算机发现的，这是一对4 932位长的数——697 053 813×216352±1。“很清楚是有无限多对孪生素数，但我想在最近的将来没有人能证明这一结果。”每当讲解数学难题时，爱多士总喜欢这样说，孪生素数猜想回绝了所有证明它的尝试，大多数数学家认为这样一个证明绝不会很快出现。
1705580256
1705580257
综上所述，一方面素数之间可以相隔任意远，另一方面孪生素数又可能有无限多，这足以说明素数分布是多么不可捉摸！没有任何神奇的公式可以确切地告诉你哪些数是素数，哪些数不是素数。判别一个数是不是素数唯一可靠的办法是费力地用比它小的每个素数逐个相除。(4)高斯曾宣称，判定一个数是素数还是合数的问题是“算术中最重要也是最有用的问题之一……这门科学自身的尊严要求我们探索一切可能的方法来解决这个如此优美、如此著名的问题”。
1705580258
1705580259
从父亲那儿听来的这些关于素数的证明与猜想，在年仅10岁的保罗·爱多士心中激起了对素数及其分布的终身迷恋，这将引出20世纪最优美、最出人意料的一些数学结果。第一个这样的结果7年后就问世了。然而，父亲的课程最重要的结果是使保罗意识到自己将会成为一名数学家，虽然他同样迷恋天上的星星，并认为自己也可能成为一名天文学家。
1705580260
1705580261
在11岁时，爱多士才第一次进了学校，上的是塔瓦茨梅泽街预科学校六年级。不管严格的课堂纪律使他独立的心智忍受了怎样的压抑，爱多士仍然竭力争取在班上名列前茅。他唯一没能得到A的科目是绘画，他这门课的成绩是B。“学习对我来说并不是一件难事。”他后来回忆说。他最喜欢的课是历史，并且终身保持了这种兴趣。
1705580262
1705580263
对爱多士来说，数学不仅仅是学校的一门课程。爱多士进入预科学校的那一年，也是他开始注目《中学数学杂志》（Középiskolai Mathematikai Lapok）之日，这份杂志简称KöMal，是一位来自杰尔（Györ）、名叫丹尼尔·阿拉尼（Dániel Arany）的杰出而年轻的中学数学教师在1894年创办的。正如阿拉尼所说，这份杂志的目的是要“为教师和学生提供一本丰富的习题集”。三年后该杂志由拉斯洛·拉茨接办，拉茨当时是11岁的冯·诺伊曼和12岁的尤金·魏格纳的“神奇”老师。在拉茨指导下，KöMal由一份只比数学习题集层次稍高的刊物发展成了一块非常成功的培育数学人才的园地。
1705580264
1705580265
每个月的KöMal都要刊登当时一些著名数学家和数学教育家的文章。但是除了这些有趣的文章，真正有吸引力的是那些竞赛题。在收到每月一期的KöMal后，全匈牙利有才华的数学学生就会忙碌起来，尽其所能对这些设计得很高明、并且在难度上按不同年龄分组的问题做出最漂亮的解答。答题人将他们的解答寄回KöMal，那里有一个志愿审查组给这些答卷评分。最好的解答将在KöMal上发表，这是一种可能激发了爱多士对数学“天书”的幻想的实践。到每年年底，各轮解题竞赛优胜者的照片将刊登出来。多年以后，爱多士的一位解题伙伴马尔塔·斯韦德（Marta Svéd）回忆说：“解题是最主要的事。回报是，如果作为一名勤奋的解题者，你的照片出现在年底的杂志上，你会感到仿佛登上了世界之巅。”这种方法使全匈牙利的天才学生变得相互知名，并认为自己已开始成为数学家，成为数学界的一部分。诺贝尔经济学奖得主约翰·豪尔绍尼（John Harsanyi），物理学家拉斯洛·蒂萨（László Tisza）和费伦茨·梅泽伊（Ferenc Mezei），以及数学家乔治·波利亚（George Polya）和加布里埃尔·塞戈（Gabriel Szegö）等杰出的科学家，早年都是KöMal解题竞赛的优胜者。
1705580266
1705580267
在爱多士拿起KöMal 40年之后，另一位神童，爱多士的门生拉斯洛·洛瓦斯（Lászlo Lovász）第一次看到了这份杂志。“真是一见钟情。”洛瓦斯回忆说。这位八年级学生捡起的这期KöMal包含有当时已成为世界著名数学家但还继续给KöMal投稿的保罗·爱多士的一篇文章。“这篇文章我至少读了20遍，”洛瓦斯在KöMal 100周年纪念专刊上写道，“当我明白我能够理解伟大的数学家在想些什么时，我感到无比惊喜和激动。”洛瓦斯对KöMal的热爱为这杂志的许多读者所共享。当乔治·塞凯赖什（George Szekeres）在二战期间被迫逃离匈牙利时，曾想方设法随身携带着他收藏的笨重的过刊合订本，它跟着他从新加坡辗转到澳大利亚，至今仍在他的书架上占据着一席风光之地。
1705580268
1705580269
爱多士多产的数学生涯可以说正是从他在KöMal上发表题解开始的，最早的一篇出现在1926年12月。爱多士与另一位当时尚未谋面的学生保罗·图兰（Paul Turán）是仅有的两位能解出某道难题的人，这样就产生了爱多士在与他人的长期合作生涯中第一篇联合发表的作品。图兰后来成为爱多士最亲密的朋友和最重要的合作者之一。1926年爱多士的照片第一次出现在优胜解题者之中。这张照片也是他在公共汽车月票上反复使用的。照片中的爱多士身着开领衬衣，双目直视相机，面无笑容，非常严肃。他看起来比其他优胜者年龄要小，而大多数优胜者则衣冠整齐，衣领上浆，还系着领结，不过表情同样严肃。在这一年所有的优胜者中只有一位女性，这位留一头短发的年轻女子名叫埃丝特·克莱因（Esther Klein），她后来也成为爱多士的终身好友，并为他最重要和最有影响的论文之一提供了启示。
1705580270
1705580271
爱多士在塔瓦茨梅泽学校待了两年，接着回家自学了一年，然后为了结束高中阶段的学习，他又进了圣·伊斯万预科学校，他父亲是这所中学的数学和物理教师。1920年，随着匈牙利公社的垮台以及《特里亚农条约》导致的匈牙利分裂，反犹主义甚嚣尘上，一个所谓的“名额控制法”将大学中犹太人的入学率限制在录取总数的6%。犹太大学生越来越感到惶惑不安。“我12岁时就知道我迟早得离开匈牙利，因为我是一个犹太人。”爱多士后来这样说。不过在此之前，尽管有“名额控制法”和暴力反犹活动，爱多士从圣伊斯万学校毕业后还是进了布达佩斯科学大学。
1705580272
1705580273
在大学里爱多士很快就成为10余名青年数学家的中心人物。这些人中的大多数他过去只是通过KöMal上模糊的照片得知，现在才与他们当面结识，今后伴随他一生的数学讨论与数学友谊从此开始。同学们之间的讨论很快就越出课堂，来到大街上，佩斯城内咖啡馆里，或是在布达市区美丽葱郁的山丘之间的漫步，他们学会了不用纸和笔研究数学。然而，他们最喜欢的还是在布达佩斯城市公园内一座雕像下的聚会。
1705580274
[
上一页 ]
[ :1.705580225e+09 ]
[
下一页 ]