图灵是否证明了停机问题的不可判定性？ (arxiv.org)

原文: [2407.00680] Did Turing prove the undecidability of the halting problem?

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