人工智能的黎明时代

《AI文明史·前史》，作者张笑宇。顾名即可知义，这本书主要讲述AI诞生之前的故事。

一、封印——不完备定理

两千多年前，苏格拉底便已开始探索人类思维的根本特性。苏格拉底相信思维必然存在规律，能够被识别、被归纳、被传递，在此基础上还提出了"矛盾律"——某事物不可能既是某物，同时又不是该物。

17世纪德国哲学家、数学家莱布尼茨，他创建了微积分和二进制，并提出了一个富有想象力的构想:将人类全部思维用符号来表达，这种符号被称为"通用符号语言"。他坚信，只要找到恰当的符号系统和逻辑规则，人类就能以机械手段解决所有思维难题。

20世纪初期，德国数学家希尔伯特重新点燃了莱布尼茨的愿景。1900年希尔伯特在巴黎举行的国际数学家大会上发表了充满激情的演讲。他提出了23道数学难题，并以此为基础构建了自己的设想——将全部数学知识归纳为一套符号系统与推理规则，为数学打造一个完美的基础，实现数学的完全形式化。

演讲落幕之际，希尔伯特对未来满怀信心——我们必将知道，我们终将知道！

然而，1931年，年仅25岁的哥德尔给希尔伯特的数学理想浇了一盆冷水。他证明了著名的"不完备定理"：任何足够强大的形式系统，要么存在缺陷，要么存在矛盾。不完备理论被认为是20世纪最关键的数学成就之一。

不完备定理的含义是什么？比如一部百科全书，不完备意味着必定存在未收录的条目，矛盾则意味着内部知识会相互冲突。哥德尔所要论证的是一部百科全书，既能回答所有问题、又永远不产生矛盾。

哥德尔的不完备定理对希尔伯特的冲击在于，数学无法被彻底形式化，思维也无法被完全规则化，因此希尔伯特的理想无法实现。

数学形式化的理想破灭了，孕育AI的摇篮"消亡"了，AI被封锁在哲学的牢笼中。

二、解封——图灵测试

1936年，图灵在一篇论文里构想了 一种理想中的机器，后被称为"图灵机"，它能够计算任何可计算的事物。

人类的思考，从某种层面来看，也是计算。

1950年，图灵发表了一篇著名论文《计算机器与智能》，文中提出了一个核心问题——机器能够思考吗？为回答此问题，图灵设计了一个"图灵测试"。

图灵测试:让一个人通过文字与两个对象交流。若他无法区分哪个是机器、哪个是人，那么就认定这台机器具备了智能。

哥德尔从哲学视角，用不完备定理封禁了智能之门；图灵则从实验角度，用图灵测试解开了这道封印。

图灵为人工智能的研究奠定了哲学基石。他启示我们，机器能否思考，并非一个抽象的哲学命题，而是一个可通过实验检验的问题。

（说明：本文属于阅读笔记的整理）