Turing complete 图灵机器能决定一个形式化的计算模型是否是图灵完备的吗？

也就是说，图灵机能否以形式系统S作为输入，并确定S是否是图灵机完备的

我认为这是一个无法确定的问题，对吗

如果它是不可判定的，为什么我们（作为人类）可以决定图灵完备性

Hmm:-）决定图灵完整性不是决定人脑是否完整的核心；可以通过机械步骤来确定图灵完整性；这不是问题

关键问题是，人脑是超计算的还是超图灵的

一个测试是对以下问题之一的回答是“是”：人类能预测图灵机器何时停止吗？（即解决停车问题） 或者人脑不受赖斯定理的约束

在一般情况下，这两个问题的答案似乎都是否定的，因为我们可以想象一个TM有无限长的磁带，只是在跳跃，我们永远无法知道它何时会击中一个细胞，让它停止

这种看似超级计算的能力来自于这样一个事实：我们把普通的计算机/软件/机械过程等误认为是TMs

Rice定理可以在具有马尔可夫性质且具有有限个位置转移网表示的系统的“特例”中忽略。我们的一般环境中有大量的这些“特殊情况”，因此看起来人类大脑似乎能够进行超级计算，因为它倾向于从特殊情况中得出一般结论，但可能不是，因为我们人类还没有体验到与图灵机的交互作用

我们（作为人类）也可以为算法停止提供证据。你需要意识到“在某些情况下可以解决问题并不意味着你在所有情况下都可以解决问题”。我还可以编写一个程序，能够确定某些情况下的停止问题，但不可确定的意思是，不存在适用于任意算法的通用算法。