第36章 图灵等价证明成功
2023年2月15日,算力实验室!
“如果将模糊Zadeh算子的定义域扩大,就可以重新定义模糊极大极小算子,使得满足交换律、结合律和零元律。“
叶非皱眉思索的看着面前写满公式的纸:“就可以求出图灵等价。”
现在他们已经研究到最后一步,而最后一步他们已经研究一周。
经过许多次失败后,叶非昨天想到利用模糊算子、神经网络和递归函数,求出图灵等价。
因为图灵等价还未证明出来,但模糊极大极小算子神经元网络已经被证明出来。
而模糊极大极小神经元网络的计算能力和图灵机类似。
所以,就可以用模糊极大极小神经元网络替换图灵机,就可以求出图灵等价。
现在关键是如何替换。
“周教授,来,我们用Godel-Kleen部分递归函数来求证。”
“好!”
研究到这一步,周教授感觉已经跟不上叶非的思路,叶非说什么他就做什么。
此时,他就是一个机器人,毫无感情的执行叶非下达的一切命令。
和叶非待的时间越久,他越发现叶非的天才。
而自己只是一个只知道执行命令的废物。
对,和叶非在一起,你别有思想,只把自己当废物。
如果有思想,最终你会发现,最终自己还是废物。
既然如此,不如一开始就把自己当废物。
反正,最后课题会研究出来,只需要耐心等着享受成果。
周教授不会像叶非的导师鲁一山一样,鲁一山会反思自己为何废物。
而周教授不会,他是完全把自己当废物。
鲁一山会因为自己在课题中起不到太大作用而难过,但周教授不会。
既然起不到太大作用,就听叶非的命令,抱大腿完成课题。
鲁一山会因为叶非太天才,而不想和他合作。
周教授不会,越天才越好,越天才自己要更加抱紧大腿,多多合作。
他还想着,图灵等价证明出来后,下一次两人再次合作。
下午五点!
【图灵等价任务完成
奖励:100积分】
“呼……”叶非长呼一口气,看着身旁的周教授,笑道:“周教授,我们成功了。”
“啊……”周教授如梦初醒,问道:“成功了吗?”
“嗯!”叶非点头:“成功了,你看这一步。”
说着叶非指着纸上的一段公式。
“当相等判定函数与布尔选择函数合在一起,模糊极大极小神经元网络就可以替换图灵机,也就证明出图灵等价。”
叶非笑道:“接下来的收尾工作交给你了。”
下面是验算,经过系统的提醒,他知道,他的证明是成功的。
但验算是每一个证明后必定要走的程序,所以,他把这個任务交给周教授。
“没问题!”周教授笑道。
图灵等价大部分工作是叶非做的,所以,为了抱紧大腿,其余工作周教授会做。
“论文通讯作者你要来当吗?”叶非问道。
每一个难题被证明后必定要写论文,叶非没问周教授谁写论文。
谁写论文倒不是说费心费力。
而是写论文的人必定是论文第一作者,第一作者在论文中是最重要的,这位置叶非不会让出去。
虽然一作可以同时有多人,但必须是多人在论文中的贡献相等,才能多人。
可是课题研究大部分功劳是叶非的,所以一作只能是叶非一人。
即使让周教授去写,他也写不出来。
因为课题中很多难题是叶非解决的,有些问题至今周教授都没搞明白。
“不了!”周教授没觉得自己在这次课题中起多大作用,他不好意思占通讯作者。
通讯作者虽然比第一作者次一点,但却掌握着论文的版权。
并且,如果他占通讯作者这个位置,在外人看来,是他指导叶非写论文。
他真不好意思说自己指导叶非,是叶非指导自己还差不多。
再说,如果他真占这么大便宜,惹恼叶非,下次两人再也没合作机会了。
科学的抱大腿方法,需要把控好尺度。
有些便宜可以占,有些便宜不能占。
叶非点了点头,也没推辞,道:“那你当二作吧!”
“行!”周教授点头:“验算完后,我把完整的证明过程发给伱。”
在做课题的时候,所有证明资料有些杂乱,需要事后整理。
而验算的过程中,刚好可以整理资料。
其中就有完整的证明过程。
“好!”叶非道。
分工已经明确,周教授验算证明过程,叶非写论文。
叶非一边向宿舍走去,一边心中思索:“图灵等价问题证明成果,等到论文写完后,开始与超算中心的合作。”
“对了,这件事不知道能不能设置成任务?”
说着,叶非在系统中设置任务。
【任务:与国家超算沙丘中心合作,创造超算算法
详情:以数学算法创造超算算法
奖励:50积分】
“50积分?”叶非惊愕:“积分值是解决图灵等价这一类难题的一半了,看样子又是一个难啃的骨头。”
叶非以为,自己都创造出数学算法,再以数学算法去创造超算算法,应该挺简单的。
但通过积分值看,难度有些高。
“叶非!”这时,许院长从不远处走来。
“许院长!”叶非道。
“你准备一下,下个月和我去领奖,你计算机奖获奖了。”
叶非眼前一亮,连追问道:“获几个奖?”
“你猜?”许院长笑道。
叶非摇头,觉得许院长都五十多岁的人了,还这么幼稚。
你猜?
你看我猜不猜?
叶非道:“下个月多少号?”
“15号。”
“好!”叶非点头:“到时候您提前一天打电话给我。”
3月15日,距离现在还有一个月时间。
“行!”许院长点头,问道:“你今天离开实验室挺早啊!”
叶非道:“课题研究成功了,剩下的收尾工作全部交给周教授,我回去写论文。”
“研究成功了?”许院长惊讶:“你是说图灵等价?”
“嗯!”叶非点头。
“你真成功了?”许院长惊讶的瞪大眼睛。
那可是图灵等价,困扰无数数学家和计算机科学家八十六年难题,就这样被证明出来了?
“真成功了。”叶非道。
“不可能吧!”许院长还是不敢相信。
“你去问问周教授就知道了。”叶非摆摆手道:“我回去了。”
他打了一个哈欠,道:“这段时间都没睡好觉,我要回去睡一觉。”
证明图灵等价最后阶段,他和周教授没日没夜的工作,每天只睡四个小时,除了吃饭和上洗手间,其余时间都在工作。
说完后,叶非继续向宿舍走去。
许院长快速向算力实验室赶去。
等到算力实验室后,求证周教授真的证明出图灵等价。
他惊呼道:“竟然真的成功了,周教授,你可不能骗我。”
“我骗你做什么?”周教授不耐烦的道:“过几天叶非的论文就写好了,你到时候就能看到了。”
“真证明出来了。”许院长惊讶的道。
他倒吸一口凉气,心中震惊:“很少见过有人在两个领域内都是顶级天才,而叶非就是。”
“他不仅是数学顶级天才,也是计算机顶级天才。”
“怎么才能把他挖来呢?”
许院长心中宛若百爪挠心,对叶非更加垂涎三尺。
请收藏本站:https://www.dhdzi.cc。大红大紫手机版:https://m.dhdzi.cc
“如果将模糊Zadeh算子的定义域扩大,就可以重新定义模糊极大极小算子,使得满足交换律、结合律和零元律。“
叶非皱眉思索的看着面前写满公式的纸:“就可以求出图灵等价。”
现在他们已经研究到最后一步,而最后一步他们已经研究一周。
经过许多次失败后,叶非昨天想到利用模糊算子、神经网络和递归函数,求出图灵等价。
因为图灵等价还未证明出来,但模糊极大极小算子神经元网络已经被证明出来。
而模糊极大极小神经元网络的计算能力和图灵机类似。
所以,就可以用模糊极大极小神经元网络替换图灵机,就可以求出图灵等价。
现在关键是如何替换。
“周教授,来,我们用Godel-Kleen部分递归函数来求证。”
“好!”
研究到这一步,周教授感觉已经跟不上叶非的思路,叶非说什么他就做什么。
此时,他就是一个机器人,毫无感情的执行叶非下达的一切命令。
和叶非待的时间越久,他越发现叶非的天才。
而自己只是一个只知道执行命令的废物。
对,和叶非在一起,你别有思想,只把自己当废物。
如果有思想,最终你会发现,最终自己还是废物。
既然如此,不如一开始就把自己当废物。
反正,最后课题会研究出来,只需要耐心等着享受成果。
周教授不会像叶非的导师鲁一山一样,鲁一山会反思自己为何废物。
而周教授不会,他是完全把自己当废物。
鲁一山会因为自己在课题中起不到太大作用而难过,但周教授不会。
既然起不到太大作用,就听叶非的命令,抱大腿完成课题。
鲁一山会因为叶非太天才,而不想和他合作。
周教授不会,越天才越好,越天才自己要更加抱紧大腿,多多合作。
他还想着,图灵等价证明出来后,下一次两人再次合作。
下午五点!
【图灵等价任务完成
奖励:100积分】
“呼……”叶非长呼一口气,看着身旁的周教授,笑道:“周教授,我们成功了。”
“啊……”周教授如梦初醒,问道:“成功了吗?”
“嗯!”叶非点头:“成功了,你看这一步。”
说着叶非指着纸上的一段公式。
“当相等判定函数与布尔选择函数合在一起,模糊极大极小神经元网络就可以替换图灵机,也就证明出图灵等价。”
叶非笑道:“接下来的收尾工作交给你了。”
下面是验算,经过系统的提醒,他知道,他的证明是成功的。
但验算是每一个证明后必定要走的程序,所以,他把这個任务交给周教授。
“没问题!”周教授笑道。
图灵等价大部分工作是叶非做的,所以,为了抱紧大腿,其余工作周教授会做。
“论文通讯作者你要来当吗?”叶非问道。
每一个难题被证明后必定要写论文,叶非没问周教授谁写论文。
谁写论文倒不是说费心费力。
而是写论文的人必定是论文第一作者,第一作者在论文中是最重要的,这位置叶非不会让出去。
虽然一作可以同时有多人,但必须是多人在论文中的贡献相等,才能多人。
可是课题研究大部分功劳是叶非的,所以一作只能是叶非一人。
即使让周教授去写,他也写不出来。
因为课题中很多难题是叶非解决的,有些问题至今周教授都没搞明白。
“不了!”周教授没觉得自己在这次课题中起多大作用,他不好意思占通讯作者。
通讯作者虽然比第一作者次一点,但却掌握着论文的版权。
并且,如果他占通讯作者这个位置,在外人看来,是他指导叶非写论文。
他真不好意思说自己指导叶非,是叶非指导自己还差不多。
再说,如果他真占这么大便宜,惹恼叶非,下次两人再也没合作机会了。
科学的抱大腿方法,需要把控好尺度。
有些便宜可以占,有些便宜不能占。
叶非点了点头,也没推辞,道:“那你当二作吧!”
“行!”周教授点头:“验算完后,我把完整的证明过程发给伱。”
在做课题的时候,所有证明资料有些杂乱,需要事后整理。
而验算的过程中,刚好可以整理资料。
其中就有完整的证明过程。
“好!”叶非道。
分工已经明确,周教授验算证明过程,叶非写论文。
叶非一边向宿舍走去,一边心中思索:“图灵等价问题证明成果,等到论文写完后,开始与超算中心的合作。”
“对了,这件事不知道能不能设置成任务?”
说着,叶非在系统中设置任务。
【任务:与国家超算沙丘中心合作,创造超算算法
详情:以数学算法创造超算算法
奖励:50积分】
“50积分?”叶非惊愕:“积分值是解决图灵等价这一类难题的一半了,看样子又是一个难啃的骨头。”
叶非以为,自己都创造出数学算法,再以数学算法去创造超算算法,应该挺简单的。
但通过积分值看,难度有些高。
“叶非!”这时,许院长从不远处走来。
“许院长!”叶非道。
“你准备一下,下个月和我去领奖,你计算机奖获奖了。”
叶非眼前一亮,连追问道:“获几个奖?”
“你猜?”许院长笑道。
叶非摇头,觉得许院长都五十多岁的人了,还这么幼稚。
你猜?
你看我猜不猜?
叶非道:“下个月多少号?”
“15号。”
“好!”叶非点头:“到时候您提前一天打电话给我。”
3月15日,距离现在还有一个月时间。
“行!”许院长点头,问道:“你今天离开实验室挺早啊!”
叶非道:“课题研究成功了,剩下的收尾工作全部交给周教授,我回去写论文。”
“研究成功了?”许院长惊讶:“你是说图灵等价?”
“嗯!”叶非点头。
“你真成功了?”许院长惊讶的瞪大眼睛。
那可是图灵等价,困扰无数数学家和计算机科学家八十六年难题,就这样被证明出来了?
“真成功了。”叶非道。
“不可能吧!”许院长还是不敢相信。
“你去问问周教授就知道了。”叶非摆摆手道:“我回去了。”
他打了一个哈欠,道:“这段时间都没睡好觉,我要回去睡一觉。”
证明图灵等价最后阶段,他和周教授没日没夜的工作,每天只睡四个小时,除了吃饭和上洗手间,其余时间都在工作。
说完后,叶非继续向宿舍走去。
许院长快速向算力实验室赶去。
等到算力实验室后,求证周教授真的证明出图灵等价。
他惊呼道:“竟然真的成功了,周教授,你可不能骗我。”
“我骗你做什么?”周教授不耐烦的道:“过几天叶非的论文就写好了,你到时候就能看到了。”
“真证明出来了。”许院长惊讶的道。
他倒吸一口凉气,心中震惊:“很少见过有人在两个领域内都是顶级天才,而叶非就是。”
“他不仅是数学顶级天才,也是计算机顶级天才。”
“怎么才能把他挖来呢?”
许院长心中宛若百爪挠心,对叶非更加垂涎三尺。
请收藏本站:https://www.dhdzi.cc。大红大紫手机版:https://m.dhdzi.cc