以下是2012年图灵社区访谈《图灵注释》作者Charles Petzold的节选:

https://m.ituring.com.cn/article/19078

注：《图灵注释》（The Annotated Turing : A Guided Tour Through Alan Turing’s Historic Paper on Computability and the Turing Machine），中文书将其译为《图灵的秘密》。

***

图灵社区: 是什么促使您写一本关于图灵的书？这之后有什么与其相关的故事么？这本书和您其他的作品有什么联系么？

CP：编写《编码》的时候，我对计算本身和其数学基础的早期历史产生了浓厚兴趣。我试图去阅读阿兰·图灵那些关于可计算性的论文，但是却发现它们对我来说太难了。当时我想：“这些论文如此重要，应该有人为它们写一本书。” 这是一个非常危险的想法！除了我还会有谁来写这本书？

在1999年早些时候我决定要尝试去写一本关于图灵论文的书，但是到2004年之前我都没有任何进展。当时我把论文扫描并且打印下来，把它们剪切成独立的段落和语句，把这些小片段粘贴到一本黄色标准拍纸簿的每一页上。我在这个本子上手写了大量的注释，然后我又花了四年才完成这本书。

图灵社区：众所周知，在计算机科学领域，图灵机扮演了一个至关重要的角色，因为它是整个算法分析和编程的基础。某一天，有没有可能，由于其自身的设计哲学，图灵机变成了整个计算机科学发展的瓶颈？这是不是意味着它对于未来人们开发真正的AI是一个否定？

CP：图灵机是作为人类实现算法的一个模型。我们并不清楚是否图灵机同样也是宏观上人类思维的一个模型。在我们眼中，我们大部分的思维似乎和算法不一样，但是这也许只是一种假象。扪心自问，我们的思想可能真的就是图灵机。

如果我们的思想是图灵机，那么理论上我们就可以在数字计算机上实现AI，并且这只是一个软件问题。如果我们的思想不是图灵机，那么我们可能需要另一种计算机来实现AI。图灵机模型仅仅描述了数字计算机的局限性，他并没有限制任何的非数字计算机。真正困难的问题是去思索并设计一种超越图灵机限制的计算机，因为它已经不是数字计算机了。

图灵社区：自然智能和人工智能被认为能够从混沌中产生秩序。从这一点上来看，算法是否给我们的计算机科学家施加了某种限制？有没有可能存在另一种超越图灵机的计算模型，能够更好地实现人工智能？

CP：如果我们有幸遇到了一个通过了图灵测试的计算机，那么我们中的许多人还是会否认这台计算机具有真正的智能。对于计算机科学家和程序员，我们知道无论它多智能，它表现得多像一个人，计算机还是一个不具有意识的简单实体。它无法感知到自己。它可以处理数字，它可以模仿我们的外部行为，但是它无法和我们一样思考。

图灵测试其实是有严格的行为主义意味，它不关心在计算机内部到底发生了什么。这并不能让我们感到满意。更糟糕的是：我们拒绝说计算机和我们具有同样的思维，但是我们自己都不知道自己是怎么思考的！我们无法理解自己的意识。

在我的观念里，关于思维最准确的理论，大概会把意识描述成大脑松耦合的部分与神经系统其他部分的通讯。这确实是一个非常神秘的过程。我们不知道它到底是怎么工作的，所以也不知道需要什么样的硬件或者软件来创造意识。

我们甚至连自己都弄不清楚断定一台计算机具有意识的方法。如果一台计算机告诉我们它能感受到自我并且具有意识，我们该相信它么？

图灵社区：任何关于可计算性的理论都会介绍NP-完全问题，不过似乎计算机科学正是被限制在确定性算法的领域。看起来非确定性算法和算法探索的创新性研究并不受学术界和工业界的青睐，您对此怎么看？

CP：在这个领域我知之甚少，不过现在许多关于非确定性图灵机的研究还是极端的理论化。当然，对于那些无法真正实现在计算机上的研究，我们总有一种强烈的抵触情绪。不过当量子计算机被实现得更好之时，这个领域一定会变得更加重要。

图灵社区：图灵机、λ演算、μ-递归函数和URM（无限寄存器机器模型）是四种等价的计算模型。为什么唯独图灵机在非学术界拥有如此高的知名度？

CP：第一点：图灵机有一个具体的名字，而不是一个奇怪的希腊字母。第二点：图灵机可以被可视化为一个带有一个纸带的现实机器。这就意味着，图灵机有一个名字，而且还有一张脸。

图灵社区：相比于冯·诺依曼，您觉得图灵对于计算机科学的贡献如何？处理过图灵如此多信息之后，您觉得图灵是一个怎样的人？

CP：阿兰·图灵是一个典型内向的人，而约翰·冯·诺依曼则是一个典型外向的人。我觉得他们对于计算机科学的贡献与他们的个性有着惊人的相似。图灵可以专注于非常困难的问题，并且他有很强的原创性和巧妙的思维，但是我并不认为他是一个很好的组织者。相比之下，冯·诺依曼具有强烈的个性。他可以综合来源不同的各种想法，并且合理地组织在一起。对我来说很显然的是，正是图灵在可计算性上的论文帮助冯·诺依曼理清自然计算机本质的想法，但是冯·诺依曼才是那个把想法有效地实现在现实世界中的人。

个人而言，我不认为我很喜欢冯·诺依曼。但是对于阿兰·图灵，在研究他的作品和遗物上花费了如此长的时间之后，我是真的非常之崇拜他。我很遗憾，图灵受到了人们不公正地对待。