第36章 图灵等价证明成功

2023年2月15日，算力实验室！

“如果将模糊Zadeh算子的定义域扩大，就可以重新定义模糊极大极小算子，使得满足交换律、结合律和零元律。“

叶非皱眉思索的看着面前写满公式的纸：“就可以求出图灵等价。”

现在他们已经研究到最后一步，而最后一步他们已经研究一周。

经过许多次失败后，叶非昨天想到利用模糊算子、神经网络和递归函数，求出图灵等价。

因为图灵等价还未证明出来，但模糊极大极小算子神经元网络已经被证明出来。

而模糊极大极小神经元网络的计算能力和图灵机类似。

所以，就可以用模糊极大极小神经元网络替换图灵机，就可以求出图灵等价。

现在关键是如何替换。

“周教授，来，我们用Godel-Kleen部分递归函数来求证。”

“好！”

研究到这一步，周教授感觉已经跟不上叶非的思路，叶非说什么他就做什么。

此时，他就是一个机器人，毫无感情的执行叶非下达的一切命令。

和叶非待的时间越久，他越发现叶非的天才。

而自己只是一个只知道执行命令的废物。

对，和叶非在一起，你别有思想，只把自己当废物。

如果有思想，最终你会发现，最终自己还是废物。

既然如此，不如一开始就把自己当废物。

反正，最后课题会研究出来，只需要耐心等着享受成果。

周教授不会像叶非的导师鲁一山一样，鲁一山会反思自己为何废物。

而周教授不会，他是完全把自己当废物。

鲁一山会因为自己在课题中起不到太大作用而难过，但周教授不会。

既然起不到太大作用，就听叶非的命令，抱大腿完成课题。

鲁一山会因为叶非太天才，而不想和他合作。

周教授不会，越天才越好，越天才自己要更加抱紧大腿，多多合作。

他还想着，图灵等价证明出来后，下一次两人再次合作。

下午五点！

【图灵等价任务完成(100%)

奖励：100积分】

“呼……”叶非长呼一口气，看着身旁的周教授，笑道：“周教授，我们成功了。”

“啊……”周教授如梦初醒，问道：“成功了吗？”

“嗯！”叶非点头：“成功了，你看这一步。”

说着叶非指着纸上的一段公式。

“当相等判定函数与布尔选择函数合在一起，模糊极

大极小神经元网络就可以替换图灵机，也就证明出图灵等价。”

叶非笑道：“接下来的收尾工作交给你了。”

下面是验算，经过系统的提醒，他知道，他的证明是成功的。

但验算是每一个证明后必定要走的程序，所以，他把这個任务交给周教授。

“没问题！”周教授笑道。

图灵等价大部分工作是叶非做的，所以，为了抱紧大腿，其余工作周教授会做。

“论文通讯作者你要来当吗？”叶非问道。

每一个难题被证明后必定要写论文，叶非没问周教授谁写论文。

谁写论文倒不是说费心费力。

而是写论文的人必定是论文第一作者，第一作者在论文中是最重要的，这位置叶非不会让出去。

虽然一作可以同时有多人，但必须是多人在论文中的贡献相等，才能多人。

可是课题研究大部分功劳是叶非的，所以一作只能是叶非一人。

即使让周教授去写，他也写不出来。

因为课题中很多难题是叶非解决的，有些问题至今周教授都没搞明白。

“不了！”周教授没觉得自己在这次课题中起多大作用，他不好意思占通讯作者。

通讯作者虽然比第一作者次一点，但却掌握着论文的版权。

并且，如果他占通讯作者这个位置，在外人看来，是他指导叶非写论文。

他真不好意思说自己指导叶非，是叶非指导自己还差不多。

再说，如果他真占这么大便宜，惹恼叶非，下次两人再也没合作机会了。

科学的抱大腿方法，需要把控好尺度。

有些便宜可以占，有些便宜不能占。

叶非点了点头，也没推辞，道：“那你当二作吧！”

“行！”周教授点头：“验算完后，我把完整的证明过程发给伱。”

在做课题的时候，所有证明资料有些杂乱，需要事后整理。

而验算的过程中，刚好可以整理资料。

其中就有完整的证明过程。

“好！”叶非道。

分工已经明确，周教授验算证明过程，叶非写论文。

叶非一边向宿舍走去，一边心中思索：“图灵等价问题证明成果，等到论文写完后，开始与超算中心的合作。”

“对了，这件事不知道能不能设置成任务？”

说着，叶非在系统中设置任务。

【任务：与国家超算沙丘中心合作，创造超算算法(0%)

详情：以数学算法创造超算算法

奖励：50积分】

“50积分？”叶非惊愕：“积分值是解决图灵等价这一类难题的一半了，看样子又是一个难啃的骨头。”

叶非以为，自己都创造出数学算法，再以数学算法去创造超算算法，应该挺简单的。

但通过积分值看，难度有些高。

“叶非！”这时，许院长从不远处走来。

“许院长！”叶非道。

“你准备一下，下个月和我去领奖，你计算机奖获奖了。”

叶非眼前一亮，连追问道：“获几个奖？”

“你猜？”许院长笑道。

叶非摇头，觉得许院长都五十多岁的人了，还这么幼稚。

你猜？

你看我猜不猜？

叶非道：“下个月多少号？”

“15号。”

“好！”叶非点头：“到时候您提前一天打电话给我。”

3月15日，距离现在还有一个月时间。

“行！”许院长点头，问道：“你今天离开实验室挺早啊！”

叶非道：“课题研究成功了，剩下的收尾工作全部交给周教授，我回去写论文。”

“研究成功了？”许院长惊讶：“你是说图灵等价？”

“嗯！”叶非点头。

“你真成功了？”许院长惊讶的瞪大眼睛。

那可是图灵等价，困扰无数数学家和计算机科学家八十六年难题，就这样被证明出来了？

“真成功了。”叶非道。

“不可能吧！”许院长还是不敢相信。

“你去问问周教授就知道了。”叶非摆摆手道：“我回去了。”

他打了一个哈欠，道：“这段时间都没睡好觉，我要回去睡一觉。”

证明图灵等价最后阶段，他和周教授没日没夜的工作，每天只睡四个小时，除了吃饭和上洗手间，其余时间都在工作。

说完后，叶非继续向宿舍走去。

许院长快速向算力实验室赶去。

等到算力实验室后，求证周教授真的证明出图灵等价。

他惊呼道：“竟然真的成功了，周教授，你可不能骗我。”

“我骗你做什么？”周教授不耐烦的道：“过几天叶非的论文就写好了，你到时候就能看到了。”

“真证明出来了。”许院长惊讶的道。

他倒吸一口凉气，心中震惊：“很少见过有人在两个领域内都是顶级天才，而叶非就是。”

“他不仅是数学顶级天才，也是计算机顶级天才。”

“怎么才能把他挖来呢？”

许院长心中宛若百爪挠心，对叶非更加垂涎三尺。