看了一眼书桌上,昨晚研究哥猜时,所写的内容。
陈舟微微沉吟“方向性的问题,应该不会存在,毕竟,经过这么长时间的研究,再加上错题集的佐证,我肯定不会再犯方向性的问题……”
“唯一存在的就是那临门一脚,不知道该踢在哪里才合适……”
这样想着的陈舟,就翻开了错题集。
反倒是忘了他在吃早餐时,就急不可耐想要打开一看究竟的论文初稿。
错题集上,关于哥德巴赫猜想的研究内容,已经整整记录了十好几页。
这还是陈舟一直有着小进展的情况。
如果没有任何进展的话,陈舟估摸着,这本错题集,得有字典那么厚了。
从错题集记录的第一页开始,陈舟逐页翻看着,逐页审视着。
翻看是梳理,审视是纠错。
虽说被错题集记录的内容,即代表着错误。
但是,这些内容也并不都是错误的。
打个比方,一道数学证明题,如果前半部分证明没问题,但后半部分证明跑偏了。
那整个内容,都会被记录下来。
错题集,就是这样。
所以,有些地方,还需陈舟自己去审视。
也因此,陈舟看的异常缓慢,也异常认真。
本来就打算力攻克哥猜这一难题的陈舟,现在碰上了想抢先一步的人。
更使得他变得认真起来。
一天的时间,陈舟就这么坐在书桌前,专心致志的梳理并审视着自己的研究内容。
直到窗外的天色部暗了下来,他才缓缓停下手中的笔,将错题集合起来。
伸了个懒腰,陈舟微微将身子向后,靠在椅子上。
“当初,怀尔斯教授在证明费马猜想时,一共花费了8年的时间,而这其中,仅收集这次证明所需的数学工具,就用了18个月。”
“但这是在数学工具欠缺,并且无法确定研究思路或研究方向的情况下,才需要做这样的准备工作。”
“而我,不管是筛法,还是圆法,还是密率法,亦或者是三角和法,都是一步一步,用一个一个数论猜想趟过来的。”
“所以,关键点,还是在分布解构法本身上面……”
陈舟想着这些,眉头不禁皱了起来。
这一次的梳理和审视,虽然也给了他一些方向,但是更多的,却还是如原来一样。
陈舟并没有实质性的收获。
那一直阻挡他的临门一脚,还是阻挡着他。
“我记得哈洛德·贺欧夫各特在证明弱哥德巴赫猜想时,他的两篇论文,只是将原来的下界降至了约1030。”
“最后是他的同事,用计算机验证了在此之下的,所有奇数都符合猜想,从而才完成了弱哥德巴赫猜想的部证明。”
“难道说……”
陈舟微微摇了摇头,还是算了。
他更希望自己能用纯数学的方法,完证明哥德巴赫猜想。
虽说计算机证明数学猜想的方法,早已被应用。
除了弱哥德巴赫猜想的证明,还有被米国数学家阿佩尔与哈肯,借助计算机完成证明的四色猜想。
但是,数学家虽然借助计算机证明了四色猜想。
可直到今日,人工证明都还未出现。
身为一名骄傲的数学家,陈舟显然不愿意这样不完美的证明,出现在自己的手里。
收起思绪,陈舟不再乱想。
转而打开电脑,在浏览器输入eprt arxiv网站的网址。
他打算好好看看哈洛德·贺欧夫各特所上传的那两篇论文初稿。
浏览器很快跳转结束。
陈舟快速的输入账号密码,点击登陆,页面跳转到个