第五百零七章 埃尔德什的素数定理的初等证明（2/2）

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

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

探员说：“这根华罗庚有什么关系？”

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

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

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

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

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

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

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