Math 版 (精华区)

发信人: zjliu (Robusting), 信区: Math
标  题: 谜一样的数学大师--图灵3
发信站: 哈工大紫丁香 (Mon Nov 25 21:10:47 2002) , 转信

怪才图灵

    在剑桥,图灵可称得上是一个怪才,一举一动常常出人意料。他是个单身汉
和长跑运动员。在他的同事和学生中间,这位衣着随便、不打领带的著名教授,
不善言辞,有些木讷、害羞,常咬指甲,但他更多地以自己杰出的才智赢得了人们
的敬意。图灵每天骑自行车上班,因为患过敏性鼻炎,一遇到花粉,就会鼻涕不止
,大打喷嚏。于是,他就常常在上班途中戴防毒面具,招摇过市,这早已成为剑桥
的一大奇观。图灵的自行车经常半路掉链子,但他就是不肯去车铺修理。每次骑
车时,他总是嘴里念念有词,在心里细细计算,这链条也怪,总是转到一定的圈数
就滑落了,而图灵竟然能够做到在链条下滑前一刹那停车,让旁观者佩服不已,以
为图灵在玩杂技。后来图灵又居然在脚踏车旁装了一个小巧的机械记数器,到圈
数时就停,歇口气换换脑子,再重新运动起来。

    1936年,图灵向伦敦权威的数学杂志投了一篇论文,题为《论数字计算在决断
难题中的应用》。在这篇开创性的论文中,图灵给"可计算性"下了一个严格的数
学定义,并提出著名的"图灵机"(Turing Machine)的设想。"图灵机"不是一种具
体的机器,而是一种思想模型,可制造一种十分简单但运算能力极强的计算机装置
,用来计算所有能想像得到的可计算函数。装置由一个控制器和一根假设两端无
界的工作带(起存储器的作用)组成。工作带被划分为大小相同的方格,每一格上
可书写一个给定字母表上的符号。控制器可以在带上左右移动,它带有一个读写
出一个你期待的结果。外行人看了会坠入云里雾里,而内行人则称它是"阐明现代
电脑原理的开山之作",并冠以"理想计算机"的名称。这篇论文在纸上谈了一把
兵,创造出一个"图灵机"来。但现代通用电脑确实是用相应的程序来完成任何设
定好的任务。这一理论奠定了整个现代计算机的理论基础。"图灵机"更在电脑
史上与"冯·诺依曼机"齐名,被永远载入计算机的发展史中。

    图灵机理论不仅解决了纯数学基础理论问题,一个巨大的"意外"收获则是,理
论上证明了研制通用数字计算机的可行性。虽然早在100年前的1834年,巴贝奇
(Chark Babbage,1792～1871)就设计制造了"分析机"以说明具体的数字计算,但
他的失败之处是没能证明"必然可行"。图灵机理论不仅证明了研制"通用机"的可
行性,而且比世界上第一台由德国人朱斯(K·Zuze)于1941年制造的通用程序控制
计算机Z-3整整早5年。这不得不使人惊叹这一理论的深刻意义。


--

※ 来源:．哈工大紫丁香 http://bbs.hit.edu.cn [FROM: 202.118.229.86]