Math 版 (精华区)

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

    神童图灵

    阿兰·图灵,1912年6月23日出生于英国伦敦。其祖父曾获得剑桥大学数
学荣誉学位,但他父亲的数学才能平平。因此,图灵的家庭教育,对他以后在数
学及计算机方面的成就并没有多少帮助。

    小时侯的图灵生性活泼好动,很早就表现出对科学的探索精神。据他母亲
回忆,3岁时,小图灵就进行了他的首次实验,尝试把一个玩具木头人的小胳膊、
小腿掰下来栽到花园里,等待长出更多的木头人。到了8岁,他更开始尝试写一
部科学著作,题目为《关于一种显微镜》。在这部很短的书中,天才儿童图灵
拼错了很多单词,句法也有些问题,但写得还能让人看懂,很像那么一回事儿。
在书的开头和结尾,他都用同一句话"首先你必须知道光是直的"作前后呼应,
但中间的内容却很短,短得破了科学著作的记录。图灵曾说 :"我似乎总想从
最普通的东西中弄出些名堂。"就连和小朋友们玩足球,他也能放弃当前锋进
球这样出风头的事,只喜欢在场外巡边,因为这样能有机会去计算球飞出边界
的角度。他的老师认为 :"图灵的头脑思维可以像袋鼠一样进行跳跃。"
    图灵是个天才。他16岁就开始研究爱因斯坦的相对论。1931年,图灵考入

剑桥大学国王学院,开始他的数学生涯,研究量子力学、概率论和逻辑学。在
校期间,图灵还是现代语言哲学大师维特根斯坦班上最出色的学生。他对由
剑桥大学的罗素和怀特海创立的数理逻辑很感兴趣。数理逻辑的创建,主要
源于古希腊克里特岛上有个叫爱皮梅尼特的"智者",他说 :"所有的克里特岛
人都说谎"。我们可以把它简化为:"我说的这句话是假话"。这就出现一种两
面都无法自圆的怪圈:如果他没有说谎,那他这句话是错的,他是在说谎 ;如果
他真的在说谎,那他说自己在说谎是对的,所以他又没有说谎。罗素和怀特海
把它从逻辑、集合论以及数论中驱逐出去,最后又想尽办法归入《数学原理》
之中。

    图灵一上大学,就迷上了《数学原理》。在1931年,著名的"哥德尔定理"
出现后(该定理认为没有一种公理系统可以导出数论中所有的真实命题,除非
这种系统本身就有悖论),天才的图灵在数理逻辑大本营的剑桥大学提出一个
设想 :能否有这样一台机器,通过某种一般的机械步骤,能在原则上一个接一
个地解决所有的数学问题。

    大学毕业后,图灵去美国普林斯顿大学攻读博士学位,还顺手发明过一个
解码器。在那里,他遇见了冯·诺依曼,后者对他的论文击节赞赏,并随后由此
提出了"存储程序"概念。图灵学成后又回到他的母校任教。在短短的时间里,
图灵就发表了几篇很有份量的数学论文,为他赢得了很大的声誉。


--

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