手机浏览器扫描二维码访问
赵奕的证明过程中,用计算机演示、说明,看似过程十分的严谨,却用到了‘角谷猜想’的内容。
这并不算错。
李益来说的证明步骤,是数字无限大的情况下,对每一种可能进行分析判定,运用在魔方上,最多就只有27种扭动情况。
根据日本和美国的数学家攻关研究,小于7*10^11的所有的正整数,都符合角谷猜想的规律,若是再大于7*10^11的数字,差不多只是理论上的数字,计算机想一一判定分析就非常困难了。
另外,计算机和数学不同。
数学需要最为严谨的证明,理论上的数字也需要证明,计算机算法最终的目的是输出正确的结果。
哪怕是存在一点点的瑕疵,‘有效与无关进位筛选法’,放在计算机算法领域里,也已经是完善的算法,可以直接被运用起来。
用数学思维说明有问题,能算是‘鸡蛋里挑骨头’了。
会场议论纷纷。
多数人承认李益来说的问题确实存在,但赵奕的证明过程,在现有的计算机性能下,是完全没有问题的,而计算机算法最重要的,就是能够输出结果,能运用于实践比理论更重要。
结果正确,算法就能应用。
这就足够了。
台上。
赵奕盯着屏幕上的过程,不断思考着李益来质疑的话。
角谷猜想?
好像是啊!
如果证明过程是正确的,岂不同时说明角谷猜想是正确的,反之就是不正确的。
但肯定百分百正确!
赵奕相当的有信心,《联络率》可不会骗人,他完全理解了证明过程,而‘角谷猜想’就只是猜想,不是固有的公式、定理,也绝对不是《联络率》使用的‘先决条件’。
所以……
赵奕静静的思考有五分钟时间。
台下众人都以为他受到了打击,罗智金教授走过来,想过来安慰下他,告诉他计算机和数学不同,不要理会李益来‘鸡蛋里挑骨头’的废话。
这时赵奕抬起了头,认真看着李益来,随后干脆站了起来,迈步走到李益来的面前。
其他人让出了一条路。
“拉住他!”有人忽然喊了一声,“别让他打人啊!现在这小年轻可说不好!”
“赶紧的!”
“李教授,小心!”
李益来听到喊声吓的往后推了一步,只是后面是椅子根本无路可退,他可都有五十多岁了,身体远算不上硬朗,可禁不住小年轻的一拳。
赵奕终于有了动作。
他激动的抓住李益来的手,非常认真说道,“谢谢你!李教授!谢谢你!真的很感谢。”
“啊?”
李益来有点懵。
赵奕深吸一口气道,“要不是你提醒,我都没有发现,我竟然证明了角谷猜想!”
啥,老子堂堂的漠北兵王,居然要当奶爸?好吧,看在孩子他妈貌若天仙的份儿上,老子勉强答应了...
医者无不活命,剑出血洒长空。从来没想到,学习这么多年治病救人的同时,竟然也将传说中剑仙传承给修炼了,原本以为只是故事的一切,却在自己身上逐渐发生...
她不过是相个亲,结果直接却被抗去了民政局。她还不想结婚喂!权少,可不可以离婚啊!离婚?可以,先怀个孩子再说。...
言安希醉酒后睡了一个男人,留下一百零二块钱,然后逃之夭夭。什么?这个男人,竟然是她未婚夫的大哥?一场豪赌,她被作为赌注,未婚夫将她拱手输给大哥。慕迟曜是这...
大妖降世,卷风云万里,遍野尸横无归人。痴儿怨女,叹红尘滚滚,牵马负刀不回头。圣人云端坐,邪灵白日行。魏来自卑微而来,踏黄泉碧落,吞无边苦海,只为证天道已死!人道当兴!...
日更十章他是龙族龙子,却蜕变天赋失败,自巅峰跌落。圣女未婚妻自斩身孕,杀他证道。家族视他为耻辱,将他逐出,从族谱除名。绝境中,他苏醒前世记忆,华夏神龙...