手机浏览器扫描二维码访问
华罗庚先生是华人中最早从事《哥德巴赫猜想》的数学家。
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天下来,软件完全适应了针对《哥猜》这道难题的解析运算。
这个工具的使用,让他解题过程的效率,比较一般数学家,提高了至少百倍以上。且还不容易出现低级错误,也不会出现逻辑错误。
卖惨学101[快穿] 每天都要防止徒弟黑化 旋风少女 你海王,我绿茶 我见青山 大国药商 意外标记(穿书) 我的命中命中 玫瑰美人 狼皇 穿成偏执反派的心尖宠 穿书后我天天看男二演戏 艾泽拉斯阴影轨迹 我在幕后创世界 书生凶猛 穿成校草的心机初恋 假装乖巧[娱乐圈] 乡村小仙医 所有人都暗恋我 女王的小鲜肉
作者池燕安的经典小说花辞秋最新章节全文阅读服务本站更新及时无弹窗广告小说试戏说好的女一号,剧本我都背的滚瓜烂熟了,投资方空降个妖孽,催眉弯腰事权贵的导演,说把我换就给我换了。人在屋檐下怎能不低头啊,忍了。但话说回来,人在江湖飘,您总要讲个道义吧,从女一号换下来,怎么也得给我换个女二号啊,什么因为我长的太好看,怕抢主叫风光,就给我换成跑龙套的了!我说导演你这么缺德你小学的德育老师知道吗?本小姐单方面宣布杀青,不陪你玩了,回家睡美容觉不香嘛一觉醒来,这是那里?我这么跑...
一场阴谋,她一无所有。一个误会,他将她误认旧念肆意报复。为了各自利益,一张契约将两人捆绑在一起。她不过是他心中的一个替身,却动了不该有的感情。当所有的幻想破灭,她身受重伤狼狈出逃,却在五年后强势回归。他指着与他一个模子刻出来的孩子质问,顾念,这个孩子哪里来的?她莞尔一笑,钟少铭,你管的着吗?萌宝挡在在她面前,冷酷的看着自己传说中的爹地,这位先生,不是什么人都能跟我妈咪搭讪的...
闪婚一个月后的某一晚,他将她封锁在怀里。她哭你这个混蛋!骗子!说好婚后不同房的他笑我反悔了,你来咬我啊?从此,他食髓知味,夜夜笙歌傅言枭,你有钱有权又有颜,可你怎么就这么无耻!...
帝都霸主陆云琛竟然被一个乡下小丫头逼婚了!最初,他对她不屑一顾我们只是契约关系,你配不上我,别妄想我会爱上你!一群名门淑媛对她冷嘲热讽一无是处的乡下土包子凭什么当陆太太!谁知她不但精通医术,还是绘画天才钢琴大师神秘黑客多重身份分分钟爆马甲打脸柠檬精,渐渐俘获了冰山陆少的心。契约到期那天,她挥挥衣袖对他不理不睬大叔,要点脸别纠缠,我不喜欢老男人。宝宝我错了,是我配不上你!陆少带着搓衣板键盘和榴莲,踏上了漫漫追妻路。傲娇一时爽,追妻火葬场!...
三千年前,一场大战让洪荒分立九州,一千两百年前,另一场大战让平州与青州交恶。千百年后,大战再起,风云激荡,绝世天才寒雪衣与林天先后出世。仙路漫漫,唯剑作伴,叱咤三界,斩魔求仙。...
我的新书遮天上传了,不一样的震撼与精彩,请各位书友支持。—世上谁人能不死?任你风华绝代,艳冠天下,到头来也是红粉骷髅任你一代天骄,坐拥万里江山,到头来也终将化成一抔黄土。不过,关于长生不死的传说却始终流传于世。故老相传,超脱于人世间之外,有一个浩大的长生界长生界简体...