第一项始终是图钉的来源。总体可信度是各份资料对上方所用开始和结束时间支持程度的加权平均;资料每比最新的一份旧 180 天,权重减半。
维基百科“图灵证明”条目毫不含糊地给出了提交日期:“图灵证明是艾伦·图灵于 1936 年 11 月 12 日提交、1937 年首次发表的一项证明,题为《论可计算数及其在判定问题上的应用》。”图钉取的是提交日期,即有明确日期的行为;刊载该论文的《伦敦数学学会会刊》一期日期为 1937 年。
Dates the submission and publication and explains what the paper proves: "the second proof (after Church's theorem) of the negation of Hilbert's Entscheidungsproblem... that some decision problems are 'undecidable'".[1]
The author's own article, for where he was working in 1936 and what the machine he defined became.[1]
有遗漏或错误吗?用你自己的话说明:能佐证此图钉的链接、不同的开始或结束日期及理由,或缺失、有误的信息。AI 会对照此图钉的来源进行核实,搜索更好的来源,并添加任何支持你说法的页面。图钉自身的来源仍然最重要。AI 也会查看图片:显示的是别的东西或显示效果差的图片会被移到后面或替换。
原标题: Turing Submits On Computable Numbers