bots)的工厂制造了一支机器人军队从事非技术性劳动(不过,不同于普通的机器,这些机器人是用肉和血制造的)。最终,世界经济变得依赖于这些机器人。机器人们遭受残酷虐待,最后反叛了它们的人类主人,将他们杀得精光。但是,在盛怒之下,机器人也杀死了所有能够维修和制造新机器人的科学家,从而注定了它们自己的灭亡。在尾声,两个特殊机器人发现它们拥有复制的能力,并且可能成为新的机器人亚当与夏娃。
机器人还是最早、耗资最大的无声电影之一《大都会》(Metropolis)的内容主题,该片是由弗里兹·朗(FritzLang)于1927年在德国导演的。故事设定在2026年,劳动阶层无奈地在条件恶劣、肮脏的地下工厂工作,而处于统治地位的社会精英则在地面上寻欢作乐。一位美丽的女性玛丽亚(Maria)赢得了工人们的信任,但是统治阶层害怕有一天她会领导他们起来反抗。所以,他们让一名邪恶的科学家制造了一个玛丽亚的机器人副本,但最终,这一阴谋却事与愿违,因为这个机器人领导工人们反抗了统治阶层,并且引起了社会体系的崩溃。
人工智能,也称AI,与我们目前为止所探讨过的技术不同,对于支撑它的基础原理的了解仍旧很少。虽然物理学家对于牛顿力学、麦克斯韦的光学、相对理论和原子、分子的量子理论理解非常充分,但智能的基本原理仍旧被迷雾笼罩。AI领域的牛顿或许还没有出生。
但是数学家和计算机科学家仍旧顽强无畏。对他们来说,让一台能够思维的机器走出实验室只是个时间问题。
在AI领域影响最大、为AI研究奠定基石作出贡献的智者,是伟大的英国数学家阿兰·图灵(AlanTuring)。
图灵为整个计算机革命打下了基础。他设想了一台仅有三个要素组成的机器(它被称作图灵机):一条输入带、一条输出带和一个能够完成一组精确操作的中央处理器(比如奔腾芯片),由此,他得以制定出计算机的原理,并且精确地测定了它们的最大能力和极限。今天,所有的数字计算机都遵循图灵定下的严密法则。整个数字世界的建立欠了图灵一个巨大的人情。
图灵还为数学逻辑的建立作出了贡献。1931年,维也纳数学家科特·哥德尔(KurtGodel)震撼了整个数学界,他证明算术中有些真实的命题永远无法以算术公理证明(例如,1742年的哥德巴赫猜想[Goldbajecture:任何大于2的偶数整数都可以被表示成两个质数之和]在250年之后仍没能被证明,且可能事实上是不可证的)。哥德尔揭露的事实粉碎了自古希腊以来延续了2500年的梦:证明数学系统中所有的真命题。哥德尔证明数学领域永远会有超出我们思维所及的真命题。数学远远不是古希腊人所梦想的那样完整和牢不可破,它被证明是不完整的。
图灵给这场革命添砖加瓦,证明一台图灵机是否需要使用无穷多的时间来完成某些数学运算是不可知的。伹如果一台计算机花费无穷多的时间来计算某事,那就意味着无论你要求计算机计算的是什么,它都是不可计算的。由此,图灵证明了数学中存在不可计算的真命题。换言之,那是永远超出计算机能力的,无论它有多么强大。
在第二次世界大战中,图灵在密码破译上的开拓性工作按理说拯救了盟军部队数以千计的生命,并且影响了战争的结果。盟军无法破译纳粹使用的—种名叫“埃尼格玛”(Enigma)的密码机所编译的密码,因此图灵和他的同事们被要求开发一种能够破译纳粹密码的机器。图灵的破译机被称为“炸蛋”(bombe),并最终取得了成功。到战争尾声,有200多台他的机器在运行。结果,盟军得以读懂纳粹的无线电波,并因此能够在最终进