新英体育 > 新英体育 > 第235章 证明哥猜!

第235章 证明哥猜!

  窗外的【新英体育】天蒙蒙亮。

  趴在书桌上的【新英体育】陆舟,缓缓睁开了双眼。

  揉了揉有些酸涩的【新英体育】眉心,他看向了放在桌角的【新英体育】日历。

  都五月份了啊……

  陆舟有些头疼地晃了晃脑袋。

  从他2月份来普林斯顿到现在,几乎一大半的【新英体育】时间都呆在这间十平米的【新英体育】房子里,除了开车去超市买菜之外,他基本上都没有出过门。

  最让他心疼的【新英体育】是【新英体育】那张5000美元的【新英体育】俱乐部卡,他甚至都没用过几次。

  从领取那个任务之后,这将近半年的【新英体育】时间里,他一直在挑战哥德巴赫猜想。

  如今,这一切总算是【新英体育】有个结果了。

  深呼吸了一口气,陆舟从椅子上站了起来。

  走到了最后一步的【新英体育】他,反而不那么着急了。

  哼着小曲走进厨房,给自己弄了点吃的【新英体育】,陆舟甚至从冰箱里拿出了一支香槟,打开瓶盖给自己倒上。

  香槟是【新英体育】两个月前就买好的【新英体育】,为的【新英体育】就是【新英体育】这一刻。

  安静地享用完这顿晚餐,陆舟从容不迫地去厨房洗了个手,然后回到了书桌前,开始为自己这一段时间的【新英体育】工作做个收尾。

  越过了将近五十页的【新英体育】论文纸,他在昨天未写完便沉沉睡去的【新英体育】地方,提笔继续写道。

  ……显见,我们有12pxx,

  ……由式30、引理8、引理9、引理10,可证明定理1成立。

  所谓的【新英体育】定理1,便是【新英体育】他在论文中,定义的【新英体育】哥德巴赫猜想的【新英体育】数学表述。

  即,给定一个充分大的【新英体育】偶数n,存在素数p1和p2,满足np1p2。

  与之类似的【新英体育】便是【新英体育】陈氏定理np1p2p3,以及一系列关于pa,b的【新英体育】定理。

  当然了,虽然现在在他的【新英体育】论文中,这条公式被称为定理1,但也许要不了多久,等数学界普遍接受了他的【新英体育】证明过程,这条定理兴许便会升级为“陆式定理”之类的【新英体育】东西。

  不过,这种重大的【新英体育】数学猜想审稿周期一般会比较长。

  佩雷尔曼证明庞加莱猜想的【新英体育】论文用了三年才被数学界认可,望月新一关于ab猜想的【新英体育】证明因为掺杂了大量的【新英体育】“神秘术语”,审稿门槛至少也得先读懂他的【新英体育】“宇宙纪理论”才算是【新英体育】入门,所以直到现在也没有人看完,预计未来也很困难。

  一个重大猜想的【新英体育】审稿速度,很大程度上取决于这一命题的【新英体育】热度,以及这项工作究竟“新”到了什么程度。

  在证明孪生素数定理时,陆舟并没有运用到特别新颖的【新英体育】理论,只是【新英体育】在泽尔贝格教授95年发表的【新英体育】那篇论文中提到的【新英体育】拓扑学方法进行了创新,已经研究过这篇论文的【新英体育】人,便可以很快了解到他做了哪些工作。

  而证明波利尼亚克陆定理的【新英体育】论文,审稿周期明显就拉长了一大截。

  即便他的【新英体育】群构法在孪生素数定理的【新英体育】证明中已经有所体现,但其中魔改的【新英体育】成分也使得它远远偏离了筛法的【新英体育】范畴,即使审稿人是【新英体育】德利涅这种大牛,也用了不少时间才下最后的【新英体育】定论。

  而这篇关于哥德巴赫猜想证明的【新英体育】论文,陆舟一共写了五十页,而其中更是【新英体育】至少花了一半的【新英体育】篇幅,去论述他为整个证明搭建的【新英体育】理论框架。

  这一部分的【新英体育】工作,甚至可以单独作为一篇论文发表了。

  很大程度上他的【新英体育】审稿周期,取决于别人对他提出的【新英体育】理论框架的【新英体育】兴趣,以及对他所提出的【新英体育】理论框架的【新英体育】接受程度。

  至于具体需要多久,就不是【新英体育】他能控制的【新英体育】了。

  其实陆舟以前就在思考,系统对于任务完成的【新英体育】判定标准,究竟是【新英体育】什么。

  如果他对一个定理完成了证明,但十年甚至是【新英体育】几十年,也无人认可他的【新英体育】工作,是【新英体育】否意味着他的【新英体育】任务就得卡上这么久?

  而且最让他不理解的【新英体育】是【新英体育】,既然系统的【新英体育】数据库中储存着庞大的【新英体育】数据,那么它必定来自一个高等文明至少这个文明比地球上的【新英体育】文明要发达。

  且不去讨论它存在的【新英体育】动机,陆舟觉得,确定一个问题是【新英体育】否被解决,来自高等文明的【新英体育】系统应该也不会参考“土著”的【新英体育】意见。

  如此分析的【新英体育】话,陆舟得出的【新英体育】结论便是【新英体育】,系统任务的【新英体育】完成应该是【新英体育】由两个因素判定。

  一个是【新英体育】正确性。

  另一个,便是【新英体育】公开!

  其实,有一个很简单的【新英体育】办法可以验证,他的【新英体育】证明是【新英体育】否正确。

  如果只是【新英体育】为了公开的【新英体育】话,不一定得发到期刊上……

  ……

  完成证明哥德巴赫猜想的【新英体育】论文之后,陆舟花了整整三天的【新英体育】时间,将纸上的【新英体育】东西整理到电脑中,并转成了pdf格式的【新英体育】文件,然后登陆了arxiv的【新英体育】官网,将论文上传。

  正确性,他有九成以上的【新英体育】把握,因为他的【新英体育】习惯是【新英体育】对每一个结论都进行严谨的【新英体育】验算,对所有可能出现错误的【新英体育】地方进行反复推敲。

  至于公开。

  没有同行评审环节的【新英体育】arxiv,无疑是【新英体育】最快的【新英体育】选择!

  唯一的【新英体育】弊端可能就是【新英体育】和有些期刊、会议的【新英体育】投稿原则冲突,比如在截稿之前上传论文可能会违反双盲规则等等,不过陆舟现在也不是【新英体育】很在意这些东西了,而且他相信那些接收稿件的【新英体育】期刊,也不会在意那些细枝末节。

  毕竟投稿人不再是【新英体育】什么无名小卒,而是【新英体育】柯尔数论奖的【新英体育】得主。报告的【新英体育】学术成果也不是【新英体育】什么默默无闻的【新英体育】工作,而是【新英体育】希尔伯特23问第八问中的【新英体育】哥德巴赫猜想,仅次于千禧难题的【新英体育】解析数论界的【新英体育】皇冠之一!

  过两天,他会再将论文重新整理一下,解决下格式上的【新英体育】问题,让它看起来舒服一点,然后投稿数学年刊。

  当初证明怀尔斯的【新英体育】那篇关于费马大定理证明的【新英体育】论文,由六位审稿人同时审理,陆舟不知道自己的【新英体育】论文将由几位大佬评审,但想来应该也不会少于四个吧?

  看着网页上弹出的【新英体育】上传完毕的【新英体育】提示弹窗,陆舟长出了一口气。

  这样一来,就算是【新英体育】完成公开了吧?

  论文发表之后,关注这一领域的【新英体育】人或者研究单位,都会收到一个alert类似于提醒。不出意外的【新英体育】话,在地球上的【新英体育】某个角落,应该已经有人在看他的【新英体育】文章了。

  就是【新英体育】不知道系统对于论文的【新英体育】阅读量是【新英体育】否存在一个判定值,如果存在的【新英体育】话,就得等几天才能验证他的【新英体育】猜测了。

  坐在电脑前,等了一杯咖啡的【新英体育】功夫,陆舟闭上双眼,深呼吸了一口气,轻声默念。

  “系统。”

  当他再次睁开眼,入目已是【新英体育】一片纯白。

  距离上次回到这里,已经很有一段时间了,以至于这次进来这地方,陆舟甚至有些不适应的【新英体育】感觉。

  走到了半透明的【新英体育】全息屏幕旁边,他怀着一丝忐忑的【新英体育】心情,伸手按在了任务栏的【新英体育】位置。

  很快他便能验证自己的【新英体育】猜测……

  同时,也能知道,自己的【新英体育】思路究竟是【新英体育】否正确。

  等等……

  就在这时,陆舟忽然意识到一个问题。

  如果系统没有给自己回应的【新英体育】话,那究竟是【新英体育】说明自己对任务完成判定的【新英体育】条件分析错误,还是【新英体育】说明自己的【新英体育】论文本身存在问题?

  然而,系统并没有给他思考这个问题的【新英体育】时间。

  宛如天籁一般的【新英体育】提示音响起。

  紧接着,一行文字映入他的【新英体育】眼帘。

  恭喜宿主,完成任务!

看过《新英体育》的【新英体育】书友还喜欢

http://www.itig.cn/data/sitemap/www.itig.cn.xml
http://www.itig.cn/data/sitemap/www.itig.cn.html
友情链接:澳门龙炎网  伟德养生网  澳门剑神  黄大仙屋  六合门  足球吧  新金沙  贵宾会  bet188人  伟德评书网