alan turing（一）
Alan Tying（1912-1954）从未将自己作为哲学家描述，但他的1950年“计算机械和智力”是现代哲学文学中最常引用的。 它对传统的思想身体问题进行了新的方法，通过将其与计算性的数学概念相关联，他自己在19366 - 7篇论文中推出了“可计算号码”，并附上了康德康普斯问题。“ 他的作品可以被视为计算机科学和人工智能计划的基础。
1.生活概述
2.图灵机和可计算性
3.逻辑和物理
4.无法解除
5.建立通用机器
6.建立一个大脑
7.机器智能
8.未完成的工作
9. Alan Turing：未知的思想
参考书目
学术工具
其他互联网资源
相关条目
1.生活概述
Alan Tures的短期和非凡的生活吸引了广泛的兴趣。 它激发了他的母亲的回忆录（E. S. TITE 1959），详细传记（1983年），游戏和电视电影（Whitemore 1986），以及各种其他小说和艺术作品。
这种兴趣有很多原因，但是在他的生命和工作的每个领域中，他在显然不相关的地区之间取得了意想不到的联系。 他对科学和哲学的核心贡献通过他将象征逻辑的主题视为应用数学的新分支，使其成为物理和工程内容。 不愿意或无法留在任何标准角色或思想中，艾伦仍然持续充满戒律的生命。 虽然害羞，男人，男人，他通过他在第二次世界大战中的角色在世界历史中具有关键作用。 虽然二十世纪主导技术的创始人，他对他的不爱情的无罪和他不喜欢道德或智力妥协的人来说，他对迷人或不安的人。
Alan Mathison Turing出生于1912年6月23日，上层英国父母的伦敦。 他的学业是一种传统的善良，由英国帝国制度主导，但从最早的生活中，他与他的科学冲击的迷恋，因为他发现了“最常见的自然” - 发现他与权威的赔率。 他对世俗价值观的怀疑和不尊重，从未被驯服，并且变得更加自信地古怪。 他的喜怒无常的幽默在忧郁和温暖之间摆动。 他的生命也显着，因为一个具有强烈情绪的同性恋者和对他的身份的不断增长的人。
他的第一个真正的家是剑桥大学国王学院，以其逐步的智力生活为中心，以J. M. Keynes为中心。 在越来越多的情况下，研究了数学，并在1935年当选了一所学院。在他是一个未知图中的一个地区，这次任命是一个非凡而突如其来的Début：数学逻辑。 本文“在可计算数......”（图灵1936-7）是他的第一个，也许是最伟大的胜利。 它给出了计算的定义和对计算可以实现的绝对限制，这使其成为现代计算机科学的创始工作。 它导致他普林斯顿在逻辑和其他数学分支中获得更高级的工作。 他有机会留在美国，而是选择于1938年返回英国，并立即招募了英国通信战争。
从1939到1945图灵是几乎完全从事掌握德国enciphering机器，谜，和其他cryptological调查在现在著名的布莱奇利公园，英国政府的战时通信总部。 图灵对谜的解密作出了独特的逻辑贡献，成为首席科学的人物，具有阅读U船通信的特殊责任。 因此，他成为英美联络的顶级人物，也在促进了当天最先进的电子技术。
将他的想法与数学逻辑相结合，他的密码学经历以及一些实用的电子知识，他的野心，在欧洲的战争结束时，是为了在全面的现代意义上创造一个电子电脑。 他的国家物理实验室伦敦委托的计划被更加激动地支持的美国项目所掩盖。 在劣势中，他的战时成就完全秘密的缺点也会努力。 他的想法在1946年领导了这一领域，但这很少认可。 他在他的工作中感到沮丧，他成为一个强大的马拉松运动员，几乎有资格于1948年奥运会的英国队。
图灵的动机是科学而非工业或商业的，他很快就恢复了计算的理论局限，这次聚焦了计算能力和人脑的力量的比较。 他的争论是计算机，当正确编程时，可以对大脑竞争。 它成立了未来几十年的“人工智能”计划。
1948年，他搬到了曼彻斯特大学，在那里他部分满足了对他的期望来计划在那里的先驱计算机开发软件，但仍然是一个自由思想家。 这是他在这里写的1950年的1950年纸，“计算机械和智力”（图灵1950B）是写的。 1951年，他当选为1936年的皇家社会的研究员，同时他与生物学形态发生的数学理论相同，同时他纷纷突击到完全新的领域（图灵1952年）。
这项工作在1952年2月被Alan Tures被逮捕中断了他与年轻曼彻斯特人的性行为，他有义务逃脱监禁，经历雌激素的雌激素否定他的性欲。 他被取消了持续秘密密码学工作的资格。 他的一般自由主义态度得到了增强而不是受到刑事审判的抑制，他的智力个性也仍然活泼。 虽然在计算理论中剩下正式的读者，但他不仅开始了他的生物学理论的更雄心勃勃的应用，而且是对基本物理学的高级新思想。
由于这个原因，他的死亡，1954年6月7日，在柴郡威尔斯洛的家里，是一个普遍的惊喜。 在后智明显看出，在英美秘密沟通工作中的独特地位意味着他对他的时代没有意识到的压力; 1953年，当然还有另一个“安全”与政府发生冲突（Hodges 1983，第483页）。 一些评论员，例如 道森（1985年），认为不应排除暗杀。 但他已经谈过自杀，他的死亡是氰化物中毒的死亡，最有可能是他自己的手，以便允许那些希望这样做的人相信他对化学实验的胜利结果。 它的戏剧性元素的象征主义 - 一部分食用的苹果 - 已经继续困扰着艾伦的伊门被驱逐的智力。
2.图灵机和可计算性
Alan Tures从1928年到1933年间，从数学物理学家和POMPOTORISER A. S. Eddington的工作到了J.Von Neumann的账户，然后来自Bertrand Russell的数学逻辑。 与此同时，他对自己生命中的情绪要素提高了与心灵问题的持久迷恋（Hodges 1983，第63页）。 1934年，他毕业于剑桥大学的数学毕业，随后在概率理论中取得了成功的论文，赢得了1935年剑桥国王学院的奖学金。这是他学习的背景，也在1935年的问题的背景哪个是为了提出他的名字。
这是从众议院讲座M. H. A.（Max）Newman的讲座，他在那年内他了解到吉尔的1931年的1931年证明逻辑系统的正式不完整性，其富于足够丰富的算术，以及数学基础的突出问题如希尔伯特所构成：“entscheidungsproblum”（决策问题）。 是否有一种方法可以决定，对于任何给定的数学命题，无论是可否证明的？
这个问题的主要难度介绍了这种表达式作为“明确的方法”或“有效手术”的纠正性的正确和一般定义。“在1936年4月，单独的这一点在这一年上工作了一年; 独立和孤立是他的力量，在制定原创思想和他的弱点时，促进和实施它们时。
“机械”这个词经常使用躺在希尔伯特的问题落后的形式主义方法，并在机器的概念上抓住了所抓住的解决方案躺在定义最快被命名的东西。 通过这种情况，他在简单的原子操作方面定义了“机械”的概念。 图灵机形式主义在Teleprinter上建模，范围略微放大，以允许可以在两个方向上移动的纸带和“头”，可以读取，擦除和打印新符号，而不是仅读取和打印永久孔。
图灵机是“理论上的”的“理论”，即它实际上不是要被设计的（在这样做）上的意义上，尽管其原子成分（纸带，左右移动，用于存在符号的存在）是必要的，但实际上可以实现。 形式主义的整个点是将“方法”的概念减少到简单的操作，这些操作可以毫无疑问地“实现。”
然而，图灵的目的是体现最普遍的机械过程，如人类所开展。 他的分析开始与任何现有的计算机器开始，但是使用孩子的练习册的图片标记在正方形中。 从一开始，图灵机概念旨在捕捉手术时人类思维可以做的事情。
在谈到'TING机器时，应该清楚地表明，凭借不同的“行为表”，每台有无限的图灵机，每个图灵机相对应的不同方法或程序。现在几乎不可能避免1936年不存在的图像几乎是不可能的：电脑的。 在现代术语中，图灵机的“行为表”等同于计算机程序。
如果图灵机对应于计算机程序，计算机的类比是什么？ 这是一个如通用机器所描述的（图4936，第241页）。 同样，有无限的通用图灵机，形成了图灵机的子集; 它们是那些具有“行为表”复杂的机器，足以读取其他图灵机的表，然后执行这些机器的表。 如果这似乎很奇怪，请注意现代并行，可以通过另一台计算机上的软件模拟任何计算机。 表格可以读取和模拟其他表的效果的方式对于图灵的理论至关重要，远远超出了海龟的百年前面的思想。 它还展示了为什么图灵的思想转到现代计算机的核心，其中节目本身是一种数据形式，可以由其他程序操纵。 但读者必须永远记住，1936年没有这样的电脑; 事实上，现代计算机出现了在这项工作中发现的“机械上的行为”的制定。
图灵的机器配方允许精确的可计算定义：即，作为一个单独的图灵机来完成的。 更确切地说，可计算的操作是那些可以通过所谓的自动机器实现的操作。 这里的关键点是自动图灵机的动作完全由其“行为表”决定。 （也允许“选择机器”呼吁人类投入，而不是完全确定。）提出了这种“可计算”的定义，该定义旨在通过称为“确定的方法，程序，机械过程”的单词所阐述的内容entscheidungsproblem。
在将他的机器概念应用于OntscheidungsProblop中，所以完成了定义可计算数字的步骤。 这些是那些被认为是无限小数的真实数字，例如，这是一个图定机器，从空磁带开始打印出来。 例如，简单地打印数字1并移动到右侧的图灵机，然后重复任何操作，从而可以计算数字.111111 ...一个更复杂的图灵机可以计算π的无限十进制扩展。
像计算机程序一样的机器是可计算的; 事实上，他们可以通过一种字母顺序排列他们的“行为表”的字母顺序排序。 通过将表格编码为“描述编号”来完成这一点，然后可以以幅度排序。 在该列表中，它们的子集（具有“令人满意”的描述编号的子集）是具有打印出无限小数的机器。 它很容易显示，使用Cantor首次使用的“对角线”参数，熟悉Russell和Gödel的发现，可以没有图定机器，该属性决定描述编号是否令人满意。 该论点可以如下呈现。 假设存在这样的图灵机。 然后可以构造一种新的图灵机，该机器依次从具有令人满意的描述编号的第n个机器转动NTH数字。 然后，这台新机器打印了与该数字不同的第n个数字。 由于机器进行，它会打印出无限十进制，因此具有“令人满意”的描述编号。 然而，该号码必须通过施工与每个图灵机的输出不同，具有令人满意的描述编号。 这是一个矛盾，所以假设必须是假的（图436，第246页）。 从这一点来看，图灵能够在负面回答希尔伯特的罕见分子问题：没有这样的一般方法。
图灵的证据可以在许多方面重新循环，但核心思想取决于在符号上运行的机器中涉及的自我引用，这本身由符号描述，因此可以在其自己的描述上运行。 实际上，理论的自我参照方面可以通过不同形式的证据来突出显示，该证据是优选的（图4 1936，第247页）。 假设这样的机器用于决定令人满意的情况确实存在; 然后将其应用于自己的描述编号。 可以容易地获得矛盾。 然而，“对角线”方法具有结束以下优点：可以明确地定义实际数字，但尚未取消象征。 这是一种非琐碎的发现，而某些无限的小数（例如π）可以封装在有限的表中，其他无限的小数（实际上，几乎所有人）不能。 同样，有没有决定问题，例如“这个数字素数？”，其中很多答案在一个有限的食谱中被包裹起来，而还有其他人（再次，几乎所有的）那些不是，并且必须被视为无数不同的方法。 '这是一个可证明的命题吗？'属于后一种类别。
这是所建立的，并进入讨价还价的重要事实，即可以通过一台机器，通用图灵机来计算的任何可计算的重要事实。
这对自己的工作是至关重要的，他通过表明它包括“方法”最普遍的思想来证明定义。 因为如果它没有，但是EntsCheidungProbral仍然是开放的：可能会有一些强大的方法类型，而不是通过计算可计算性而被包围。 一个正当理由表明该定义包括许多进程，数学家将认为在计算中是自然的（图436，第254页）。 另一个论点涉及书面指令笔记之后的人类计算器。 （图灵1936，第253页）。 但是，在一个大胆的论点中，他首先放置了一个，他认为是一个“直观”的论点吸引了人类计算机的心态。 （图灵1936，第249页）。 “心灵”进入他的论点非常重要，但在这个阶段，它只是一个统治之后的思想。
总结：找到发现，并在非常一般和深远的地面上证明了一般过程或方法的精确数学制定。 如1936年4月向纽曼向纽曼展示了他的工作，认为他对“可计算性”的制定包括“可以在计算数字中进行的可能进程。”（图灵1936，第232页）。 这在实际计算中开辟了新的发现领域，并在人类心理过程中讨论。 然而，虽然图灵曾担任纽曼称为“证实的单独”（霍奇斯1983年，P 113），但他很快就会发现他并不孤单地在Gandy（1988）叫做“1936年的想法的交汇”
普林斯顿逻辑师Alonzo Church在寻找他所谓的“有效算可率”的令人满意的定义方面略微过分了。'教会的定义需要λ微积分的逻辑形式主义。 这意味着从开始的开始的成就与教会论文的制定结合起来，即兰姆达微积分正确体现了有效过程或方法概念的断言。 非常迅速地表明，图灵计算性的数学范围与教会的定义相符（以及Gödel定义的一般递归函数的范围）。 图灵写了他自己的陈述（1939，第166页）的结论是在1938年达成的结论; 它是博士。 本文在教会的监督下写道，所以这一陈述是最接近的，我们必须联合声明“教会图论文”：
如果可以通过一些纯机械过程找到其值，则据说函数是“有效可计算”。 虽然它相当容易得到了对这个想法的直观掌握，但最重要的是有一些更明确的数学上表达的定义。 1934年普林斯顿的Gödel在普林斯顿首次发给这样的定义......这些功能被Gödel被描述为“一般递归”......教会给予了另一种有效算可率的定义......教会用Lambda定位识别它。 作者[即 最近提出了更密切的定义更接近直觉的想法......如果可以通过纯机械过程可以找到它的价值，则在上面符合直觉的想法......它是有效的，如果可以通过纯机械过程找到它的值。机器。 可以在这些机器的结构中以某种正常形式提供数学描述。 这些想法的开发导致作者对可计算功能的定义，并以有效的可计算性识别可计算性。 这并不困难，虽然有些费力，证明这三个定义是等同的。
教会接受了图灵的定义对教会的论文为真实的令人兴奋的，直观的理由。 戴维斯最近的博览会（2000年）强调，哥德尔也通过确定了绝对概念（Gödel1946）的论点来信服。 自1937年以来的情况并没有改变
在数学逻辑和早期计算机科学的世界中，他自己做了一点。 戴维斯（1958）和Minsky（1967）的教科书做了更多。 如今，经常重新重新重新重新重新重新重新重新重新重新重新重新重新重新重新重新重新重新重新重新重新重新重新重新重新重新重新重新重新重新重新格式化。 然而，计算机模拟（例如，来自Stanford）的计算机模拟使得将原始的图像带到生活中。
图灵的工作也在纯数学中开设了脱钩性问题的新领域。 从20世纪70年代开始，图灵机也在开发复杂性理论方面采用了新的生活，并因此是计算机科学中最重要的研究领域之一。 该发展举例说明了图灵特殊质量给予抽象概念的特殊质量的持久价值。
3.逻辑和物理
如Gandy（1988）所示，图灵的论文是“哲学分析的范例”，炼制了一个模糊的定义。 但它不仅仅是数学逻辑世界中的一个分析：在图灵的思想中，在理论上不断地判断的问题，并且实际上是逻辑图案到物理世界的关系。
“有效”意味着做，而不仅仅是想象或假设。 在这个阶段，既不是图灵也没有任何其他逻辑师对这种“做的物理学进行了认真的调查”。但是图灵的遥感机的图像不可避免地指的是实际物理地“完成的东西”。他的概念是一个蒸馏一个人的概念一次只能“做”一个简单的动作，或者一次有限的简单动作。 概念如何“身体”是如何？
磁带在计算中的任何点处，从来没有超过一个有限数量的标记正方形。 因此，它可以被认为是有限的，但始终能够根据需要进一步扩展。 显然，这种无界的可扩展性是不科学的，但定义仍然是实际用途：这意味着在有限磁带上完成的任何东西都是可计算的。 （当他解释他的1950纸上的计算性的实际相关性时，他自己采取了如此过度的方法。然而，图灵制定的一个方面涉及绝对的有限性：图灵机的行为表必须是有限的，因为图灵只允许有限数量图灵机的“配置”，并且只有一个可以在磁带上标记的符号的有限曲目。 这基本上等同于允许仅具有有限长度的代码的计算机程序。
