本人兔年第六封电子邮信

trx

trx

【转自《科学时报》】            
                 美丽的素数  伟大的证明
   公元前3世纪，古希腊数学家欧几里得已经证明素数的数目是无穷的；2004年，陶哲轩和格林证明存在任意长的素数等差数列，他们的发现揭示了素数中存在的某种规律。
    在数学家的眼中，素数是美丽的。就像原子之于化学家、DNA之于遗传学家，素数是自然界中全部数的最基本的结构砖块。那么究竟什么是素数呢？也许任何一位小学三年级的学生都会清楚地回答这个问题：在正整数中，除了1以外，只能被自身和1整除的数就是素数，素数从2，3，5，7，11和17开始……
    美丽的素数
    1，2，3……是正整数，其他数字如负数、有理数则都是以正整数为基础定义出来的，所以，研究正整数的规律非常重要。因为任何一个整数均可表示为素数的乘积，而且这个表示是唯一的，所以，研究清楚素数的问题非常重要，但从素数中是很难得到一条定理的。
    公元前3世纪，古希腊数学家欧几里得已经证明素数的数目是无穷的。今天，陶哲轩和格林证明“存在任意长度的素数等差数列”，揭示了素数中存在的某种规律。
    什么是等差数列呢？这是一个古老的数学课题。一个数列从第二项起，从后项减去前项所得的差是一个相同的常数，则这个数列就被称为等差数列。比如，1，3，5是一组由三个数构成的等差数列，1，3，5，7则是由4个数构成的等差数列。
    用素数构成的等差数列被称为素数等差数列。比如从5开始，以12为间隔常数，就可以得到这样的序列：5，17，29，41，53，65……但对这个数列来说，只有前5个数是素数，因此，5，17，29，41，53是一个由5个素数构成的等差数列。因为65可以被5和13整除，不是素数，所以这个特定的素数等差数列不可能延展到6个数的长度。
    问题出现了：由其他素数构成的等差数列会更长吗？答案是肯定的。事实上，199，409，619，829，1039，1249，1459，1669，1879，2089就是间隔常数为210的10个素数构成的等差数列。
    而且，数学家们一直认为，由素数构成的等差数列可以任意长，这个猜想提出的时间太长，以至没有人知道这个问题最初是由谁提出来的。但是，在2004年前，没有数学家能证明它。
    永不消失的素数
    到目前为止，已知的素数等差数列的长度为23，即由23个素数构成的等差数列，而且这还是在当今最先进的计算机上找到的，这个数列的第一个数是56211383760397，数之间的间隔常数为44546738095860，最后一位数是56211383760397+44546738095860×22.
    根据上面的描述，一个比较清楚的事实是：随着自然数数值的增加，素数的分布变得越来越稀疏，要寻找这样的等差素数序列就越来越困难。但是，古希腊数学家知道素数是永远不会彻底消失的，自然界中有无穷多个素数。
    尽管在正整数中，素数看起来是以一种随机的方式出现的，但在19世纪末，法国数学家雅克。哈达玛达（Jacques Hadamard）和比利时数学家法勒布赛（Charles de la Vallee-Poussin ）证明：一种隐藏的规则存在于素数稀疏的背后。换言之，在看似混乱无序的素数数列中，一定存在某种规律。
    而存在任意长的素数等差数列则是素数性质中的另外一种规律。尽管数学家一直认为“存在任意长度的素数等差数列”，但到2004年前，还没有人能证明它的存在。
    有关这个问题的一个真正的进展出现在1939年，当时，荷兰数学家Johannes van der
corput证明：有无穷多个由3个素数构成的等差数列。那么，由4个素数构成的等差数列的数目是不是也无穷多呢？
    伟大的证明
    英国大数学家Atath Brown证明，由前面三个素数和后面不超过两个素数的乘积构成的4个数的等差数列有无穷多。
    1975年，匈牙利科学院的数学家施米列迪（Endre Szemeredi）证明了一个定理。如果简单地解释，这个定理的意思是在任何不会快速稀疏的整数子集中，肯定会有任意长度的等差数列。世界上只有极少数数学家能懂得这个证明，但施米列迪定理不适合于素数，因为，随着自然数的增加，素数的出现会突然变得稀疏。
    2002年，两位20多岁的数学家着手证明施米列迪定理在某种特定性质的素数子集中也成立，他们希望能证明：有无穷多个由4个素数构成的等差数列。为了证明这个问题，陶和格林用了两年多的时间分析证明施米列迪定理的4个完整证明的背后因素。
    陶哲轩说：“我们研究施米列迪定理并努力推进它，以便它能解决素数的问题。为了实现这个目标，我们借用这4个证明方法来建造一个施米列迪定理的扩展版。每次当格林和我陷入困境时，其中一个证明的思想总能解决我们的问题。”
    两年后，用了一个非常漂亮的方法，格林和陶哲轩解决了问题，但结果实在惊人。2004年4月18日，两人宣布：他们证明了“存在任意长度的素数等差数列”，也就是说，对于任意值K，存在K个成等差级数的素数。例如 K=3，有素数序列3， 5， 7 （每两个差2）……K=10，有素数序列 199， 409， 619， 829， 1039， 1249， 1459， 1669，
1879， 2089 （每两个差210）。他们将长达50页的论文——《素数含有任意长度的等差数列》——张贴在当日的预印本网站上，并向《美国数学年鉴》（Annals of Mathematics）投稿。
    这是一项惊人的成就，他们的发现揭示了素数中存在的某种规律。这是一项伟大的成就，他们的证明立即在国际学术界引起轰动。2004年5月21日出版的美国《科学》杂志报道说，“两位数学家用数论中一个令人眩晕的突破结束了一个问题。”
    《发现》杂志将陶哲轩和格林在素数方面的研究评选为2004年100项最重要的发现之一；2004年出版的《现代数论导引》已经引用这篇尚未正式发表的论文所涉及的工作。

trx

                      真情期盼！！！！！
   真情期盼本吧网友中的有识之士能以本主题帖中的任意长度的质数等差数列形成模式为主导，对“存在任意长度的质数等差数列”问题作精心再论，使这一长期以来都认为艰难异常的“惊天” 的数论问题变得浅显易懂，为人类数学科学的进步作一贡献吧！！

trx

trx

以往数学家给本人邮件的回复之一：

HXW-L

下面引用由trx在 2011/06/23 08:27am 发表的内容：
以往数学家给本人邮件的回复之一：

应该是：给数学家发了N次贴，只一个数学家给本人回贴一次!!!!!

trx

王世强教授究竟数学水平如何，敬请网友网上搜索！！

trx

点击《王世强》可得：
王世强，数学家。从事代数和数理逻辑方面的教学与研究。在格论和泛代数、逻辑演算、格值模型论及模型论的代数应用等领域多有建树。1948年毕业北平师范大学数学系。建国后，历任北京师范大学副教授、教授。1985年加入中国共产党。专于数理逻辑和代数，倡导模型论的研究。从计算机科学、多值逻辑和模糊逻辑发展背景中提出格值模型论，并将模型论应用于代数方面，研究一些命题间的相对和谐性和独立性。“模型论与判定问题”的研究1986年获国家教委科技进步奖一等奖。
学术贡献 总述
格论及泛代数方面
逻辑演算方面
格值模型论方面
模型论的代数应用之一
模型论的代数应用之二
模型论的代数应用之三
对国外一些重要独立性结果的介绍
人物年表
主要论著
任职
荣誉
杂志编委

trx

蠢货尚九天 ，你很想作的儿子，就必须首先依靠本人推荐！！}WUC0
因数学家王世强与本人关系很好，你不是明明看到，数学家王世强尊称本人为教授啊！！！

尚九天

下面引用由trx在 2011/06/26 08:59am 发表的内容：
蠢货尚九天 ，你很想作的儿子，就必须首先依靠本人推荐！！}WUC0
因数学家王世强与本人关系很好，你不是明明看到，数学家王世强尊称本人为教授啊！！！

:em05: 他看上你妈了，所以才跟你好。