书城现实数学大帝
57676100000356

第356章 埃尔德什的素数定理的初等证明

漫漫人生路,徘徊在边缘。

话少人不理,话多还嫌烦。

白日无知己,夜深难睡眠。

他乡无安处,燥热最难当。

心中有怀疑,人生但无常。

FBI一个探员找到了保罗·埃尔得什说:“我们调查过一个信件,你是不是跟中国的一个数学家保持通信状态。”

埃尔得什说:“是的,他是华罗庚,我问了他一些问题。”

探员说:“我们怀疑,你跟他国人私通,作出危害我国人的事情。”

埃尔得什说:“我可以把信件给你看看,我哪里会这么做?”

探员说:“我看过了,很多东西看不懂,我怀疑是加密内容。”

埃尔得什愤怒的说:“因为看不懂,你就怀疑我作出不好的事情。那是因为你的数学不好,看不懂公式而已,不是什么加密的内容。”

探员说:“你知道他国对我们都危险吗?选择在这个时候频繁通信,你是什么居心?我们从现在的处境中无法判断你到底还要作出什么事情来。”

埃尔得什说:“我现在要研究的问题,只有华罗庚具备相关知识,能为我解答一些东西。你看不懂,就认为我是加密通信,危害国家机密。你们难道没有人能研究出来,信件中文字是否具备危害国家的一种特殊的分析方法吗?你们这些人花纳税人的钱,就不愿意多动脑子?”

探员说:“那你在分析什么问题?”

埃尔得什说:“素数知道吗?”

探员说:“还说没有通敌?素数就是跟加密有关系的东西。”

埃尔得什说:“你听我说完。素数定理是不超过某个数的素数个数的定理。素数定理有些初等证明只需用数论的方法。这是我跟挪威数学家阿特利·西尔伯格合作得出。在此之前一些数学家不相信能找出不需借助艰深数学的初等证明。像英国数学家哈代便说过素数定理必须以复分析证明,显出定理结果的深度。他认为只用到实数不足以解决某些问题,必须引进复数来解决。这是凭感觉说出来的,觉得一些方法比别的更高等也更厉害,而素数定理的初等证明动摇了这论调。Selberg-艾狄胥的证明正好表示,看似初等的组合数学,威力也可以很大。但是,有必要指出的是,虽然该初等证明只用到初等的办法,其难度甚至要比用到复分析的证明远为困难。”

探员说:“这根华罗庚有什么关系?”

埃尔得什说:“有些定理只有华罗庚掌握了,我是向他请教问题的。”

探员听得有些蒙,也不再审问埃尔得什说:“为什么使用坚深的数学证明,要用简单的初等方法?初等方法也很复杂。”

埃尔得什对探员说:“很多数学家原来不信,而现在初等方法有了效果,说明是可以的。同时数学中很多问题能化成初等方法也是很重要的。”

探员说:“我还是懂点数学的,为什么要多此一举。”

埃尔得什说:“因为数学要发展到现在,会涉及到自动化证明方法,而自动化证明方法,会用逻辑方法来证明,而这个本质就是把问题变成初等数学的过程。”

探员说:“看来数学里的东西还是不少。但是你还是要求被我国驱逐出境了,毕竟很多人都盯上你了,这也是未来我们安全而言的。我们担心你会泄漏我们国家的机密。这是麦卡锡本人说的。”

埃尔得什说:“我不在意了,反正我也没有牵挂,只要有数学,我去哪里都一样。”