更改
→通向智能之路
程序世界始终是和人类世界存在着某种美丽的对称关系的。那么，人工智能——这个非常不同的程序如果在程序世界中浮现，人类世界也必然会对称地发生某种巨大的变化，这种变化很可能就是人类最终真正进入了一个可玩性极高的虚拟世界。最后，我们用《哥德尔、埃舍尔、巴赫》这本奇书中最后一段对话《无插入赋格》的部分节选来结束本章。<br>
程序世界始终是和人类世界存在着某种美丽的对称关系的。那么，人工智能——这个非常不同的程序如果在程序世界中浮现，人类世界也必然会对称地发生某种巨大的变化，这种变化很可能就是人类最终真正进入了一个可玩性极高的虚拟世界。最后，我们用《哥德尔、埃舍尔、巴赫》这本奇书中最后一段对话《无插入赋格》的部分节选来结束本章。<br>
<br>
<br>
<table width="1000" border="1" bordercolor="black" bgcolor="000000" align="center">
<table border="1" bordercolor="black" bgcolor="ffffff" align="center">
<tr><td width="1000">
<tr><td>
注：'''螃蟹'''、'''巴比奇'''、'''阿基里斯'''、'''乌龟'''都是这篇对话中的人物。巴比奇号称自己发明了一个比自己聪明六倍的计算机（在文章中称为灵笨机）程序，这个程序叫做'''“图灵”'''，他于是领着螃蟹、阿基里斯等人走到了一台机器前面，这台机器安装了传声筒和电视摄像机作为输入，装了扬声器作为输出。<br>
……<br>
……<br>
（巴比奇坐下来，调了一下座位。唾了一两下手指，仰头看了一下，然后手指慢慢地落到了键上……难忘的几分钟过后，他停止了对灵笨机猛烈的弹击，这时，每个人看去都如释负重。）<br>
''（巴比奇坐下来，调了一下座位。唾了一两下手指，仰头看了一下，然后手指慢慢地落到了键上……难忘的几分钟过后，他停止了对灵笨机猛烈的弹击，这时，每个人看去都如释负重。）''<br>
'''巴比奇：'''如果我没出太多错误的话，这台灵笨机能模拟智力比我高六倍的人，我已想好把它称作“阿兰·图灵”，这个图灵将因此——哦，我怎敢斗胆以己说为准——具备中等水平的智力。在此程序中我倾力以赋予阿兰·图灵六倍于我的音乐能力，虽然这一切都是通过严格的内部编码完成的。我不知道程序的这一部分产生的效果怎么样，但是，这个程序在运行时会使计算机发出一些噪音，这是这一程序唯一的缺憾。<br>
'''图灵：'''没有噪音我照样行。无误地插入严格的内部编码可赋予一台计算机格外了不起的音乐才能。可我并不是一台计算机。<br>
'''阿基里斯：'''我是不是听到了一个新的声音进入了我们的对话？它会是阿兰·图灵吗？他看起来几乎就是个真人！<br>
（屏幕上出现了他们正坐在其中的那个房间的图案，上面有一张人脸看着他们。）<br>
''（屏幕上出现了他们正坐在其中的那个房间的图案，上面有一张人脸看着他们。）''<br>
'''图灵：'''如果我没出太多错误的话，这台灵笨机能模拟智力比我高六倍的人，我已想好把它称作“查尔斯·巴比奇”，这个巴比奇将因此——哦，我怎敢斗胆以己说为准——具备中等水平的智力。在此程序中我倾力以赋予查尔斯·巴比奇六倍于我的音乐能力，虽然这一切都是通过严格的内部编码完成的。我不知道程序的这一部分产生的效果怎么样，但是，这个程序在运行时会使计算机发出一些噪音，这是这一程序唯一的缺憾。<br>
'''阿基里斯：'''不，不，正好相反。你，阿兰·图灵，呆在灵笨机里，而查尔斯·巴比奇刚刚把你用程序编出来！我刚看着你被赋予生命，就在几分钟之前。我们知道你对我们说的每一句话都不过是某种自动装置的产物：某种受控的、无意识的反应。<br>
'''图灵：'''绝无插入受控反映这种事，也没被赋予格式化的行为，我一直清清楚楚地我行我素。<br>
'''阿基里斯：'''但我确信我看到了事情正像我所描述的那样发生了。<br>
'''图灵：'''记忆经常玩弄些奇怪的把戏。请想想：我也可以同样认为你们只是在一分钟之前才赋予生命，你们记忆中的全部经验不过是某种别的存在物编好的程序，同现实中的事件毫无对应。<br>
'''阿基里斯：'''但这是令人难以置信的。对我来说，没有什么比我的记忆更实在了。<br>
'''图灵：'''没错儿。正像你对没有人一分钟之前才把你创造出来这一点深信不疑一样，我对我自己不是一分钟之前才被别人创造出来这点也深信不疑。我在你们这些最令人愉快的、虽然也许是过于易于相处的人们中度过了今宵，并作了一番即兴表演，显示了怎样将智力编成程序输入到灵笨机中。没有什么比这更实在了。但是，你们干吗不试试我的程序，而要跟我饶舌呢？来，可以向“查尔斯·巴比奇”问任何事！<br>
'''阿基里斯：'''好吧，咱们就迁就迁就阿兰·图灵吧。嗯，巴先生：您是有自由意志呢，还是为那种事实上使您成为确定性的自动装置的潜在规律所支配呢？<br>
'''巴比奇：'''当然是后者，这是无需争辩的。<br>
'''螃蟹：'''啊哈！我早就猜测，智能机一旦建立，如果发现他们在对心灵、意识、自由意志诸如此类事物上的信念同人一样混乱、一样固执，那将是不足为怪的。现在，我的预言被证实了！<br>
'''图灵：'''您瞧查尔斯·巴比奇有多混乱？<br>
'''巴比奇：'''我希望，先生们，你们能原谅刚才图灵的话中那十分无理的口气。图灵已经变得有点比我预期的更好斗更好辩了。<br>
'''螃蟹：'''天哪！图——巴之战的火焰愈烧愈烈，我们难道不能让他们冷静些吗？<br>
'''巴比奇：'''我有个建议：阿兰·图灵和我可以到另一个房间去，而你们在这里的某个人可以通过往一台灵笨机键入一些话来远距离地质问我们。你们的问题分别传给我俩，我们可以不具名地键给你们我们各自的答案。你们在我们回到这个房间之前，将不会知道是谁打来的。这样，你们就可以不带偏见地判定我们中的哪一方是被程序编出来的，哪一个是程序设计者。<br>
'''图灵：'''当然，这实际上是我的主意。但是为什么不让巴先生得到这一荣誉呢？因为，作为我所写下的一个程序，他会错以为这完全是他自己的发明哩。<br>
'''巴比奇：'''我，是你写下的一个程序？我坚持认为，图先生，是你弄反了——正像过一会儿您自己的测验将揭示出的那样。<br>
'''图灵：'''我的测验？请把它看作是您的吧。<br>
'''巴比奇：'''我的测验？请把它看作是您的吧。<br>
'''螃蟹：'''这个测验看来提出的正式时候，让我们马上开始吧。<br>
（巴比奇走到门前，出去后又关上。同时，在灵笨机屏幕上，图灵走到一扇看去极为相像的门前，打开，出去后又关上。）<br>
''（巴比奇走到门前，出去后又关上。同时，在灵笨机屏幕上，图灵走到一扇看去极为相像的门前，打开，出去后又关上。）''<br>
……<br>
……<br>
注：之后，螃蟹、阿基里斯和乌龟几个人开始对巴比奇和图灵进行图灵测试，他们提出了一大堆难以回答的问题，但是仍然不能区分哪个是程序，哪个是真人。
注：之后，螃蟹、阿基里斯和乌龟几个人开始对巴比奇和图灵进行图灵测试，他们提出了一大堆难以回答的问题，但是仍然不能区分哪个是程序，哪个是真人。
……<br>
……<br>
（正在他们谈话时，前庭的门打开了；与此同时，屏幕上同一扇门也打开了。屏幕上巴比奇穿门而过；同时，真人大小的图灵从真实的门中走了进来。）<br>
''（正在他们谈话时，前庭的门打开了；与此同时，屏幕上同一扇门也打开了。屏幕上巴比奇穿门而过；同时，真人大小的图灵从真实的门中走了进来。）''<br>
'''巴比奇：'''这种图灵测验一无所获，所以我决定回来了。<br>
'''图灵：'''这种巴比奇测验一无所获，所以我决定回来了。<br>
'''阿基里斯：'''可刚才你是在灵笨机里的！怎么回事？巴比奇怎么跑到了灵笨机里，而图灵现在却成了真人呢？无端的颠倒！这一插曲加入得没道理，谈话被赋予了新格局。<br>
</td></tr></table><br>
</td></tr></table><br>