转载艾兰图灵神一样的存在

《转载艾兰图灵神一样的存在》由会员上传分享，免费在线阅读，更多相关内容在应用文档-天天文库。

1、转载艾兰图灵神一样的存在艾兰·图灵百科名片艾兰·图灵，1912年6月23日出生于英国伦敦一个"书香门第"，家族成员里有三位当选过英国皇家学会会员，他的祖父还曾获得剑桥大学数学荣誉学位。可他父亲居里欧的才能十分平常，数学尤其糟糕，正负数的乘法运算就把他弄得焦头烂额。但他倒能踏实办事，于是被政府派到英属殖民地印度去当一名小公务员。图灵很小的时候就表现出与众不同的天分，在他三四岁的时候自己学会了阅读，读的第一本书叫做《每个儿童都该知道的自然奇观》。他特别喜欢数字和智力游戏，并为之着迷。图灵自幼充满好奇与想象，母亲回忆说："他把一个玩具木偶的胳膊、腿掰下来栽到花园里

2、，期待能'生长'出更多的玩具木偶，那年他3岁。"6岁正式读书后，图灵越发显得智力超群，校长和老师都注意到这个特殊的小孩。8岁时，他写了他的第一篇"科学"短文，题目叫《说说显微镜》。图灵从小喜欢体育运动，尤其酷爱足球。可是在和小朋友们踢足球的时候，他并不热衷于上场，而是更喜欢在场外担任巡边，为的是能有机会观察、估算每次足球飞出边界的角度，他从中获得了极大的乐趣，乐趣就在于能够一眼看出问题的答案。图灵天生悟性过人，16岁就能弄懂爱因斯坦的相对论，并且运用那深奥的理论，独立推导力学定律。有一年，图灵参加了地区的中学数学会考。阅卷结束，没有任何学生能够答对所有的问题

3、，主考官员却发现图灵的答卷上，所有的答案完全正确，可没有任何中间步骤。主考官员心中疑惑，但办事认真负责，亲自到学校找校长和老师核查有无作弊行为。老师们却见怪不怪，心中有数。一位教过图灵的老师告诉主考官员："这孩子的思维超常。我给学生们出了个光学的难题，图灵竟不假思索，立即算出了正确答案。可是当我要他给出计算过程时，他却回答不出，那必须要运用几个图灵没有学过的光学公式。几天之后，图灵竟然把光学公式自己推导出来了。"老师们说："艾兰的思维可以像袋鼠般地跳跃。"1931年，图灵考进了剑桥大学，在该大学的"国王学院"专攻数学。剑桥是他这一生学术生涯的起点。那儿有自由

4、的学术环境，他如饥似渴地阅读一切感兴趣的书籍，甚至是刚刚出版上市的天才大数学家冯·诺依曼的新作《量子力学的逻辑基础》。除了数学与物理之外，他的兴趣比中学时代广泛了许多，例如对哲学也产生了兴趣，他选修了哲学大师维特根斯坦教授的"数学的哲学"课，还成为那班上最出色的学生。哲学与数学在逻辑学上有交汇。剑桥大学的大数学家罗素和怀特海创立了"数理逻辑学"。这是一门非常抽象、讲究逻辑思维、令人煞费脑筋且望而生畏的学科。但是图灵一听就懂了，而且立刻发生兴趣。这里，为便于读者认识图灵，我想对"数理逻辑学"多说两句。这个学科的创建，起源于一个逻辑上的"悖论"。为了非专业人士都

5、能明白逻辑悖论的含义，哲学家或者数学家喜欢用讲故事的办法来解释它。一个经典的故事是：村子里有位理发师，他为而且只为村子里所有那些不给自己理发的人理发。现在的问题是，谁为理发师理发?假定理发师为自己理发，那么依照理发师"只为不给自己理发的人理发"的规定，由此推理得出结论：理发师是不为自己理发的人，这与假定矛盾；或者假定理发师不为自己理发，那么依照理发师"为所有不给自己理发的人理发"的规定，由此又推理得出结论：理发师应该为自己理发，这又与假定矛盾。所以，不论怎么假定，也就是说不论谁为理发师理发，都要出现不能自圆其说的结论。在数学的逻辑推理上会出现类似的悖论，18

6、99年德国大数学家康托发现了一个悖论，英国大数学家罗素在1902年又发现了一个不同的悖论。人人皆知，整个"数学大厦"就建筑在严格的逻辑推理的基础之上。逻辑推理出现悖论，对数学的逻辑推理与证明的打击是致命的。数学家们十分担忧，数学的基础出现了非同小可的麻烦，"数学大厦"会因悖论的存在而坍塌。于是，他们都想方设法去修补数学基础，以避免在逻辑推理过程中产生悖论。例如，康托发表专著《集合论》，罗素与怀特海联合撰写三卷《数学原理》，都为完善数学基础做出了不可磨灭的贡献，创立了一门有关数学基础的学科"数理逻辑学"。剑桥大学是"数理逻辑学"的发源地与大本营，一群聪明而勤奋

7、的青年数学家聚集在数学泰斗罗素教授的周围，图灵是其中的佼佼者。他在剑桥如鱼得水，4年的大学教育，给他结结实实地打好了学术基础，毕业后留校执教，不到一年工夫，他就有所创造，发表了几篇很有分量的数学论文，崭露头角。1935年，刚刚毕业，年仅23岁的图灵就被剑桥大学国王学院甄选为研究员，成为剑桥大学有史以来最年轻的研究员。为此，剑桥大学特地宣布放假半天以示庆贺。罗素教授也异常器重图灵，安排图灵讲学授课。同年，图灵又因他在"概率论"上的成就，荣获"斯密思奖"。图灵在数学，尤其是在"数理逻辑学"方面的深厚功底，令他几年后终于厚积薄发，一举成为计算机科学的创始人。图灵继

8、续在他的学术道路上飞跃，他要扩大他的学术视野。193