爱读文学

字:
关灯 护眼
爱读文学 > 从大学学霸到首席院士 > 第36章 图灵等价证明成功

第36章 图灵等价证明成功

  第36章 图灵等价证明成功 (第1/2页)
  
  2023年2月15日,算力实验室!
  
  “如果将模糊Zadeh算子的定义域扩大,就可以重新定义模糊极大极小算子,使得满足交换律、结合律和零元律。“
  
  叶非皱眉思索的看着面前写满公式的纸:“就可以求出图灵等价。”
  
  现在他们已经研究到最后一步,而最后一步他们已经研究一周。
  
  经过许多次失败后,叶非昨天想到利用模糊算子、神经网络和递归函数,求出图灵等价。
  
  因为图灵等价还未证明出来,但模糊极大极小算子神经元网络已经被证明出来。
  
  而模糊极大极小神经元网络的计算能力和图灵机类似。
  
  所以,就可以用模糊极大极小神经元网络替换图灵机,就可以求出图灵等价。
  
  现在关键是如何替换。
  
  “周教授,来,我们用Godel-Kleen部分递归函数来求证。”
  
  “好!”
  
  研究到这一步,周教授感觉已经跟不上叶非的思路,叶非说什么他就做什么。
  
  此时,他就是一个机器人,毫无感情的执行叶非下达的一切命令。
  
  和叶非待的时间越久,他越发现叶非的天才。
  
  而自己只是一个只知道执行命令的废物。
  
  对,和叶非在一起,你别有思想,只把自己当废物。
  
  如果有思想,最终你会发现,最终自己还是废物。
  
  既然如此,不如一开始就把自己当废物。
  
  反正,最后课题会研究出来,只需要耐心等着享受成果。
  
  周教授不会像叶非的导师鲁一山一样,鲁一山会反思自己为何废物。
  
  而周教授不会,他是完全把自己当废物。
  
  鲁一山会因为自己在课题中起不到太大作用而难过,但周教授不会。
  
  既然起不到太大作用,就听叶非的命令,抱大腿完成课题。
  
  鲁一山会因为叶非太天才,而不想和他合作。
  
  周教授不会,越天才越好,越天才自己要更加抱紧大腿,多多合作。
  
  他还想着,图灵等价证明出来后,下一次两人再次合作。
  
  下午五点!
  
  【图灵等价任务完成(100%)
  
  奖励:100积分】
  
  “呼……”叶非长呼一口气,看着身旁的周教授,笑道:“周教授,我们成功了。”
  
  “啊……”周教授如梦初醒,问道:“成功了吗?”
  
  “嗯!”叶非点头:“成功了,你看这一步。”
  
  说着叶非指着纸上的一段公式。
  
  “当相等判定函数与布尔选择函数合在一起,模糊极大极小神经元网络就可以替换图灵机,也就证明出图灵等价。”
  
  叶非笑道:“接下来的收尾工作交给你了。”
  
  下面是验算,经过系统的提醒,他知道,他的证明是成功的。
  
  但验算是每一个证明后必定要走的程序,所以,他把这個任务交给周教授。
  
  “没问题!”周教授笑道。
  
  图灵等价大部分工作是叶非做的,所以,为了抱紧大腿,其余工作周教授会做。
  
  “论文通讯作者你要来当吗?”叶非问道。
  
  每一个难题被证明后必定要写论文,叶非没问周教授谁写论文。
  
  谁写论文倒不是说费心费力。
  
  而是写论文的人必定是论文第一作者,第一作者在论文中是最重要的,这位置叶非不会让出去。
  
  虽然一作可以同时有多人,但必须是多人在论文中的贡献相等,才能多人。
  
  可是课题研究大部分功劳是叶非的,所以一作只能是叶非一人。
  
  即使让周教授去写,他也写不出来。
  
  因为课题中很多难题是叶非解决的,有些问题至今周教授都没搞明白。
  
  “不了!”周教授没觉得自己在这次课题中起多大作用,他不好意思占通讯作者。
  
  通讯作者虽然比第一作者次一点,但却掌握着论文的版权。
  
  
  
  (本章未完,请点击下一页继续阅读)
『加入书签,方便阅读』
热门推荐
在木叶打造虫群科技树 情圣结局后我穿越了 修神外传仙界篇 韩娱之崛起 穿越者纵横动漫世界 不死武皇 妖龙古帝 残魄御天 宠妃难为:皇上,娘娘今晚不侍寝 杀手弃妃毒逆天