第一百二十六章 我竟然证明了角谷猜想?

章节报错(免登陆)

91书院(91shuyuan.com)更新快,无弹窗!

畏’,李益来只感觉郁闷的吐血。
    ‘有效与无关进位筛选’,可不是简单就能证明出来的,中途需要给人消化理解的时间,也会给出提问的机会。
    李益来就不断的提问。
    李益来专业做算法研究,能力还是相当不错的,他提问了几次以后,忽然皱住了眉头,随后再次举手提问。
    其他人都有些看不过去了--
    “这个李益来要脸不要!”
    “为难一个学生干什么,他问的东西都很明显的,根本不应该问。”
    “老不要脸!”
    贺明成教授坐在第一排中间,他不但听得很认真,还低着头做笔记,发现李益来总是打断,提的问题还有些可笑,也不由得皱住眉头。
    李益来还是说了出来,他指出了一个真正的问题,“赵奕同学,我注意到你刚才的证明过程,说所有的可能的情况,被分析判定后,都会归为数字一,也就是只剩下一种可能。”
    “这个过程并不严谨,你用到了几个代数的定理,但最后的总结,却直接得到了结果。”
    “如果你的证明过程是对的,不就等于证明了角谷猜想?”
    李益来说完有些得意的坐了下来。
    会场顿时安静了。
    每个人都在讨论刚才的过程,因为过程有些复杂且绕脑,赵奕有一部分是用计算机的方法演示、说明的,其他人并没有注意到。
    李益来提醒了一下,大家马上都注意到了。
    角谷猜想,也叫作冰雹猜想,是一种数学猜想,说一个正整数x,如果是奇数就乘以3再加1,如果是偶数就析出偶数因数2?,这样经过若干个次数,最终都会回到1。
    许多人都声称证明了角谷猜想,还发表了一系列的论文,实际上,至今还没有‘被公认严谨’的证明过程。
    所以猜想依旧只是猜想,而不是能直接运用的定理。
    赵奕的证明过程中,用计算机演示、说明,看似过程十分的严谨,却用到了‘角谷猜想’的内容。
    这并不算错。
    李益来说的证明步骤,是数字无限大的情况下,对每一种可能进行分析判定,运用在魔方上,最多就只有27种扭动情况。
    根据日本和美国的数学家攻关研究,小于7*10^11的所有的正整数,都符合角谷猜想的规律,若是再大于7*10^11的数字,差不多只是理论上的数字,计算机想一一判定分析就非常困难了。
    另外,计算机和数学不同。
    数学需要最为严谨的证明,理论上的数字也需要证明,计算机算法最终的目的是输出正确的结果。
    哪怕是存在一点点的瑕疵,‘有效与无关进位筛选法’,放在计算机算法领域里,也已经是完善的算法,可以直接被运用起来。
    用数学思维说明有问题,能算是‘鸡蛋里挑骨头’了。
    会场议论纷纷。
    多数人承认李益来说的问题确实存在,但赵奕的证明过程,在现有的计算机性能下,是完全没有问题的,而计算机算法最重要的,就是能够输出结果,能运用于实践比理论更重要。
    结果正确,算法就能应用。
    这就足够了。
    台上。
    赵奕盯着屏幕上的过程,不断思考着李益来质疑的话。
    角谷猜想?
    好像是啊!
    如果证明过程是正确的,岂不同时说明角谷猜想是正确的,反之就是不正确的。
    但肯定百分百正确!
    赵奕相当的有信心,《联络率》可不会骗人,他完全理解了证明过程,而‘角谷猜想’就只是猜想,不是固有的公式、定理,也绝对不是《联络率》使用的‘先决条件’。
    所以……
    赵奕静静的思考有五分钟时间。
    台下众人都以为他受到了打击,罗智金教授走过来,想过来安慰下他,告诉他计算机和数学不同,不要理会李益来‘鸡蛋里挑骨头’的废话。
    这时赵奕抬起了头,认真看着李益来,随后干脆站了起来,迈步走到李益来的面前。
    其他人让出了一条路。
    “拉住他!”有人忽然喊了一声,“别让他打人啊!现在这小年轻可说不好!”
    “赶紧的!”
    “李教授,小心!”
    李益来听到喊声吓的往后推了一步,只是后面是椅子根本无路可退,他可都有五十多岁了,身体远算不上硬朗,可禁不住小年轻的一拳。
    赵奕终于有了动作。
    他激动的抓住李益来的手,非常认真说道,“谢谢你!李教授!谢谢你!真的很感谢。”
    “啊?”
    李益来有点懵。
    赵奕深吸一口气道,“要不是你提醒,我都没有发现,我竟然证明了角谷猜想!”
章节报错(免登陆)
验证码: 提交关闭