三，战火中的图灵

                                                                                                         狭路相逢勇者胜。

                                                                                                         ----《孙子兵法》

       Alan M Turing，生于1912年。

       在这一年，世界上几乎是最古老国家的最后一个皇帝宣布退位，一个曾经世界上最大的轮船撞上了冰山，有关国家的第一次世界大战准备工作，正在紧锣密鼓的进行当中……

       Turing的一生成就卓著。可以简单概括为如下几个方面：人工智能，图灵机，可计算性，密码学。

      

人工智能，如果追究这个问题的根本，甚至可以上升到哲学当中的一个问题，什么是人类的认知？

      

       人工智能就是要让机器的行为看起来就像是人所表现出的智能行为一样。

                                                                                           ----John McCarthy

      

计算机的设计与制作，最早就是为了帮助人类解决实际问题，在取得了一定的成就后，需求暴增。各种科幻作品证实，有无数人试图让计算机无所不能；但与此同时，有那么一批人在研究，计算机究竟能做什么与不能做什么。

整体来说，人工智能的研究领域分为强人工智能与弱人工智能两派。前者认为：可以让机器具有类似人的推理和思考方式，或者机器自成一家，有自己的一套逻辑完整的思考方式；后者则认为前者的说法是不可能的，最多不过是能造出来一些看似有智能的机器而已。

以目前的进展来看，人工智能已经触及人类思维的最根本问题，在这些未能彻底明晰的环境下，一个清楚的判断显然很难提出。

简单来说，在这个领域，首先要明确的问题就是如何知道机器有智能，关于这个问题的最浅显解答，莫过于Turing测试。

那么，除了Turing测试之外，还有什么能够更只管的说明人工智能的成就呢？显然，“深蓝”的成功应该算是一个，除此之外，诸如模式识别等领域人工智能的应用，也可谓成就颇多，不过，这些成就基本都是证明了弱人工智能一派的胜利。

那么，人工智能如何实现？

搜索，规划，决策树，概率与先验概率，价值评估…诸如此类，都是人工智能领域中常用的技术，在这些技术当中，蕴藏着大量的可计算性判断，任何一步的判断失误，都可能导致问题最终的失败。

 

图灵机是Turing在《论数字计算在决断难题中的应用》这篇经典文章中首次明确的概念，通常被认为是现代计算机的原型，这台机器的原理是模拟人类用纸笔进行数学运算的过程，Turing把这个过程看作下列两种简单的动作：

 

在纸上写上或去掉某符号；

把注意力从纸的一个位置移动到另一个位置；

在每个阶段，人要决定下一步的动作，依赖于此人当前所关注的纸上某个位置的符号和此人当前思维的状态。

 

在上述步骤的指导下，Turing构造出一台假想的机器，该机器由以下几个部分组成：

一条无限长的纸带：纸带被划分为一系列的小格，在格子中可以包含一组有限的字母表，并对这些字母进行编号。

一个读写识别器：该读写器可以在纸带上双向移动，可以读当前所指的格子上的符号，也能改变当前格子上的符号。

一套控制规则：根据当前机器状态以及当前读写器所指格子上的符号来确定读写器下一步的动作，并改变一个状态记录器的值，使得机器进入一个新状态。

一个状态记录器：用来保存图灵机当前所处的状态。图灵机的所有可能状态的数目有限，并有一个特殊状态称为“停机”。

      

可以看出，这个理想中的机器，已经蕴含了现代计算机的关键要素，类似于汇编的算法，寄存器，存储机制……一应俱全。并且，这台机器有很多变种，比如读写器固定，字母表大小不同等，但是我们可以看出，这些变种的计算能力其实是等价的，因为字母表的大小集合不同的话，不过类似于数的进制不同而已，不同进制的数可表示的范围是等价的，而读写器不移动，但是纸带可移动，则效果完全相同。

 

       同时，Turing在他这篇文章中，还提出了“可计算性”的理念，这个领域的目标在于判断所面对问题的相对可计算性，可定义性，可规约性，以及完成问题的程序结构。

 

       至于Turing在密码学上的成就，已经众所周知。二战期间，Turing在布莱切利庄园带领一群旷世天才与另一位天才工程师Arthur Scherbius所打造的Engima密码机的对抗，据说使得二战提前两年结束。

 

纵观20世纪初的上半叶，战争的狂潮几乎席卷了这个星球的所有陆地，战争往往是催生新技术的最强大动力，因为战争事关生死，是对人类体力智力的最高考验，也许就是在这种极端的高压之下，天才的惊人的潜能全面爆发，于是出现一系列惊人的成就。

      

 

附：据说Adolf Hitler在看过了Engima机的工作过程后，曾断言“英国人不可能破解，因为要想破解这个密码，需要造出房子那么大的机器”。后来，Turing带头的工作组不仅造出了Bombe与Colossus系列机器成功的破解了Engima，而且这些机器还真是房子那么大。

 

发表于 @ 2009年05月24日　16:18:00 | 评论( loading... ) | 编辑| 举报| 收藏

旧一篇:乙亥两百年祭--计算机与软件设计发展史（二）----帕斯卡的杰作 | 新一篇:表达式求值stack对象与string版