教会图论文（八）
7.图灵和教会的一些关键评论
7.1图灵机
提出了他的第一个描述了一个有单词的书籍：
我们可以将一个人与计算机计算到计算机的过程中。 （图灵1936 [2004：59]）
图灵机是一种模型，在某些方面理想，是根据一种有效方法计算的人类。
Wittgenstein以一种引人注目的方式把这一点放在醒目之中：
图灵的“机器”。 这些机器是计算的人类。 （Wittgenstein 1947 [1980：1096]）
这是一个点，以又一次地又一次地强调。 例如：
一个带有纸张，铅笔和橡胶的人，并受严格的纪律，实际上是一个通用机器。 （图灵1948 [2004：416]）
为了理解图灵的“在可计算数”和后来的文本中，必须记住，当他使用“计算机”，“可计算”和“计算”的单词时，他没有与机器相关的现代意识，但与人类有关计算器。 例如：
计算机总是花费只要在实际乘法中编写数字并决定下一步，它与ACE [自动计算引擎]相同...... [T]他王牌将完成约10,000台计算机的工作......计算机仍将在小型中使用计算......（图灵1947 [2004：387,391]）
Tying的ACE是一个早期的电子存储程序数字计算机，建于伦敦国家实验室; 飞行员版本 - 在世界上最快运行的计算机在1950年的最快运行，以及Deuce，Deuce的商业模式由英语电气成功销售。
7.2人类计算和机器计算
通用图灵机是蓝图的电子存储程序数字计算机是每个蓝图，计算地等同于图定机器，因此他们也是从事计算的人类的模型。 当选择以适合于无知的观众的方式解释这些电子机器时，选择这一点：
可以通过说这些机器旨在执行可以由人机完成的任何操作来解释数字计算机背后的想法。 （图灵1950A [2004：444]）
他更准确地在包含他的ACE设计的技术文件中稍微努力：
能够通过机器[ace]解决方案的问题可以具体地定义。 它们是人类文职劳动力解决的那些问题的[秘书子]，致力于固定规则，而不理解。 （图灵1945 [2005：386]）
在人文职员可用的纸张和时间方面，图灵继续表征了这个子集。
可能是因为他认为这一点是了解他选择开始他的程序员手册的新电子机器的性质，以便使用这种解释：
电子计算机旨在执行任何可以通过人类运营商以纪律但疏忽方式工作的任何明确的经验法则。 （图灵C1950：1）
它并不缺乏想象力，导致制定他的L.C.M.S在人类计算机可以实现的内容。 他发明了图灵机的目的要求它。 OntscheidungsProbral是找到某种人的人类可执行方法的问题，并且如前所述，图灵的目的旨在表明，在完全一阶谓词微积分的情况下没有这种方法。
7.3教堂和人机
在1936年纸上放置了人机中心舞台。 不是那么教堂。 教堂没有在OntscheidungsProblus（教堂1936A，B）上的两个突破性的论文中明确提及计算或人类计算机。 他谈到了“有效的算法”，认为其读者将理解该术语是指人体计算。 他还使用了“有效方法”一词，再次认为读者会理解他会谈论人类可执行方法。
教堂也使用了“算法”一词，说
很明显，对于正整数的任何递归函数，存在使用该算法使用哪种算法可以有效地计算该功能的任何所需的特定值。 （教堂1936A：351）
他进一步说，可以如下拼写有效可计算性的概念：
通过定义有效可有效可计算的功能，如果存在用于计算其值的算法。 （教堂1936A：358）
这是教会对图灵的1936纸的审查，他将人机从阴影中带出来。 他写道：
[a]人类计算器，提供用铅笔和纸张和明确指令，可以被视为一种图灵机。 因此，立即明确表示所定义的可计算性，如图所示，可以用（特别是，除了）概念中的概念中的概念来识别[即，由图灵机的计算性]，因为它出现在某些数学问题中......一般有任何问题，涉及发现的任何问题算法。 （1937A教堂：43）
7.4图灵使用“机器”
重要的是要注意，当图灵使用“机器”这个词时，他经常意味着没有机器，但是，正如我们现在所说的那样，图灵机。 在一个点，他明确提请注意这种用法：
当然的表达式“机器过程”是指通过机器类型执行的“机器过程”，我正在考虑[在“可计算数”中的[IN“]。 （图灵1947 [2004：378-9]）
因此，几页之后，提出了“机器过程和拇指过程的规则是同义词”（1947 [2004：383]），他应理解为推进教会图论文（及其匡威），而不是一个版本最大论文。 除非牢记他的预期用途，否则可能会随之而来的误解。 特别易于误导是如下的陈述，其中一个休闲读者可能误认为是最大论证的制定：
通用机器的重要性很清楚。 我们不需要对不同工作的不同机器进行无限。 一个人就足够了。 生产各种工作机器的工程问题被“编程”通用机器的办公室工作所取代，以便执行这些工作。 （图灵1948 [2004：414]）
在背景上，完全清楚的是，这些言论涉及相当于图灵机的机器; 该段落嵌入了L.C.M.S.的讨论
如果疑问，是否会提出危险的最大值论文是未知的。 肯定没有文本证据，有利于他所做的观点。 对于德意志 - 沃尔弗兰论文及其同源也是如此：没有文本证据，即提取属于任何此类论文的证据。
7.5教堂的图灵论文版本
有趣的是，教会在1937年审查中提出的计算性的概要并不完全正确。 教堂说：
作者[图灵]提出了一种数字0和1的无限序列，即“可计算”，可以设计计算机器，占据有限空间和有限尺寸的工作部件，这将把序列写入任何所需数量的术语如果允许运行足够长的时间。 （1937A教堂：42）
但是，在图灵的1936年纸上没有提出要求，即图灵机占用“有限空间”或有“有限尺寸的工作部位”。 在机器的写下来“序列的任何所需术语数”方面也不进行制作沙发，“如果允许足够长的时间运行”。 相反，如图所示，序列是“如果可以通过圆机计算的计算”（图4936 [2004：61]）; 如果机器是无圈的，如果不是那样的话
切勿写入超过一个有限数量的符号[0s和1s]。 （图灵1936 [2004：60]）
因此，教会的图灵的论文版本与图灵的自己不同：
教会的图灵论文：
如果（且仅IF）可以设计计算计算机，占用有限尺寸的有限空间和有限尺寸的工作部件，则可以将无限的数字序列是“可计算”。如果允许将序列写入任何所需数量的术语。
到目前为止，由于教会包括这三个有限性要求（即，机器占用有限空间，具有有限的部分，并产生有限数量的数字，他的图灵论文的版本可能被认为是“更有物质”而不是任何图灵论文的配方。 教会的有限性要求在一些方面让人想到了Gandy的想法，即必须从有界类型的基本组件迭代地建立离散确定性计算机的状态，其尺寸具有下限（参见第6.4.2节）。 虽然如上所述，甘地对离散的确定性计算机器施加了进一步的要求，但远远超出了教会的具体要求。
尽管教会的努力将额外的物理现实主义注入了一个图灵机的概念，但它是在未知的情况下，如果询问，如果询问，是否有疑问，已经向德国 - 威佛论文或任何同源论文提出。 似乎无论哪种方式都没有文本证据。 教堂只是沉默了这些问题。
