alan turing(三)
图灵介绍了他的“游戏”令人困惑地用一个糟糕的类比:一个男人假装成为一个女人的派对游戏。 他宽松的措辞(第1950b,第434页)错误地引领了一些作家,以假设图灵提出了一个“模仿游戏”,机器必须模仿一个模仿一个女人的男人。 其他人像Lassègue(1998年)一样,在这场性别借口和真实或虚构的内涵下施加大量重量。 事实上,“测试”设置的全部点,具有其远程短信链接,是将智能与其他人力和属性分开。 但它可能相当说,这种混乱反映了所涉及人类智力的丰富雄心勃勃的概念。 还有人据说,说明他自己的人类智慧,特别是在Wildean逆转角色的喜悦,也许反映,就像王尔德一样,他的同性恋身份。 他的朋友们知道艾伦,聪明,幽默和性别往往融入意见。
事实上,对人类感官和行为的其他方面的“智力”难以敏感敏感; 他描述了具有感官附件的机器人的想法,并提出了他们是否可能享受草莓和奶油或感受种族亲属的问题。 相比之下,他对他的考验中隐含的真实性和欺骗问题进行了严重的关注,基本上是因为他希望逐疑问关于意识的现实。 他想象的'智能'对话之一的一个微妙方面(图450B,第434页)是计算机模仿人类智能,通过给出简单的算术问题的错误答案。 但在图灵的环境中,我们不应该通过给予无数人类的印象,也不应该询问计算机是否有意识地欺骗,也不应该为什么希望这样做。 这种方法有一定缺乏严重性。 关于衡量意识的客观性的脑外外科医生G. Jefferson的发布观点,在第二级目标上采取了第二级目标。 维特根斯坦对思想的看法将取得更严重的出发点。
图灵的仿制原则也许也假设(就像那个时代的“智力测试”)太多了他想象的审讯的共同语言和文化。 它也没有解决可能有种思想,动物或陆地智能的可能性,这不适合通信。
该论文的一个更积极的特征在于它的研究建设性计划,最终提出了“学习机”和教育“儿童机”的思想(图灵1950B,第454页)。 通常认为(例如,在Dreyfus和Dreyfus 1990中),编程与神经网络的“连接主义”方法之间总是存在对抗。 但是从来没有表达这样的二分法,写作两种方法应该被审判。 唐纳德·米奇,英国AI研究先驱深受提前讨论的深刻影响,已堪称这个建议“艾伦图灵埋藏的宝藏”,在一个暗示的奇怪战时发作中,米歇尔是他自己的兴趣(霍奇1983,第345页)。 问题仍然是高度相关的。
这也是一个常见的观点,即人工智能思想在20世纪50年代在大型算术计算中的成功之后仅发生在20世纪50年代。 很难看出为什么图灵的工作从机械化心灵问题中植根了,这是如此忽略。 但通过他未能发布和促进工作,如(图灵1948),他在很大程度上丧失了认可和影响力。
这也很好奇地说,图灵的最着名的纸张应该出现在哲学杂志中,因为它可能很可能会说,总是致力于唯物主义的解释,并不是一个真正的哲学家。 图灵是一个数学家,他必须提供哲学的哲学,并在数学和物理学中发现的东西照亮了它的领域。 在1950年的论文中,这令人惊讶的是,除了他对可计算性概念的基础之外,犹豫不决。 他强调可计解到解释心灵的行动更像是一个假设,甚至是宣言,也比详细说明。 他的假设他写道(图灵1950b,p.442):
......我相信,在本世纪末,使用单词和一般受过教育的意见将使人们能够谈论机器的思维,而不期望与矛盾的方式变化。 我相信,隐瞒这些信念没有提供有用的目的。 科学家从成立的事实中不可理解的普遍认为,既定事实,从未受到任何未经证实的猜想的影响,是非常误解的。 只要澄清,这是证明事实和猜想的,不会产生伤害。 猜想是非常重要的,因为他们建议有用的研究线。
Penrose(1994年,第21页),探讨了图灵的猜想,这将其作为“图灵论文”提出:
他似乎有可能看待身体行动 - 这将包括人类大脑的动作 - 总是可以将某种图灵机的动作还原。
所有物理行为都有效的声明可计算超出图灵的显式词,但是公允表现了1950纸背后的隐含假设。 特定地考虑了“从神经系统的连续性”的论点,特别是断言大脑的物理系统可以按照计算机程序(图1950B,第451页)的所期望的那样近似。 当然,在1945 - 50年期间,在1945 - 50年期间没有任何内容,以矛盾的解释。 技术前体论文越多(图4947,1948)包括对物理过程的广泛评论,但不提及物理效应是无明确的可能性。
特别是,(图1948年)的一部分致力于“机器的一般分类”。1937年至1948年间的时间段给予了比1936年的实际机械的更多经验,他的战后言论反映了这一点 - 地球的方式。 从“活跃”机器中,所以的尊敬的“控制”,后者被“推土机”所示。 当然,它是前一种现代术语的信息,基于信息的机械 - 有关哪种方法 - 有关所关注的分析。 值得注意的是,1948年,如1936年,尽管他知识了物理学,但图灵没有提到量子力学如何影响“控制”的概念。 他的“控制”概念完全依赖于图灵机的经典框架(他在本文中称为逻辑计算机。)
(图488)的相同部分也描绘了离散和连续机械之间的区别,示出了具有“电话”的后者作为连续的控制机器。 他揭示了将连续物理减少到图灵机的离散模型,虽然引用“大脑”作为连续机器,但它可能被视为如果离散的那样。 他没有迹象表明物理连续性威胁到可计算性的最重要作用。 事实上,他的推力(图灵1947年)是推动数字计算机比差分分析仪等模拟机更强大。 当他讨论这种比较时,他给出了教会图论文的以下非正式版本:
我的结论之一是,“拇指”进程和“机器过程”的想法是同义词。 当然的表达式“机器过程”是指通过我考虑的机器类型进行的“机器过程”[即 图灵机]
没有提示图灵机的离散性构成了实际限制,或者模拟机的非离散过程可能具有任何深刻的意义。
图灵还引入了“随机元素”的想法,但他的示例(使用π的数字)显示他被认为是伪随机序列(即具有合适的“随机”属性的可计算序列)非常适合他的讨论。 他没有建议,随机性暗示了无能的东西,确实没有对“随机”一词的定义。 这可能令人惊讶的是,鉴于他在纯数学,逻辑和密码学的工作,逻辑和加密都让他在一个严重的水平上致力于接近这个问题的相当大的动机。
8.未完成的工作
从1950年开始,基于表示化学反应和扩散的非线性方程的后果,在一般的形态发生的数学理论上进行了研究。 他是使用电脑进行此类工作的先驱。 一些作家已经提到了这个理论,作为创建人工生命(一生),但这只是一个误导性描述,只有在理论的目的的范围内,因为图灵看到它,以反击从设计中的论据。 自20世纪80年代以来的生活与使用计算机探讨进化理论的逻辑后果,而不担心特定的生理形式。 形态发生是互补的,涉及表明哪种生理途径是可用于开发的进化。 在20世纪70年代,其他人开发了图灵的工作,现在被视为这个领域的核心。
这可能是我对形态发生的兴趣恢复了植物和鲜花的出现。 但在另一个迟到的发展中,图灵回到了他年轻时的其他刺激。 对于1951年,图灵确实考虑了迄今为止在量子 - 机械物理学的背景下设定可计算性的问题。 在一个BBC Radio谈论那一年(1951年),他讨论了1950年纸的基本陆基,但这一次与哥特的定理的论点相当不那么肯定,而这次也参考大脑下面的量子机械物理学。 图灵描述了通用机器属性,将其应用于大脑,但表示其适用性要求其行为要模仿的机器
......应该是其行为原则上的类型通过计算可预测的。 我们当然不知道应该如何完成任何此类计算,甚至由亚瑟·埃丁顿爵士争论,因为量子力学中的不确定原理,没有这种预测甚至理论上是可能的。
COPELAND(1999)在他的1951年谈话中正确地引起了这句话的句子。 然而,Copeland的关键背景表明,与图灵的“甲骨文”有一些联系。事实上,这里没有提到奥克斯(也没有在图灵的战后讨论中的任何地方,在这里,这里的讨论是讨论当被视为Quantum-Machine机器时的可能性图灵机模型而不是经典机器不足。 绘制的正确连接并不是通过图灵的1938年在序数逻辑上工作,而是他对他年轻时的埃丁顿和冯·诺伊曼的量子力学知识。 实际上,在早期的猜测中,受到Eddington的影响,提出了量子机械物理可以产生自由意志的基础(霍奇加因1983,第63页)。 von Neumann的量子力学的公理涉及两个过程:波浪功能的单一演变,这是可预测的,以及测量或减少操作,引入了不可预测性。 因此,图灵提及不可预测性必须参考减少过程。 基本困难是仍然是这一天,没有商定或令人信服的何时或如何减少实际发生。 (应该指出的是,“量子计算”在标准现代意义上,是基于单一演变的可预测性,并且尚未进入发生减少的问题。)似乎这一单句表示新的调查领域的开始这次进入量子力学的基础。 1953年,图灵写信给他的朋友和学生罗宾甘肃,他正在“试图发明一个新的量子力学,但它不会真正工作。”
在1954年6月的死亡时,Gandy在一封信给纽曼时,他知道他所知道的目前的工作(Gandy 1954)。 他写了在理解减少过程中讨论了讨论的问题
......'图灵悖论'; 使用标准理论易于显示,如果系统从某种观察到的特征静止,并且测量是由此可观察的n次的时间,那么,即使状态不是静止的,即使状态不是静止的,则系统将在相同状态之后的概率,例如,1秒钟,倾向于一个倾向于无限; 即,持续的观察将阻止运动。 艾伦和我解决了一个或两个理论物理学家,而且他们相当藐视它,说不可能是不可能的。 但标准书籍(例如,Dirac的)中没有任何内容,因此至少悖论显示了通常呈现的量子理论的不足。
考虑到Penrose的断言(1989,1990,1994,1994),提出了额外意义,即减少过程必须涉及无能的东西。 可能图灵瞄准相反的想法,找到一种将预测和可计算的减少过程的理论,因此插入他假设中的差距,即大脑的动作是可计算的。 然而,在将此视为影响所有心理行动是可计算的情况下,认为这是一个重要问题 在这中,它们都与主流视图不同,其中问题毫无意义。
1954年3月,艾伦的最后一张明信片到罗宾甘露,将“从看不见的世界”暗示到埃丁顿的“消息”,暗示了在相对论和粒子物理学的基本物理学中的新思想(霍比,1983年,第512页)。 他们说明了他在他生命中最后一点担心的思想的丰富思想,但与这些提示相比完全迷失了。 对这种丢失的想法进行了审查(Hodges 2004),作为图灵的遗产(Teuscher 2004)的更大批量的一部分。
9. Alan Turing:未知的思想
遗憾的是,图灵没有更多地了解他的道德哲学和世界前景。 作为一名学生,他是伯纳德肖的崇拜者的想法,而且朋友们会公开发声,这两个难以发动他的许多困难情况的欢闹和挫折。 然而,除了偶尔的私人信件的偶尔评论之外,他最近的个人写作是关于他的1952年危机的短篇小说(Hodges 1983,第448页)。 他的过去两年特别充满了六亚戏剧和野蛮的讽刺。 在一个字母中(对他的朋友诺曼Routledge;这封信现在在剑桥国王大学的图灵档案中,他写道:
认为机器认为
谎言与男人在一起
因此,机器不思考
对苏格拉底的三节纲暗示是明确的,他的消亡与氰化物而不是铁杉,可能已经发出类似的东西。 第二次世界大战中的一个平行的人物Robert Oppenheimer遭受了他在同一周内失去的声誉丧失了。 两者都将最纯粹的科学工作和最有效地在战争中获得最有效的应用。 当他的性思维被视为机器时,艾伦图灵甚至更直接地对科学的接收结束,反对他的抗议意识和意志。 但在所有这些人类戏剧中,他留下了对他真正想到自己的看法以及他与人类活动世界的关系。
Alan TINGE在他的时间,审美,技术或马克思主义的任何智力运动方面不容易融合。 在20世纪50年代,评论员努力找到谨慎的词语来归类他:作为“科学的雪莱”,具有巨大的“道德诚信”。 直到20世纪70年代,他的生命的现实是不可爱之之情的。 他仍然难以在二十世纪的想法中放置。 他提升了科学,根据存在主义者抢劫了意义的生活。 最原始的数字,最坚持的个人自由,他持有原创性,并将易于机械化。 艾伦的思想仍然是一个谜。
但它是二十一世纪似乎越来越绘制的谜。 他的百年百年的年度,目睹了他荣誉的众多会议,出版物和文化活动。 这种感兴趣爆炸的原因是显而易见的。 一个是,现在几乎所有人类活动领域都出现了计算权力和计算的局限性。 另一种是,性取向问题已经对现代民主国家的新重视作出了新的重要性。 更巧妙地,现在更好地欣赏图灵的工作的跨学科宽度。 百年期间的标志性是艾伦图灵的出版,他的工作和影响(EDS。Cooper和Van Leeuwen,2013),它几乎可以提供了图灵科学的OEUVRE的各个方面,具有丰富的现代评论。 在这种新的气氛中,新鲜的关注已经支付给知名的鲜明作品,新的光线落下了他的成就。 他从默默无闻中出现,成为现代科学最强烈地学习的人物之一。