第147章 看不懂(1 / 1)

由于李明智拿在手里的这些写有各式各样数学公式的打印纸并不是一篇完整的论证哥德巴赫猜想的论文,而是一篇哥德巴赫猜想证明过程的原稿。

所以,这几十页被的满满的打印纸第一页的开头既没有居中的标题,也没有简明扼要的摘要,直接就是一串由各种阿拉伯数字和一些诸如∑、{}、等数学符号还有一些英文字母堆积起来的证明过程。

如果有小偷偷偷熘进周明家里偷东西的时候,恰巧看到了这一叠写满密密麻麻各种数学符合和公式的打印纸,恐怕不会多看一眼,如果真多看一眼多半也是想起了自己曾经被数学所支配的恐惧,怕是会想办法把这些纸都给撕了或者是烧了。

……Px(1,2)≥/(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页。

周明写在打印纸上的证明过程,不管是数学公式和符号,还是少见的一些汉字,字体都不算大,而且周明的证明过程还是那种经过整理之后的过程,中间既没有因为算数错误或者是证明遗漏等问题有一丁点的涂改,也没有任何证明步骤太过散乱的问题。

可就算如此,周明这份关于哥德巴赫猜想的完全论证过程也足足有四十多页,将近五十页的打印纸了,这要是给写成论文加个标题和摘要、目录,还有参考文献上去,页数还得加不少。