第82章 学术厅沸腾,陆神你快回来呀[2/2页]
天才一秒记住本站地址:[乐书网]https://m.leshuxs.org最快更新!无广告!
bsp;学生们聚精会神的看着论文,脸上时不时带有恍然大悟的表情。
想要听懂论文,得从计算机之父“阿兰·图灵”提出的第一个关于计算机的一般理论说起。
图灵证明计算机不是全能的,有些问题根本不可能用计算机得出结果。
而复杂性理论就是根据解决问题的难易程度,而对问题进行分类的计算问题的集合。
一个问题的难易程度是根据计算这个问题所需持续的时间来衡量的。
基于这种衡量标准。
它将问题分成不同的类型,mip*和re所代表的便是其中的两类。
……
高台上,陆尘不断的讲解ppt。
一道道公式出现在屏幕上。
时间缓缓流逝。
一个小时。
两个小时。
……
最终,当陆尘证明mip*=re成立时,现场陷入疯狂之中!
在场的教授们,脸上都透着不可思议的表情。
mip*=re成立!
陆尘从冯·诺依曼代数理论角度,反驳了法兰西菲尔兹奖得主connes的嵌入猜想理论,一举解决纯数学、量子力学以及计算机科学分支一个被称为“复杂性理论”的许多相关问题。
……
“amazing!真是个美妙的结论!”
哈佛大学教授莱斯利,慨叹道:“我真没想到在我有生之年,能看到这个问题被人解决!”
杨冬清笑呵呵的说道:“小陆是真正的天才!从今以后,数学家和量子物理界有的忙了……”
connes嵌入猜想,理论,是上世纪70年代的算子代数理论的中心猜想。
探讨的是无穷矩阵能否用有限矩阵近似。
该猜想已经存在40多年,数学家都希望这个猜想是正确的。
因为猜想正确,就可以证明其他的许多数学工具也是正确的。
现在陆尘的论文表明。
connes嵌入猜想就是错的!
你们以为的数学工具也是错的!
……
1993年,数学家boristsirelson指出了量子物理学中的一个问题。
他表明有两种不同的用于描述量子力学中的某个情况的数学形式,实际上是等价的。
一直以来,物理学家利用tsirelson的这个理论,成功地解释了亚原子世界。
但是陆尘的论文表明。
你们的理论也是错的!
……
莱斯利神情复杂的说道:“mip*=re的证明,意味着利用量子逻辑来计算的量子计算机,可以从理论上验证大量问题的答案。
也就是说,mip*=re多方交互式证明、加上量子纠缠的计算能力,给图灵停机问题提供了一个思路。
两台机器相互纠缠、相互验证,可以用于解决图灵停机问题。
计算机科学中的一个证明,对量子物理学界和数学家产生了深远的影响。
陆尘的论文,很快就会轰动学术界。
至于今天的计算机学术交流会议。
你们燕京大学赢了!”
“承让!”
杨冬清微微额首。
她已经想好了。
等会儿就找来陆尘,收为关门弟子。
让陆尘在计算机领域深耕细作,未来成为一名伟大的计算机学家。
……
当常春藤联盟宣布,今天获胜者为燕京大学时。
学术报告厅,彻底沸腾!
燕京大学赢了哈佛大学!
燕京大学赢了常春藤联盟!
上千名燕大学子,高呼陆尘的名字,庆祝这一值得纪念的时刻。
喊着喊着,名字就变成了“陆神”。
然而,学生们没喊多久,却发现主人公不见了?
互相询问后才知道。
原来陆尘已经离开,前往常春藤和燕京大学的数学学术交流会议了……
燕大学生有些不得劲。
陆神你是计算机学院的,前往数学学术交流会议干啥呀!
事了拂衣去,的确很装哔。
但我们此刻都想说:陆神,你快回来呀!
第82章 学术厅沸腾,陆神你快回来呀[2/2页]
『加入书签,方便阅读』