最近读完了 The Annotated Turing 一书,第一次完整地阅读了图灵最经典的那篇论文,理解了图灵机提出的动机和由此带来的一系列结论。不过,这本书的最大价值,则是让我开始重新认识和思考这个世界。在这里,我想把我以前积累的哲学观点和最近一些新的思考记下来,与大家一同分享。
1928 年,大卫·希尔伯特(David Hilbert)提出了一个著名的问题:是否存在一系列有限的步骤,它能判定任意一个给定的数学命题的真假? 这个问题就叫做 Entscheidungsproblem,德语“判定性问题”的意思。大家普遍认为,这样的一套步骤是不存在的,也就是说我们没有一种判断一个数学命题是否为真的通用方法。为了证明这一点,真正的难题是将问题形式化:什么叫做“一系列有限的步骤”?当然,现在大家知道,这里所说的“有限的步骤”指的就是由条件语句、循环语句等元素搭建而成的一个机械过程,也就是我们常说的“算法”。不过,在没有计算机的时代,人们只能模模糊糊地体会“一个机械过程”的意思。1936 年,阿兰·图灵在其著名的论文 On computable numbers, with an application to the Entscheidungsproblem 提出了一种假想的机器,第一次给了“机械过程”一个确凿的含义。
没错,这意味着,或许一个人的语言、计算甚至学习能力,完全等价于一个图灵机,只不过这个图灵机的指令集可能异常庞大。1950 年,图灵的另一篇经典论文 Computing Machinery and Intelligence 中正式把人和机器放到了相同的高度:让一个真人 C 先后与一台计算机 A 和另一个真人 B 进行聊天,但事先不告诉他 A 和 B 哪个是机器哪个是人;如果 C 无法通过聊天内容分辨出谁是机器谁是人,我们就认为计算机 A 具有了所谓的人工智能。 这就是图灵测试。