由于李明智拿在手里的这些写有各式各样数学公式的打印纸并不是一篇完整的论证哥德巴赫猜想的论文,而是一篇哥德巴赫猜想证明过程的原稿。
所以,这几十页被的满满的打印纸第一页的开头既没有居中的标题,也没有简明扼要的摘要,直接就是一串由各种阿拉伯数字和一些诸如∑、{}、<、>等数学符号还有一些英文字母堆积起来的证明过程。
如果有小偷偷偷溜进周明家里偷东西的时候,恰巧看到了这一叠写满密密麻麻各种数学符合和公式的打印纸,恐怕不会多看一眼,如果真多看一眼多半也是想起了自己曾经被数学所支配的恐惧,怕是会想办法把这些纸都给撕了或者是烧了。
……px(1,2)≥0.67xcx/(logx)^2……px(1,1)≥p(x,x^{1/16})-(1/2)∑px(x,p,x)-q/2-x^(log4)……
刚开始看了这第一页的前几行,李明智自我感觉还行,他能看懂,还没到看不懂证明过程的地步。
李明智甚至不仅能看懂,他还从这短短几行中看到了一些熟悉的感觉,这熟悉的感觉来自于陈景润于1973年在《华国科学》发上发表的题为《1+2系数估计的进一步改进——大偶数表为一个素数及一个不超过二个素数的乘积之和(ii)》的论文。
陈景润虽然在1966年的时候就发表了被人们简称为“1+2”的《表大偶数为一个素数及一个不超过两个素数的乘积之和》的论文,但直到1973他对这篇论文进行了改进并写下详细的证明之后,这才被世人所关注,也因此才算彻底引起了国际数学界的轰动。
而陈景润对于李明智,应该说是对李明智他们那一代人来说,影响是非常巨大的,他们当时对陈景润的崇拜比现在的追星族们对明星的崇拜还要深刻许多。
因此,周明在论文前面用了一点与加权筛法相关的式子后,李明智第一个想到的不是这个方法,而是陈景瑞当初证明哥德巴赫猜想“1+2”的那篇论文。
不过,李明智所表现出来的自我感觉良好的这种状态没有持续多久,他这第一页还没看完呢,还只看了一半,李明智的表情很快就逐渐变得苦大仇深起来。
李明智单独拿出第一张打印纸,他将剩下的都放在一旁桌子上,一只手抱胸,一只手举着这张纸看着,眉头紧锁,一副陷入了沉思的模样开始一边在屋子里来回转悠,嘴里还一边发出代表疑惑的“嘶~~~”声。
最后花了二十多分钟,李明智这才算是大概看完第一页,他又走回刚才放打印纸的桌子旁,拿起了第二页打印纸,并继续开始看了起来。
当李明智看到第二页的内容时,他皱起的眉头不仅没有放松下来,反倒又加深了不少。
当初1993年6月份安德鲁·怀尔斯证明费马大定理的时候,他的证明被分为6个部分分别由6个人审查,其中由凯兹负责的第三部分查出关于欧拉系的构造有严重缺陷,怀尔斯于1993年12月公开表示很快会补正。
后来到1994年10月25日,怀尔斯通过他以前的学生向世界数学界发送了费马大定理的完整证明邮件,至此费马大定理才算是真正得证。
再到后来的1995年,安德鲁·怀尔斯关于费马大定理的证明过程被发表在《数学年鉴》第141卷上,证明过程共130页。
周明写在打印纸上的证明过程,不管是数学公式和符号,还是少见的一些汉字,字体都不算大,而且周明的证明过程还是那种经过整理之后的过程,中间既没有因为算数错误或者是证明遗漏等问题有一丁点的涂改,也没有任何证明步骤太过散乱的问题。
可就算如此,周明这份关于哥德巴赫猜想的完全论证过程也足足有四十多页,将近五十页的打印纸了,这要是给写成论文加个标题和摘要、目录,还有参考文献上去,页数还得加不少。
这样一篇页数较多,而且证明过程又包含许多未来的一些经过改良的方法,李明智看起来自然会觉得吃力,真要向短时间内审完周明这几十页的证明过程,一个人根本就不可能完成。
皱着眉头勉强看完两页之后,李明智这才将这份第二张写满证明过程的草稿纸放回桌子上,并和其他的一起递还给周明,并对周明说道:“虽然我现在还只看了两页,但你这两页中所包含的内容可着实不少。”
说这句话的时候,李明智的语气之中满是感慨,似乎既有一种“长江后浪推前浪,浮事新人换旧人”的伤感,但同时却又包含着一种对国家“江山代有才人出,各领风骚数百年”的欣慰。
“而且我看你这筛法用的,只能看到筛法的一丁点影子了,不可能是原始的埃拉托斯特尼筛法,也不会是埃拉托斯特尼筛法经过改良之后的布朗筛法。
你这后面有没有用到库恩提出的‘加权筛法’和阿特勒·塞尔伯格提出的‘塞尔伯格筛法’这我就看不出来了,毕竟我看才看了两页。”李明智继续对自己刚刚勉强看完的两页抒发了一点自己心中的想法。
筛法又称筛选法,其实他非常的简单,具体做法就是先把n个自然数按次序排列起来,然后不是质数的都划去,是质数的就留下来,并再把该质数后面所有能被该质数整除的数都划去。
举个例子,1不是质数,也不是合数,要划去。
第二个数2是质数,所以就要留下来,然后把2后面所有能被2整除的数都划去。
2后面第一个没划去的数是3,把3留下,之后再把3后面所有能被3整除的数都划去。
如此这样一直做下去,就会把不超过n的全部合数都筛掉,留下的就是不超过n的全部质数。
因为该方法希腊人埃拉托斯特尼提出来的,而希腊人是把数写在涂蜡的板上的,每划去一个数,就在上面写个小点,这样到后面就会有许多的小点,这些小点就像是一个筛子,所以人们就把该方法称为“埃拉托斯特尼筛”,简称为“筛法”。
至于布朗筛法、“加权筛法”以及“塞尔伯格筛法”这些,都是因为数学家们在研究数论问题的时候不断对原有的筛法进行改进,那些对筛法改良贡献较大的,人们就会专门将他们改良过的筛法另取一个名字。
库恩于1941年提出的“加权筛法”,可以让我们在同样的筛函数上、下界估计的基础上得到强结果。
而挪威数学家阿特勒·塞尔伯格提出的“塞尔伯格筛法”,则是利用求二次型极值的方法极大地改进了筛法。
说到这里的时候,李明智又盯着周明,表情既严肃又认真地对周明说道:“你是不是在这篇论文里用到了一种新的数学方法?”
“我用的方法是和现在的这些方法有些不太一样,但想必您也能从中看出来一些其他方法的影子,我这也完全算是新的方法,都是一些在原来的基础上改良了一下的方法。”周明解释道。