日期：2012-06-07 21:59:34

　　剑桥大学（University of Cambridge）座落于英国剑桥镇，成立于13世纪初，据说是由一小撮为避开武斗而从牛津大学逃跑出来的老师创立的。剑桥大学与牛津大学一样，一直以来不仅是英国，也是全世界最优秀的学府之一。美国的第一所大学——哈佛大学可以算作是剑桥的后裔，因为他的12个创校人中9个是剑桥毕业生，哈佛大学的所在地亦因此被命名为剑桥。
　　从上个世纪以来，位于美国剑桥的哈佛和麻省迅速崛起，开始向英国剑桥发起挑战，而在近年的各种大学排行榜中，英国剑桥与美国剑桥互有胜负。不过，若是论到历史底蕴和积淀，仍是英国剑桥更胜一筹，需知道，剑桥大学成立时，哥伦布都还未发现美洲大陆呢。而从诺贝尔奖得奖人数来算，剑桥的88人目前仍是世界第一，多于麻省理工的77人和哈佛的75人。
　　图灵最初申请入读的是剑桥最负盛名的三一学院，他的祖父就曾在那就读和任教，他一生中的唯一挚友，比他长一岁的克里斯托弗当年也已考取了三一学院的奖学金，只是还未入读就英年早逝。不过图灵最终还是未能入读三一学院，他考取到的是剑桥的国王学院。国王学院在规模、名气和实力上都比不上出过牛顿、罗素、培根等大师的三一学院，但国王学院的学生却向来是最为自负的。国王学院由亨利六世国王亲自创立，为了彰显王室显赫地位，学院的建筑在整个剑桥里是最宏伟壮观的。在建院初期，学院一度只接收伊顿公学的毕业生，因此被称为剑桥的贵族学院。该院学生最爱吹嘘的历史，是他们曾经成功抵制了三一学院的牛顿过来国王学院当院长，尽管这一任命是当时的国王所颁布的。

　　在国王学院，图灵有幸得到了纽曼、哈代、玻恩、爱丁顿等大师的指点，开始了在量子力学和数理逻辑等领域学习和探索。在这些学术泰斗的加持下，图灵的等级迅速飙升，1935年，图灵发表了《论高斯误差函数》一文，在数学界引起震动。国王学院随即作出一个史无前例的决定，选举22岁的图灵，一个尚未毕业的本科生为国王学院的院士（Research Fellow）。
　　同年，在纽曼的指导下，图灵开始了关于希尔伯特的“判定性问题”的研究，并在次年发表了《论可计算数及其在判定问题中的应用》的论文，证明了“判定性问题”是无法解决的。但可惜，早在几个月前，普林斯顿大学的阿隆佐.邱奇（Alonzo Church）教授已证明了“判定性问题”的不可解，图灵因此失去的优先权。不过，他却因此得到了赴普林斯顿高等研究院跟随邱奇深造的机会。
　　1938年，图灵在邱奇的指导下获得博士学位，时年26岁。在普林斯顿期间，图灵得以接触当时到世界上最顶尖的科学巨擘，包括爱恩斯坦、冯.诺依曼、赫尔曼.外尔、莱夫谢茨、邱奇等等。冯?诺依曼当时正在普林斯顿高等研究院任教，他对图灵极为欣赏，力邀图灵担任他的助理研究员。可惜图灵执意要回英国发展，最终两位计算机理论先驱失之交臂，未能擦出火花。
　　（113）
日期：2012-06-08 23:01:28

　　1939年，图灵回到英国后，为布莱切利设计了Bombe破译机，成为破解英格玛密码系统的关键人物。不过，图灵对于计算机技术发展所做出的贡献，并不仅仅在于Bombe，也不仅仅在于密码破译。
　　图灵在计算机理论方面有两大显赫成就，一是在1936年发表的《论可计算数及其在判定问题中的应用》，后被称为《理想计算机》。在这篇具有里程碑意义的论文中，图灵首次描述了一种称之为“图灵机”的机器。“图灵机”是一种理想的机器，它使用一条无限长度的纸带，带子上划分成许多格子。在每个时刻，机器会从纸带上读入一个方格信息，然后结合自己的内部状态查找程序表，根据程序输出信息到纸带方格上。同时，机器会转换自己的内部状态，然后继续进行移动。

　　“图灵机”实际上是一台虚拟的“计算机”，它完全忽略硬件状态，考虑的仅仅是计算机的逻辑结构。“图灵机”是现代通用计算机的最原始的理论模型。经常被扣上“计算机理论之父”帽子的冯.诺依曼就坚持这一桂冠应归于图灵，他多次公开表示：“计算机的基本概念，只能属于阿兰.图灵。”
　　图灵的第二个伟大成就是关于人工智能的研究。1942年，图灵第二次踏足美国，指导美国海军生产Bombe破译机。期间，他在贝尔实验室逗留了一段时间，并与香农见了面。两位大师就计算机算法及人工智能问题深入地交换了意见。这次会面引起了图灵对人工智能研究的兴趣。
　　1948年，图灵受聘于曼彻斯特大学，而力邀图灵过来的正是图灵的当年的老师纽曼。二战期间纽曼与图灵同在布莱切利任职，战后纽曼在曼彻斯特大学建立了计算机实验室，并开始了Manchester Mark 1计算机的研制。在老师的安排下，图灵担任实验室的副主管，并参与了Mark 1的软件编写工作。在此期间，图灵对人工智能进行了深入研究，并于1950年发表了《机器能思考吗？》这一著名论文。在论文中，图灵第一次提出“机器思维”的概念，成为系统论述人工智能的第一人。

　　图灵认为机器能够思维，并就此提出了一个著名的假想：即一个人在不接触测试对象的情况下，通过和测试对象进行一系列的问答，如果在相当长时间内，他无法根据这些回答判断测试对象是人还是计算机，那么，如果测试对象是一台计算机的话，就可以认为这台计算机具有同人相当的智力，即这台计算机是能思维的。这就是著名的“图灵试验”(Turing Testing)。正是这篇论文，为图灵赢得了又一顶桂冠——“人工智能之父”。

　　到目前为止，世界上还没有哪一台计算机能通过图灵测试。也许这是件好事，要不然《终结者》、《黑客帝国》、《机械公敌》等电影中描述的机器人造反的情节，恐怕就要成真了。我好怕怕。
　　（114）