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