Loops 为什么我们需要在图灵'；什么是停滞不前的证据？
例如，假设我有一台图灵机，H，它告诉我们一个程序和输入是否会停止。假设我们称H为自身。它必须给出一个答案，所以如果它打印出“不停止”，那么从技术上讲，它不是停止打印该声明了吗？或者理论上它总是打印“停止”吗？我很难把我的头绕到纯粹地呼唤H本身上，没有否定，它会做什么。我明白为什么否定会导致矛盾，但我只是想知道下面的场景是否也会导致矛盾Loops 为什么我们需要在图灵'；什么是停滞不前的证据？,loops,logic,proof,turing-machines,halting-problem,Loops,Logic,Proof,Turing Machines,Halting Problem,例如，假设我有一台图灵机，H，它告诉我们一个程序和输入是否会停止。假设我们称H为自身。它必须给出一个答案，所以如果它打印出“不停止”，那么从技术上讲，它不是停止打印该声明了吗？或者理论上它总是打印“停止”吗？我很难把我的头绕到纯粹地呼唤H本身上，没有否定，它会做什么。我明白为什么否定会导致矛盾，但我只是想知道下面的场景是否也会导致矛盾 谢谢大家! 你需要证明H不存在。您已经证明，应用于自身的H无法打印“不停止”。但是，正如您正确地指出的，它打印“确实停止”的可能性并不排除。这里面没有明显的矛盾。
谢谢大家! 你需要证明H不存在。您已经证明，应用于自身的H无法打印“不停止”。但是，正如您正确地指出的，它打印“确实停止”的可能性并不排除。这里面没有明显的矛盾。因此，将H应用于自身并不足以证明H不存在，我们需要使用其他技术。说这种情况不会导致矛盾是不正确的。如果你进一步探索，它可能会。它只是没有立即这样做