图灵:用证据来检验科学的真理

综合报道

作为现代计算机科学和人工智能的奠基人之一,英国数学家阿兰·图灵在50多年前就预言了“思想机器”的诞生,但他留下的判断计算机是否具备智慧的标准测试──“图灵测试”至今却仍无人获得成功。多少年来,我们为了缔造出全智能机器而不断尝试,但至今依旧是科幻电影中的一个幻影。于是,让人工智能通过图灵测试就成了计算机界的一个具有无比吸引力的难题。(图1)

图1
图1

阿兰·图灵,1912年生于英国伦敦,16岁便开始研究爱因斯坦的相对论,之后在加拿大开始了他的职业数学生涯。在大学期间他似乎对现成的理论并不感兴趣,什么东西都要自己来一次。这位日后计算机逻辑学的奠基者,通过实践学到了科学探索的方法:存疑,即对一切都表示怀疑,即使看起来它是权威。他深信科学需要事实,需要证据。图灵甚至对生物也十分感兴趣,他希望了解生物的各个器官为什么是这个样子而不是那个样子。他不相信达尔文的进化论,他只想通过数学的方式来研究生物,他把生物进化也看做是一种程序,这其实也就是图灵机的基本概念:一切按程序进行。24岁那年,图灵在数理逻辑大本营的剑桥大学提出一个大胆的设想:能否有这样一台机器,通过某种一般的机械步骤,能在原则上一个接一个地解决所有的数学问题。1936年图灵提出了著名的“图灵机”(Turing Machine)的设想。“图灵机”不是一种具体的机器,而是一种思想模型。它由三部分组成:一条带子、一个读写头和一个控制装置,能计算出任何给定的程序运算,即能执行任何可能的任务。冯·诺依曼也十分诧异图灵的天分,他曾经邀请图灵当他的助手,可图灵因为钟情于剑桥大学而未能成行。一年后,他和许多科学家一样被卷入了二次大战。作为英国外交部通信部门的战时公务员,图灵和同事们用一台由马达和金属零件制成的设备把德军几乎无懈可击的电报密码“谜”破译了出来,而德军还一直以为他们那台能够不断变换密码的机器是世界无敌的,能够一直“谜”下去,结果泄露了大量的核心机密。
其实图灵对于计算机最大贡献是提出了衡量人工智能的标准“图灵测试” 。图灵一直相信机器可以模拟人的智力,但这样的猜想在当时十分前卫,即使在今天仍然有许多人认为人的智慧是不可能用机器模仿产生的。所以图灵当时经常和其他科学家就机器实现人类智能的问题争论不休。图灵提出一个奇妙的假想:一个人在不知情的条件下,通过一种特殊的方式(通常使用键盘)和一台机器进行问答,如果在相当长的时间内,他分辨不出与他交流的对象是人还是机器,那么,这台机器就可以认为是具备人工智能。这个蕴涵在简单事物中的伟大思想就是著名的“图灵测试”,它使图灵到达了事业的巅峰。
1954年,图灵在寓所因为食物中毒而黯然消逝,年仅42岁。
后来,诞生了一项被喻为世界计算机界诺贝尔奖的“图灵奖”。奖金不高,只有两万五千美元,但最重要的却是传递着图灵的科学精神:科学永远是科学,说一件事情好要有证据,说一件事情不好也要有证据,证据就是科学的真理!