摘要：图灵在1936年的原文中提出了一个主张，即他定义了一个不可计算的数，并提出了无法通过计算机计算可计数序列的对角线的机器不存在的论点。本文对原文的论证进行了详细分析，指出该论证不能被视为证明，并且确实没有证据表明存在这样一个定义的不可计算数。
作者：Paola Cattabriga
论文ID：1308.0497
分类：Computational Complexity
分类简称：cs.CC
提交时间：2023-05-16
PDF 下载： 英文版 中文版pdf翻译中