因为图灵等价还未证明出来,但模糊极大极小算子神经元网络已经被证明出来。
而模糊极大极小神经元网络的计算能力和图灵机类似。
所以,就可以用模糊极大极小神经元网络替换图灵机,就可以求出图灵等价。
现在关键是如何替换。
“周教授,来,我们用gdel-kleen部分递归函数来求证。”
“好!”
研究到这一步,周教授感觉已经跟不上叶非的思路,叶非说
第40章 图灵等价证明成功(2 / 17)
因为图灵等价还未证明出来,但模糊极大极小算子神经元网络已经被证明出来。
而模糊极大极小神经元网络的计算能力和图灵机类似。
所以,就可以用模糊极大极小神经元网络替换图灵机,就可以求出图灵等价。
现在关键是如何替换。
“周教授,来,我们用gdel-kleen部分递归函数来求证。”
“好!”
研究到这一步,周教授感觉已经跟不上叶非的思路,叶非说