“谢谢
家!”
台
顿
响起了
烈
掌声。
报告
里并没有完全结束,接
来就

答疑
间,
议主持才刚刚
始,其
还都
讨论


,
钧就第一
举起了
。
议主持注意
了
钧,
就让
提
。

钧
礼貌
站了起来,
面带微



,“
浩博士,
有
题。”
全场所有
都
过来。
浩
微微有些惊讶,
惊讶



钧
提
,
都
称得
仇
,
钧


报告
‘找麻烦’,也
非常正常
事
。
惊讶


钧竟然
听懂报告,
由
方
平
一
。
显然。


站起来
提
,肯定
听懂了报告,否则


题就


。

钧彷佛就
普通
学者,
礼貌
了起来,“
论证有界系统

,采用一


析法,
方法非常
巧妙。
用
方法
论证,无法证
针
所有
系统、所有
系都有效。”
“
,当系统足够复杂,
支足够
,

难
象
步,就无法证

算法
有效
。”

一
有界
无界
提
,也
适用范围
提
。
浩
论证
有界系统,也就
确定
系统
况
,有效
无关
位算法
有效
,

证
没有覆盖
‘无界系统’,也就
一些‘没有
象
’或者‘无限延伸’
系统,针
类型
系统,算法也许就
无效
。
换句话
,有效
无关
位算法
论证并
完善。


放
普通
活
,类似
疑

理解为‘没事找事’,平
都接

、
象
,
论证还有
意义?

放
学术界,数学、理论计算领域,却
非常有意义
。
一些数学
题都
牵扯‘无穷’
概念,有些定理
须
证
针
‘无穷
或无穷小’也一样通用。

钧
提
非常有
准,甚



接
了

。
场里

由得都
讲台,
听听
浩
怎
解释。
若
无法给
回答,或者
没有
关
论证,并
影响有效
无关
位算法
应用,
针
学术成
、报告
来
,肯定就
降了一
档次。
……
浩站
报告台
,思考
愣
了原
。
其
还
为
被
住了。
实际
,

因为提
愣住,


钧提
,
量
识、
法、灵
,骤然间涌
脑海里,随
收
了系统提示。
希望大家下载本站的app,这样就可以永久访问本站,app没有广告!阅读方便
后期会推出留言功能,你们提交你们喜欢的小说,我来购买发布到本app上
搜索的提交是按输入法界面上的确定/提交/前进键的