br />
虽说被错题集记录的内容,即代表着错误。
但是,这些内容也并不全都是错误的。
打个比方,一道数学证明题,如果前半部分证明没问题,但后半部分证明跑偏了。
那整个内容,都会被记录下来。
错题集,就是这样。
所以,有些地方,还需陈舟自己去审视。
也因此,陈舟看的异常缓慢,也异常认真。
本来就打算全力攻克哥猜这一难题的陈舟,现在碰上了想抢先一步的人。
更使得他变得认真起来。
一天的时间,陈舟就这么坐在书桌前,专心致志的梳理并审视着自己的研究内容。
直到窗外的天色全部暗了下来,他才缓缓停下手中的笔,将错题集合起来。
伸了个懒腰,陈舟微微将身子向后,靠在椅子上。
“当初,怀尔斯教授在证明费马猜想时,一共花费了8年的时间,而这其中,仅收集这次证明所需的数学工具,就用了18个月。”
“但这是在数学工具欠缺,并且无法确定研究思路或研究方向的情况下,才需要做这样的准备工作。”
“而我,不管是筛法,还是圆法,还是密率法,亦或者是三角和法,都是一步一步,用一个一个数论猜想趟过来的。”
“所以,关键点,还是在分布解构法本身上面……”
陈舟想着这些,眉头不禁皱了起来。
这一次的梳理和审视,虽然也给了他一些方向,但是更多的,却还是如原来一样。
陈舟并没有实质性的收获。
那一直阻挡他的临门一脚,还是阻挡着他。
“我记得哈洛德·贺欧夫各特在证明弱哥德巴赫猜想时,他的两篇论文,只是将原来的下界降至了约1030。”
“最后是他的同事,用计算机验证了在此之下的,所有奇数都符合猜想,从而才完成了弱哥德巴赫猜想的全部证明。”
“难道说……”
陈舟微微摇了摇头,还是算了。
他更希望自己能用纯数学的方法,完全证明哥德巴赫猜想。
虽说计算机证明数学猜想的方法,早已被应用。
除了弱哥德巴赫猜想的证明,还有被米国数学家阿佩尔与哈肯,借助计算机完成证明的四色猜想。
但是,数学家虽然借助计算