人工智能史话（二）

图灵的理论是，“如果有一条无限长的纸带，那么图灵机可以模拟任意机械过程。”这使得图灵机从理论上证明了“人的思考过程可以机械化”这一命题。其隐喻是“虽然我还不知道人是如何思考的，以及人的思考到底有多复杂，但是我有无限长的纸带呀！”

这种朴素的思维不久就遇到了瓶颈。不过，在那之前，它也经历的黄金时代。

黄金时代和大萧条

图灵为现代计算机的产生提供了理论基础。

1943年，美国陆军为了计算火炮的火力表，和宾夕法尼亚大学穆尔电气工程学院签订了一纸建造项目，项目代号“PX”，费用50万美元（大致相当于现今的650万美元），1946年交付使用。这个项目的成果就是埃尼阿克（ENIAC）。因为埃尼阿克是图灵完全的电子计算机，能够重新编程，解决各种计算问题，所以被后世认为是世界上第一台通用计算机。

ENIAC，现存于宾夕法尼亚大学工程和应用科学学院

随着现代计算机的大发展，人工智能也迎来了它的第一次黄金时代。

1950年，图灵发表了一篇划时代的论文，叫《机器能思考吗？》，文中预言了创造出具有真正智能的机器的可能性，并提出了著名的“图灵测试”。例如，现在网站上的验证码就属于图灵测试的一种。