图灵是否证明了停机问题的不可判定性？

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