图灵是否证明了停机问题的不可判定性？
2024-07-02
这篇论文探讨了通常认为图灵在 1936 年的论文“论可计算数...”中证明了停机问题的可计算不可判定性的说法是否准确，最终得出了一个细致的结论。
51
这篇论文探讨了通常认为图灵在 1936 年的论文“论可计算数...”中证明了停机问题的可计算不可判定性的说法是否准确，最终得出了一个细致的结论。