我们马上记住本站网址,www.kcbook.pro,若被浏/览/器/转/码,可退出转/码继续阅读,感谢支持.
刘贺敏发过来的消息里,哀怨气息十足,让人听了都能感觉到酸楚,仿佛他本来能评上院士,结果因为赵奕要参加评选,不得不遗憾的选择退出。
赵奕看笑了。
如果不了解刘贺敏的话,完全看不出话里的打趣意味,但是他非常了解刘贺敏,知道刘贺敏不可能评的上数学物理学部的院士。
刘贺敏确实参加了数学物理学部的院士增选,但他就是参加评选人中‘重在参与’的那一个,而且最初被推荐成为候选人,熟悉的人就都知道,他就是参加一下凑个数。
当然了。
刘贺敏也许是真心想评上院士,但‘想’和‘是否能评上’,是完完全全的两件事,连他自己也知道评不上。
因为,研究方向和成果。
刘贺敏是科学院软件所的研究员,主要研究方向是计算机类的进化算法,他对数学的研究也和进化算法直接挂钩,但基本上都是信息学中,一些软件、算法设计的数学理论研究,就和赵奕为国内导航项目卫星,设计的‘数字压缩技术的数学理论’类似。
他的数学研究就是为计算机算术法、软件服务的。
所以刘贺敏应该去评选信息学部的院士。
科学院有信息学部,名字叫做信息技术科学部;工程院也有信息学部,名字叫做信息与电子工程学部。
刘贺敏的数学成果偏理论,但他在国际有影响力的成果,都是和人工智能有关,偏重于‘技术’,而不是理论性质的科学,他应该去评选信息与电子工程学部的院士,简单来说就是‘工程院院士’。
所以刘贺敏被推荐成为院士候选人,大概率就是数学物理学部的参选人数不够,就被划过去凑数了。
今年很特殊。
有些消息灵通的知道赵奕会被推荐,提前就决定等两年以后了。
现在刘贺敏酸溜溜的说自己中途放弃,还真就是和赵奕开个玩笑,但他主要还是给赵奕曝了‘内幕’,意思就是‘你已经被预订成为学部院士’了。
看着刘贺敏发来的消息,赵奕倒是没什么特别的感觉。
评上数学院士?
赵奕根本就没关心过,甚至就连哪个几个院士推荐自己成为候选人,他也就知道两、三个名字,还是从其他人嘴里听说的。
在完成了费马猜想以后,他会被认为是世界第一的数学家,都已经是‘世界第一’了,有没有‘数学院士’的名号,又有什么区别呢?
所以赵奕只是回复了一个大笑的表情,顺便补上几个字,“恭喜你,谢啦!”
“恭喜……?”
刘贺敏快速回复。
赵奕淡然的打了十几个字,“自己退出总比被刷下来好。”
“……当我没问。”
网线对面的刘贺敏连着咳嗦了好几声,仿佛是感觉一支穿云箭,顺着网线以光速扎进了他的心房。
于此同时。
世界学术界的舆论依然聚焦在赵奕的费马猜想证明上。
赵奕的证明比怀尔斯的简单许多,但实际上,一系列的证明过程,再包括之前发表的‘简化费马猜想’成果,加在一起正常发表论文,也轻松超过六十页。
普通数学学者想理解是很困难的,但一些的顶级的数学家,尤其是对拓扑学有研究的,理解起来就容易许多。
水木大学的报告会结束仅仅两天,就其他顶级的数学家站出来,表态赞叹赵奕的证明过程‘很精致’。
那是佛罗里达大学的汤姆森。
汤姆森和赵奕见过两次,偶尔也会交流数学研究,也能算的上是熟悉了,他对拓扑学有一定了解,仔细听了赵奕的报告讲解,又拿到一份证明论文后,他花费了几个小时,差不多就理解了内容。
之后他对细节的论证结果进行了演算。
这是报告会中没有的。
在费马猜想的报告会中,赵奕谈到一些简单的逻辑推理,或者是一些运算、变换步骤,都是直接一带而过的,简单的逻辑推理不用多解释,能明白的人瞬间就能理解,不能明白的人讲解也没意义,运算上来说则是太复杂,只是说明步骤都需要很多时间,就干脆直接给出了结论。
如果给出的结论是错误的,自然就说明赵奕的证明是有问题的,对细节进行验算还是很有必要的。
这个过程很耗费时间。
汤姆森用了一天半的时间,才完成了一半儿的运算,有些公式变换、函数代换的部分,因为没有详细的解答步骤,还需要自己去推断、思考,就干脆暂时选择放弃。
不过验算进行到这里,发现能简单算出来的,都是完全正确的,他也可以暂时得出结论。
“证明是严谨而精致的。”
汤姆森接受采访时说道,“我之所以用‘精致’来形容,是因为证明过程逻辑清晰,没有任何多余的步骤,纵观整个过程,每一个部分的目的都很明确的。”
“虽然还没有完成所有的演算,但我相信是正确的。”
“恭喜赵奕!”
“他也是我的朋友,我很高兴看到他又完成了一项最顶级的数学成果!”
汤姆森发表看法就是个开端。
之后好多的数学家都纷纷发表看法,表现说没有在证明过程中看到问题,并认为证明是完全正确的。
但他们不敢百分百确定。
因为未讲解的计算内容里,有些还是很复杂的,他们并没有全部验算出来,只能确定过程的缜密。
数学证明来说,到这里就可以确定是正确的了,计算的内容确实可能出错,但大致上没有问题,最少说明所采用的方法是正确的,是能够解决问题的。
就算中途有个计算出错,也只是个小错误,只要方法是正确的,以同样的方法去重新做计算,就能够得到最终的答案。
当好几个顶级数学家、学者纷纷发表看法后,媒体以及学术圈的人,都开始关注几个机构的态度了。
毫无疑问。
不管是牛顿研究院、克莱研究所,亦或是普林斯顿高等研究院,或者是其他的大学、机构之类,都肯定会对赵奕的证明进行严谨的验证。
【领红包】现金or点币红包已经发放到你的账户!微信关注公.众.号【书友大本营】领取!
他们必须这样做。
牛顿研究院肯定不希望看到赵奕证明费马猜想,因为十几年前他们肯定了怀尔斯的证明,结果赵奕证明了怀尔斯的逻辑错误,他们和赵奕不能说有深仇大恨,但怀尔斯的错误说明了他们的失败,后来学术能力都被一定程度上质疑。
当得知赵奕做出了费马猜想的证明,牛顿研究院肯定更加不爽了,很多顶级数学家的看法,说明赵奕的证明基本正确,他们完全不情愿去做出肯定。
可是,没办法。