0

据我了解，赖斯定理似乎暗示了停机问题的存在。也就是说，利用赖斯定理，我们可以证明停机问题是不可判定的。但是，对我来说，似乎可以使用停止问题不可判定来证明赖斯定理。我不确定如何证明这样的事情（尽管矛盾似乎是很自然的事情），但我觉得这应该是可能的？

4

0 回答 0