小说妹妹网

手机浏览器扫描二维码访问

第17章解析哥猜(第1页)

华罗庚先生是华人中最早从事《哥德巴赫猜想》的数学家。

1936~1938年,华罗庚赴英留学,师从哈代研究数论,并开始研究哥德巴赫猜想,验证了对于几乎所有的偶数猜想。

1956年,华罗庚的弟子之一王元证明了“3+4”,后来还证明了“3+3”和“2+3”。

1962年,华国潘承洞和苏联的巴尔巴恩证明了“1+5”,王元再度证明了“1+4”。

1966年,华国陈景润完成接近终点的“1+2”论证。

多位华人,几十年如一日,都匍匐在《哥猜》上,劳心费力。尤其是陈景润先生,连走路都在解题,其事迹经报道后,影响了两代人。80、90年代,陈景润已达“天下谁人不识君”的地位。

他的事迹,又让《哥猜》这个数学难题,在华国家喻户晓。

这次若马由成功攻克《哥猜》,将完成华人在此难题上的最后一步,一具有承上启下逻辑关系。他选择此题也有此考虑。

确定解题方向后,马由转为专注学习数论知识。集中拜读了自华罗庚起各位华人数学家在这个领域的所有著作,以及世界上其他著名数学家的相关著作。如华罗庚《数论导引》、卡拉楚巴《解析数论基础》、特伦鲍姆《解析与概率数论导引》、闵嗣鹤《数论的方法》、gtm195、gtm164、165、gtm206等系列。

仅通过阅读书籍,信息量还是欠缺,马由就通过互联网,查阅了许多国际数学家有关数论方面的论文,试图从中找到一些启发和解析经验。

大量阅读后,他感受到数学家已经发现了一些可以用初等数论的语言描述,但无法利用初等数论方法解决的问题,这说明了初等数论的体系是不完备的,如果《哥猜》在某个完备的数学分支下有等价的描述,那么《哥猜》也一定能够被解决了。

《哥猜》虽然是一个初等数论问题,但并不表示它有初等的证明。

他放弃了传统解析及论证方式。在科技树解锁前,若还是按传统数学家的方式,将耗费他巨大的精力和时间。这将是得不偿失的举动。他学习数学但却不会沉湎在这个狭窄的领域,更不会专职成为数学家。他的未来还是高科技领域。

现解析难题仅是让天才之名名副其实的一个小举动而已。

思前想后,他计划自创一款软件,通过软件强大的逻辑分析和电脑高效的计算效能,来辅助他推演这道数学难题,这也是将信息技术,与传统数学之间一次融合的尝试。

其实,世界上许多数学家,都是编程高手。但却没有一位数学大师,能在两个领域都拥有极高的水准。这也给马由提供了这么一个前无古人尝试的机会。

他一直坚信,工欲善其事、必先利其器。有了电脑和超越这个时代的各种软件工具,他完全没有必要按部就班,像传统数学家那样,仅采用人工甚至手写方式推演。

马由在记忆中,翻阅了一阵子,终于找到了一款前世类似用途的软件。不过,这款软件建立在量子计算机或生物计算机硬件基础上,同时需要人工智能。显然这款软件再强大,目前他还是无法直接使用。

他还是下决心,花费一定的时间,把这款软件进行简化。总比自己瞎子摸象,完全重新编写一款软件容易一些。且这款软件研发成功后,将来解析其他数学难题,就轻车熟路、事半功倍。

一周时间,除了补充食物,他一直没有出门,学分主要期末考试获得。平时校方也同意他放羊式的教学。和班级辅导员请了假,就蜷缩在宿舍里独自敲打代码。

这款软件比之前自己编写的电脑系统软件还要复杂。其难度主要在准人工智能的逻辑编程方面。既要能在目前的计算机硬件基础上良好运行,同时还要保留较好的智能运算,就要解决软件体积和计算机运行强度的矛盾。

最终,他还是找到了这个平衡点,从而完成了命名为《马氏数学智能解析1.0》这款解析软件的编译。不过,原有的笔记本电脑,运行起来还是比较勉强。且这台笔记本,还要承担随时跟踪和交易股票的重任。

这天,他推开了房门,来到室外。强烈的太阳光,让在昏暗的室内好几天的双眼,有些不太适应。他来到鼓楼广场边上的电脑商场,花费2万余元购买了一台目前配置最高的台式电脑,以及一些必须的电子元器件,回到宿舍,自己动手改装升级。

将已提高数倍的电脑开机,安装好自编的系统软件,以及《马氏数学智能解析1.0》软件后。他开始用几个已被破解的数学难题,进行了模拟解析。有成熟的解题论文检验,进行软件实验,效果一目了然。通过5道难题的运算后,准确率达到了97%,这基本满足了实用性。

有了这款工具和和运算能力较强的计算机,他开始了《哥猜》的论证。

利用电脑和软件,他只需要填写一些解析思路,公式框架和总体逻辑参数等,电脑通过这款软件,便可自动填充一些常识性的数学公式,并帮助他进行逻辑校正。他一边解析,一边微调软件各种参数,3天下来,软件完全适应了针对《哥猜》这道难题的解析运算。

这个工具的使用,让他解题过程的效率,比较一般数学家,提高了至少百倍以上。且还不容易出现低级错误,也不会出现逻辑错误。

不过这是一种比喻,数学解题不是简单看解析速度。可能一个顿悟,就找到了解题的方向。或者一辈子,都无法完成一道难题。

但电脑运算,就将这个过程大幅度缩短,一个方向不正确,换一个方向继续前进。如此反复,加之编制这款软件的马由本来数学功底就十分雄厚,也能够在失败中,找到出现问题的线索。再调整一些公式和思路,继续让电脑进行运算,无非多花费一点电费而已。

紫雾山庄  重生修真界我被魔界至尊威胁了  综武从华山开始  那人那仙  创天主宰  我种的是黑科技  我全家从末世穿越农门  洪荒:我!睡觉就悟道!  道长不要再装了  满级大佬从零开始  重生风华时代  大衍炼妖  恋爱游戏依靠恋人很合理吧[无限]  圣尊之途  反派:给气运之子当师尊  人在修仙世界,拨弄万物时间  情系九零甜美妻沐晴沐泽_  王高尚修仙记  鬼葬之墟  重生之前世笔记  

热门小说推荐
一剑平天

一剑平天

一颗从天而降的奇怪珠子,带给了尹治平一份仙缘!神雕开篇,转战仙侠,最终神功大成,一剑平天。满堂花醉三千客,一剑光寒十四州。...

网游之血牛魔导师

网游之血牛魔导师

起点第四编辑组签约作品一个神级的逆天称号,让尚缺极品装备的刘云变成血量超越守护骑士的血牛!与生俱来的风骚意识,没有网游经验的刘云神预判秒了各大公会的职业玩家!还拥有恐怖的高幸运值,加上极度猥琐的游戏理念,小白也可以过的很惬意!这里还有,占星术士没落之谜郁金香帝国崛起历程猥琐男的泡妞经历走npc后门的发家史国内网游公会争霸录网游世界里的各国征伐君权与神权之间的矛盾诸神的黄昏之战本想浑水摸鱼的刘云,却被摆在了神的对立面!为对抗神,只能成神!蓦然回首,一路风尘。血牛书友v1群159412057,感谢圣殿之门徒童鞋提供。本站郑重提醒本故事纯属虚构,如有雷同,纯属巧合,切勿模仿。...

邪宝医娘

邪宝医娘

现代中医女专家魂穿白莲花医N代上有失踪娘亲,下有捣乱腹黑小包子又背着医死人的罪名,食不果腹,头无一片遮雨瓦,叶落表示这坑爹的生活让她亚历山大。索性医术更上一层楼,妙手回春,慧眼如炬,靠着几味药在一条医馆站稳脚跟,努力挣钱养家养包子PS小包子经典语录娘亲又白又美又善良,很容易被人骗光光,只有接受小包子的人才能做亲亲爹爹(画外音各位蜀黍快来讨好偶哦)作者君新书娇嫩,跪求呵护づ ̄3 ̄づ...

总裁宠妻狠强势

总裁宠妻狠强势

姐姐订婚宴上,未来姐夫竟然直接宣布新娘换成她!而且这个姐夫怎么有点眼熟?新婚夜,她被他逼到墙角,无奈求饶你说过,婚后不会对我动手动脚的!动手动脚?男人嗤笑,骨节分明的手挑起她的下巴,放心,我不会动你的手和你的脚,我只会动别的地方。婚后,她以为自己的生活会是水深火热,然而,他却把她宠上天。老公,小三还有30秒到达战场。老婆,让她们知道什么叫做残忍!...

神控天下

神控天下

凌笑穿越到异界,轨灭一切荆棘,成就巅峰强者之路。神阶强者为傀儡,神兽为坐骑,神女为妻妾!凌笑苍穹,神控天下!武者等级分布武徒玄者玄士灵师王阶地皇天尊玄帝圣境神境玄技等级分布灰黄青绿蓝红紫褐黑武器等级分布凡兵玄兵灵器圣器神器练药师等级分布一至十品PS新書妖道至尊...

每日热搜小说推荐