人工智能的局限》<sup>○一</sup>这样专门批判人工智能可能性的书籍，但起码说明了对于许多现代还在提及的反对人工智能的观点，图灵都是系统性地认真考虑过的。图灵反驳的大部分观点与“科学”的距离较远，笔者不一一细说，仅列举如下。
● 神学的反对意见：“思考来自人类灵魂，而灵魂是上帝赋予的。”
●“鸵鸟”式的反对意见：“机器有思维的后果太令人恐惧了。”
● 能力受限论的反对意见：“机器可以完成任何你刚才提到的事情，但机器永远不可能有某行为。”
● 差错论的反对意见：“机器永远不可能出错，而思维的关键则来自出错的不确定性。”
● 规则论的反对意见：“机器永远按照预设的规则来工作，而人类总能碰到未知的情况。”
上面这些都是涉及哲学甚至神学的问题，而另外一类—主要是两个观点，对于不研究哲学的人也有比较宽松的探讨空间，笔者想介绍一下图灵对这两个问题的看法。
一个是来自数学的观点，机器拥有智能在数学上的反对意见主要来自哥德尔不完备定理，该定理证明了一个反科学直觉的结论：
“如果一个形式系统是不含矛盾的，那就不可能在该系统内部证明系统的不矛盾性。”
哥德尔不完备定理对机械智能的限制是：它决定了无论人类造出多么精致、复杂的机器，只要它还是机器，就将对应一个形式系统<sup>○二</sup>，就能找到一个在该系统内不可证的公式而使之受到哥德尔不完备定理的“打击”，机器不能把这个公式作为定理推导出来，但是人却能看出公式是真的。因此这台机器不可能是承载思维的一个恰当模型<sup>○一</sup>。或者通俗一点说，如果可以通过图灵测试的智能是基于某种能够承载该形式系统的运算器（譬如基于图灵机）来实现的话，那在进行图灵测试时，就一定能找到一个问题是这个机器必定回答不了的，这就成悖论了。
第 1 章 洪荒年代
19
○一 这本书出版于 1972 年，作者是加利福尼亚大学伯克利分校的哲学教授休伯特·德雷福斯。这本书还处在论文阶段时的名字是《炼金术与人工智能》（这名字够埋汰人的吧？），正式出版时变成了文中这个名字，在 1986 年翻译引进中国。在最近第三次再版时名字听起来更温和了一些，改成了《计算机仍然不能做什么：人工智能理性批判》。
○二 形式系统（Formal System）是数理逻辑中的概念，是指包含字母、字的集合及由关系组成的有限集合。典型的如编程语言就是一种形式系统。