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

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

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

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

43

图灵

停机问题

可计算性理论

上一篇: GitHub - vslavik/diff-pdf: 一个用于直观比较两个 PDF 文件的简单工具

下一篇: 档案如何成就或毁掉哲学家的声誉

评论已经关闭！

返回首页