手机浏览器扫描二维码访问
由于李明智拿在手里的这些写有各式各样数学公式的打印纸并不是一篇完整的论证哥德巴赫猜想的论文,而是一篇哥德巴赫猜想证明过程的原稿。
所以,这几十页被的满满的打印纸第一页的开头既没有居中的标题,也没有简明扼要的摘要,直接就是一串由各种阿拉伯数字和一些诸如∑、{}、等数学符号还有一些英文字母堆积起来的证明过程。
如果有小偷偷偷溜进周明家里偷东西的时候,恰巧看到了这一叠写满密密麻麻各种数学符合和公式的打印纸,恐怕不会多看一眼,如果真多看一眼多半也是想起了自己曾经被数学所支配的恐惧,怕是会想办法把这些纸都给撕了或者是烧了。
……px(1,2)≥0.67xcx(logx)^2……px(1,1)≥p(x,x^{116})-(12)∑px(x,p,x)-q2-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年提出的“加权筛法”,可以让我们在同样的筛函数上、下界估计的基础上得到强结果。
而挪威数学家阿特勒·塞尔伯格提出的“塞尔伯格筛法”,则是利用求二次型极值的方法极大地改进了筛法。
说到这里的时候,李明智又盯着周明,表情既严肃又认真地对周明说道:“你是不是在这篇论文里用到了一种新的数学方法?”
“我用的方法是和现在的这些方法有些不太一样,但想必您也能从中看出来一些其他方法的影子,我这也完全算是新的方法,都是一些在原来的基础上改良了一下的方法。”周明解释道。
喜欢藏不住(,) 欲锁琼台 梦里的上床对象都是真人怎么办? 何似星辰落江沿( sc 甜宠) 海寂( 女性向) 哥哥的小玩物(,兄妹伪) 主人养成日记h 召唤神座 [综漫]在RPG游戏中追求恋爱是不是搞错什么 小狼狗又大又粗( ,娱乐圈,走心走肾&&) 公人灭绝计划 落花娇 (剑三NP)一见钟情光环 跑什么呀( ) 边缘物语(父女GH) 无耻之徒 风流仕途 国师 英雄无敌之召唤千军 郡主自重
当秦奋手机微信摇出了天庭朋友圈,他发现自己的人生变了,但天庭的变化更惊悚。想要金点子,行,拿东西来换,我不挑食。超市,串串香,等一系列熟悉的东西对原有的天庭造成了冲击。秦奋看着天庭的物产,发现自己似乎要发了。种田,数钱,好多事要做。我是先吃蟠桃呢,还是九转金丹。签已过,人品嘛,我很有节操可以吗?求点求收求票票,求包...
超凡力量回归,巫师也从历史的尘埃中再度降临,站在超凡力量回归的浪潮顶端,沙兰于尘埃和无数位面之中寻找巫师的真意,总有一天,真正的巫师将再临世间。...
前世黑莲花白蓁被人在车上动了手脚车祸去世,穿越成了合欢宗女修白千羽,开启了和前世开后宫没什么不同的修仙之路。这篇算是某某宗女修炼手札的同人,但是是否玩游戏对看文没啥影响,文不会收费,大家放心追,女主是自设的无心海王型号。挂是挂了修真的名头,其实本文没有着重写女主初期修炼,主要还是着重她成为女王之后的故事。全文分三部分,第一二部分女主一边双修一边把以前给她使绊子的人给除了,手段稍微有点粗暴残忍,结果奇奇怪怪自称系统的东西出现了,告诉她,她已成为了这条世界线的主人,同时她设计把自己也拱成了修真大陆的无冕之王。第三部分开幕,无冕之王并不是这么好当的,一边要均衡各大势力,挑对自己有用的掌握在手里,一边要处理情人们的修罗场。。。。偶尔,系统还会给她出难题,让她暴打外来入侵者。然而白蓁(千羽)对此表示,挺好玩的,再来点。本文可能微微有点女尊倾向,女主床上小淫娃,床下真女王,没心没肺,快乐加倍。有疑似正宫,但是基本不会出现1v1的情况,女主这么强,配一个男的太亏了(啥?)。预警,女主从目前的伦理道德来讲,确实是渣女,而且吸溜子也没想洗。...
为了救一个小女孩,刚刚毕业的萧奇博士,从美国穿越回了八年前的中国,回到了自己的高中时代。重生之后,萧奇紧接着要做的,就是要帮忙性格淡然又才华出众的父亲,至少从副科级小官连升七级,青云直上,坐到副省级高官的位置,才不枉费了父亲一辈子的正直和善良。对于前世辜负和错过的女孩子,萧奇也下了决心,一定要努力给予她们幸福,不要...
市二中的金牌老师孙默落水后,来到了中州唐国,成了一个刚毕业的实习老师,竟然有了一个白富美的未婚妻,未婚妻竟然还是一所名校的校长,不过这名校衰败了,即将摘牌除名,进行废校处理孙默的开局,就是要帮助未婚妻坐稳校长之位,让学校重回豪门之列。孙默得到绝代名师系统后,点废成金,把一个个废物变成了天才,在孙默的指导下,学渣...
石焱携功法修改器重生入九域玄幻世界,人族挣扎求生。九域世界以游戏形式发售面世。当有一日,两界融合,妖魔肆虐而来。石焱内测进入九域世界,这一日,游戏尚未发售,玩家尚未进入,妖魔尚未影响书友Q群371073565...