只要是站起来做提问,肯定是听懂了报告,否则问出的问题就会很可笑。
马文钧仿佛就是个普通的学者,他很礼貌的说了起来,“你在论证有界系统的时候,采用一种对比分析法,这种方法非常的巧妙。但是用这种方法进行论证,无法证明针对所有的系统、所有体系都有效。”
“比如,当系统足够复杂,分支足够多,多到很难想象的地步,就无法证明这个算法是有效的。”
这是一个有界与无界的提问,也是适用范围的提问。
王浩的论证是有界系统,也就是确定的系统情况下,有效与无关进位算法是有效的,但他的证明没有覆盖到‘无界系统’,也就是一些‘没有想象到’或者‘无限延伸’的系统,针对这类型的系统,算法也许就是无效的。
换句话说,有效与无关进位算法的论证并不完善。
如果是放在普通生活中,类似的疑问可以理解为‘没事找事’,平时都接触不到、想象不到,去论证还有什么意义?
但是放在学术界,数学、理论计算领域,却是非常有意义的。
一些数学问题都会牵扯‘无穷’的概念,有些定理必须要证明针对‘无穷大或无穷小’也一样通用。
马文钧的提问非常有水准,甚至可以说直接问到了点子上。
会场里的人不由得都看向讲台,想听听王浩具体怎么解释。
若是他无法给出回答,或者是没有相关的论证,并不会影响有效与无关进位算法的应用,但针对学术成果、报告本身来说,肯定就下降了一个档次。
……
王浩站在报告台上,思考着愣在了原地。
其他人还认为他是被问住了。
实际上,他不是因为提问愣住,而是马文钧提问后,大量的知识、想法、灵感,骤然间涌入到脑海里,随后收到了系统提示。
【任务三,灵感值+4。】
【灵感值:101。】
【提示:可使用消耗一百点灵感值,辅助获取研发相关的灵感、知识的相互关联。】
“使用!”
在下达指令的瞬间,脑子里的知识灵感被梳理清晰,顿时出现了一条完整的脉络,之前研究的不解之处,顿时全部畅通无阻。
王浩的表情从呆愣变成了抿嘴轻笑,笑容慢慢的占满整张脸。
他仿佛就是从思考中顿悟了一般,眼神都有些亮的发光,一时间所有人都能看出,他肯定是想到了什么。
在所有人的注视下,王浩看向了马文钧,满脸带笑的说道,“马文钧教授,谢谢你。你刚才的问题问的很有水平。”
“你的提问,让我联系到另外一个研究,并且很受启发!”
“我最开始是打算结合集合论和归纳法来证明无界问题,但现在,我认为另一种方式更好。”
他说罢转过身,挥手让工作人员搬上了个新的白板。
随后在上面写了起来。
计算机会议上震撼的数学论证!
一号报告厅内人山人海,却一片寂静。
所有人都认真盯着报告台上那个对着白板不断撰写内容的年轻身影,他似乎连考虑都不用,就在白板上写上一条又一条的内容。
他真的很年轻。
年轻到比会场内正常来参会的人年纪都要小,包括那些被带的过来的博士生,绝大部分都要比他年纪大。
此时此刻,他就是全场的焦点。
每个人都不断的看过去,也有人在窃窃私语交谈,话题总是离不开台上的身影,“他在干什么?写什么?好像是在做论证。”
“似乎是一个纯数学的论证?他刚才说‘很受启发’,难道是现场要做一个证明吗?”
“是什么证明呢?有点看不懂啊。”
第一排特邀评审嘉宾们也在讨论这个问题。
皮特-舒尔兹坐在第一排偏右侧的位置,他左侧就是赫赫有名的图灵奖获得者姚智期,他在水木大学创办了著名的‘姚班’,工作了有十几个年头。
现在年纪已经大了,但依旧在教育领域发光发热。
这次来参加计算机会议,也是因为知道有一种全新的算法,对此非常的感兴趣,他跟着思路一直听到了最后,到现在也感到有些疲惫。
他还是扭过头问向皮特-舒尔兹,“舒尔兹先生,刚才东港大学马教授的提问,应该没有问题吧?”
姚智期稍稍有些不确定,以个人经验而言,感觉王浩的算法证明已经很完善,应该不会出现‘无界’无法证明的情况,但一时间也没有想到该怎么证明。
他旁边坐着的就是年轻的菲尔兹得主,三十多岁的年纪,正处在科研的巅峰期,灵感活跃、精力充沛,世界上多数最顶级的研究,尤其是影响科学发展的研究,都是这个年龄段出现的。
虽然王浩完成的是一种计算机算法研究,但过程逻辑夹杂了大量的数学概念,复杂的数学逻辑想弄懂并不容易,顶级的数学家才更容易理解。
皮特-舒尔兹盯着正在撰写的白板,眼神动也不动一下,只是轻轻点头道,“他刚才已经说了,是用集合论和归纳法,这两种方法结合很容易证明出来。”
“很容易?”
姚智期用力的抿抿嘴,对此不予置评,一个问题的难易是相对而言的,对皮特-舒尔茨很容易的问题,对其他人而言,也许是一生无法跨越的鸿沟。
皮特-舒尔兹只是简单的说了一句话,但他在会场毫无疑问的拥有权威,即便是几个图灵奖获得者也无法争锋。