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

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