图灵的理论是,“如果有一条无限长的纸带,那么图灵机可以模拟任意机械过程。”这使得图灵机从理论上证明了“人的思考过程可以机械化”这一命题。其隐喻是“虽然我还不知道人是如何思考的,以及人的思考到底有多复杂,但是我有无限长的纸带呀!”
这种朴素的思维不久就遇到了瓶颈。不过,在那之前,它也经历的黄金时代。
黄金时代和大萧条
图灵为现代计算机的产生提供了理论基础。
1943年,美国陆军为了计算火炮的火力表,和宾夕法尼亚大学穆尔电气工程学院签订了一纸建造项目,项目代号“PX”,费用50万美元(大致相当于现今的650万美元),1946年交付使用。这个项目的成果就是埃尼阿克(ENIAC)。因为埃尼阿克是图灵完全的电子计算机,能够重新编程,解决各种计算问题,所以被后世认为是世界上第一台通用计算机。
ENIAC,现存于宾夕法尼亚大学工程和应用科学学院
随着现代计算机的大发展,人工智能也迎来了它的第一次黄金时代。
1950年,图灵发表了一篇划时代的论文,叫《机器能思考吗?》,文中预言了创造出具有真正智能的机器的可能性,并提出了著名的“图灵测试”。例如,现在网站上的验证码就属于图灵测试的一种。