King's College (University of Cambridge), Bene't Street, Newnham, Cambridge, Cambridgeshire, Cambridgeshire and Peterborough, England, CB2 1ST, United Kingdom
University of Cambridge
已确认日期确定性: 已确认已公布为确定日期来源对日期的表述有多确定：已确认、已排期、预估、已推迟或未核实。显示所有“已确认”的图钉可信度 88%总体可信度: 88%该图钉的来源和参考资料对其日期的支持程度。包括来源在内的 3 份资料对图钉开始和结束时间支持程度的加权平均；资料每比最新的一份旧 180 天，权重减半显示所有可信度不低于 75% 的图钉
维基百科“图灵证明”条目毫不含糊地给出了提交日期：“图灵证明是艾伦·图灵于 1936 年 11 月 12 日提交、1937 年首次发表的一项证明，题为《论可计算数及其在判定问题上的应用》。”图钉取的是提交日期，即有明确日期的行为；刊载该论文的《伦敦数学学会会刊》一期日期为 1937 年。[1]艾伦·图灵向伦敦数学学会提交《论可计算数及其在判定问题上的应用》。论文定义的抽象机器成为此后所有计算机的模型，并证明了判定问题是不可判定的。
1.00