1705580940
联邦调查局（FBI）传唤了他们，这三个间谍嫌疑犯被分别审讯。高等研究所的维布伦当了爱多士的担保人，其他同事则帮助斯通与角谷静夫澄清事实。警察在那天夜里释放了他们并向他们表示了歉意，但同时婉言指出整个事件是可以避免的。他们为什么没有注意到“禁止入内”的标记呢？
1705580941
1705580942
爱多士解释道：“你看，我在思考数学定理呢。”
1705580943
1705580944
作为一个日本公民，角谷静夫深感战时在美国工作十分困难，他的一篇文章曾被《杜克数学杂志》（Duke Mathematical Journal）退稿。原因是“作者是一个日本人，且并未表明他已跟日本政府划清界限”。对角谷静夫来说，日本政府对于将实数分解为哈默尔基（Hamel bases）这一事实大概不太可能会发表任何意见，或者即使发表了，也可能与美国大不相容。像爱多士一样，饱受思乡的折磨，惦记着病中的老母，角谷静夫于1942年登上一艘瑞士轮船返回日本。他后来又比较容易地回到美国，可能是长岛事件后，他已被FBI证明是清白的了。
1705580945
1705580946
没有得到他在匈牙利的朋友与家庭的命运的任何消息，爱多士只能做最坏的打算。1944年3月，德国占领了匈牙利，随即开始了系统灭绝匈牙利犹太人的暴行。艾希曼成为纳粹分子的首脑后，立即建立了犹太人定居点。在战争的最后一年里，几乎所有生活在布达佩斯之外的匈牙利犹太人都在奥斯威辛集中营被处死。而留在布达佩斯城内定居点的匈牙利犹太人则至少有一半幸存下来，其中很多人是由于瑞士外交官瓦伦贝格（Raoul Wallenberg）的调解而得救。
1705580947
1705580948
1945年，爱多士收到了他在罗马尼亚一个朋友的一份电报，告诉他，他的母亲还活在世上。这时爱多士最大的担忧终于解除了。几个月后，他直接收到了他母亲寄来的第一封信。
1705580949
1705580950
爱多士为他的母亲还活着而欣喜若狂，但又不能不为其余的家庭成员及朋友们在纳粹迫害下悲惨地死去而痛苦哀伤。五个姑妈与舅舅中的四个，以及唯一幸存的姑妈的丈夫均死于大屠杀。爱多士的无名氏小组中的两个亲密朋友格林瓦尔德与德若·拉扎尔（Deszo Lázár）亦死于纳粹的魔掌。KöMal杂志的编辑法拉戈（Andor Faragó）和他的儿子都遭到了同样的厄运。这份杂志将他们聚集在一起。曾教过爱多士图论的德奈什·柯尼希，在接到去集中营的命令后立即自杀了。直到1948年，在发表了40多篇论文之后，爱多士才重新回到了布达佩斯和他挚爱的母亲身边。
1705580951
1705580952
(1)塞尚（Paul Cezanne，1839—1906），法国印象派画家，对运用色彩有新的创造。——译者
1705580953
1705580954
(2)右列实际上是大仲马名著《三个火枪手》中三个火枪手的名字。——译者
1705580955
1705580956
(3)为了完全精确起见，必须注意避免一个小问题，这问题是由于例如.2499（有无穷多个9）和.2500（有无穷多个0）实际上是同一个数而引起。这问题可以这样来避免，即不要把任何数字变成9或0。——原注
1705580957
1705580958
(4)戈尔德温（Samuel Goldwyn，1879—1974），波兰裔犹太人，著名美国电影制作人和导演，代表作《黄金时代》获奥斯卡最佳影片奖。戈尔德温式语言指一些词语的怪诞用法，如“be included out”（=be not included in）之类。——译者
1705580959
1705580960
(5)罗素悖论的本质来自乡村理发师的著名谜题：一个小镇上，每一个人都要理发，理发师给每一个不能给自己理发的人理发，那么谁来给理发师理发呢？——原注
1705580961
1705580962
(6)保罗·梅森（Paul Masson，1859—1940），法国勃艮第区移民，美国加州葡萄种植先驱及“香槟之王”。——译者
1705580963
1705580964
1705580965
1705580966
1705580967
我的大脑敞开了：爱多士的数学之旅 [:1705579852]
1705580968
我的大脑敞开了：爱多士的数学之旅 第八章 保罗·爱多士博士的素数
1705580969
1705580970
战争开始后的一些年里，爱多士的论文涉及的学科在不断地增加。他认识卡茨时，对概率论了解甚少。但几年之后，他就变成了这个领域中的一个领袖专家。他撰写了组合数学、图论、几何与插值法方面的论文。插值法是关于用少数函数值来估计函数的学问。但爱多士的大部分论文仍献给了他的第一爱好——数学皇后数论。
1705580971
1705580972
当爱多士只有10岁时，他的父亲就曾将两相邻素数间的距离可以任意大这一事实证明给他看，爱多士对素数分布的无规则性感到惊讶。素数看来几乎是随机分布的，就像一片片绿洲分布在广大的复合数的沙漠中一样。它们不遵循任何已知的公式。寻找新素数是一件要用穷举查勘法来进行的艰苦工作，最好用国际电脑网络来完成。同时，如果个别素数可以被忽略，则素数总体服从一个简单而完美的定律，即所谓素数定理。
1705580973
1705580974
素数定理的证明在19世纪最后的几年里已告完成。这是数学的最高成就之一。在他还是一个年轻学生时，爱多士就学习了这一定理，但他并不觉得这个经典的证明十分令人满意。这一证明非常难懂，这本身并不构成问题。更严重的是这不是一个“初等”证明。对数学家而言，所谓“初等”与证明的难度无关，初等证明是指仅用经典数论及整数与实数的性质所做的证明。已知的素数定理证明都依赖于诸如连续函数及复数这样的概念。这些概念很难直观地与整数的性质相关联。爱多士甚至在少年时代就已感到难以接受这样的事实：写进天书的素数定理的证明竟然不能依赖于那些整数性质。待他长大后，爱多士告诉他的朋友说，他梦想有一天能给出很多人认为不可能做到的素数定理的一个真正初等证明。1948年，爱多士给出了这本天书中的初等证明，实现了他少年时的野心。这是他一生中最辉煌的成就之一，给他带来了荣誉与名声。同时，这一证明也使爱多士陷入了一生中唯一的一次论战旋涡。
1705580975
1705580976
编制出第一张素数表的人是厄拉多塞（Eratosthenes），他生活在公元前3世纪的希腊。不同于一个数一个数进行的烦琐检验，他发现了一个快捷地筛去大批数的聪明办法，即所谓的厄拉多塞筛法。例如你要构造一张不超过50的素数表。首先写出前50个整数如下：
1705580977
1705580978
1705580979
1705580980
1705580981
由定义，1不是素数，所以划掉1，2是一个素数，将它留下来。表中其他2的倍数都不是素数，所以都划掉：
1705580982
1705580983
1705580984
1705580985
1705580986
上表中，2以后第一个未被划去者为3，它必定是一个素数。保存它而将表中其他3的倍数都划掉：
1705580987
1705580988
1705580989