第40章 图灵等价证明成功(2 / 17)

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

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

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

现在关键是如何替换。

“周教授,来,我们用gdel-kleen部分递归函数来求证。”

“好!”

研究到这一步,周教授感觉已经跟不上叶非的思路,叶非说