阿兰麦席森图灵(人工智能之父).doc

阿兰·麦席森·图灵（人工智能之父）
【概述】
　　阿兰·麦席森·图灵（Alan Mathison Turing，—），英国数学家、逻辑学家，她被视为计算机之父。 1931年图灵进入剑桥大学国王学院，毕业后到美国普林斯顿大学攻读博士学位，二战爆发后回到剑桥，后曾帮助军方破解德国著名密码系统Enigma，帮助盟军取得了二战胜利。
　　1936年，图灵向伦敦权威数学杂志投了一篇论文，题为“论数字计算在决断难题中应用”。在这篇开创性论文中，图灵给“可计算性”下了一个严格数学定义，并提出著名“图灵机”(Turing Machine)设想。“图灵机”不是一个具体机器，而是一个思想模型，可制造一个十分简单但运算能力极强计算装置，用来计算全部能想象得到可计算函数。“图灵机”和“冯·诺伊曼机”齐名，被永远载入计算机发展史中。1950年10月，图灵又发表了另一篇题为“机器能思索吗”论文，成为划时代之作。也正是这篇文章，为图灵赢得了“人工智能之父”桂冠。
【生平】
　　
◆小说从谜开始
　　英国现代计算机起步是从德国密码电报机——Enigma(谜)开始，而解开这个谜不是她人，正是阿兰·图灵，一个在计算机界响当当人物，可和美国冯·诺依曼相媲美电脑天才。在她短暂生涯中，图灵在量子力学、数理逻辑、生物学、化学方面全部有深入研究，在晚年还开创了一门新学科—— 非线性力学。
　　图灵英年早逝。在她42年人生历程中，她发明力是丰富多彩，她是天才数学家和计算机理论教授。24岁提出图灵机理论，31岁参与COLOSSUS研制，33岁设想仿真系统，35岁提出自动程序设计概念，38岁设计“图灵测验”。这一朵朵灵感浪花无不闪耀着她在计算机发展史上预见性。尤其是在60年代后当然，图灵最高成就还是在电脑和人工智能方面，她是这一领域开天辟地大师。为表彰她贡献，专门设有一个一年一度“图灵奖”，颁发给最优异电脑科学家。这枚奖章就像“诺贝尔奖”一样，为计算机界获奖者带来至高无上荣誉。而阿兰·图灵本人，更被大家推崇为人工智能之父，在计算机业十倍速改变历史画卷中永远占有一席之地。她惊世才华和盛年夭折，也给她个人生活涂上了谜一样传奇色彩。
　　
◆神童图灵
　　　图灵1912年6月23日出生于英国伦敦。其祖父曾取得剑桥大学数学荣誉学位，但她父亲数学才能平平。所以，图灵家庭教育，对她以后在数学及计算机方面成就并没有多少帮助。小时候图灵生性活泼好动，很早就表现出对科学探索精神。据她母亲回想，3岁时，小图灵就进行了她首次试验，尝试把一个玩具木头人小胳膊、小腿掰下来栽到花园里，等候长出更多木头人。到了8岁，她更开始尝试写一部科学著作，题目为《相关一个显微镜》。在这部很短书中，天才儿童图灵拼错了很多单词，句法也有些问题，但写得还能让人看懂，很像那么一回事儿。在书开头和结尾，她全部用同一句话“首先你必需知道光是直”作前后呼应， 但中间内容却很短，短得破了科学著作统计。图灵曾说 ：“我似乎总想从最一般东西中弄出些名堂。”就连和儿童们玩足球，她也能放弃目前锋进球这么出风头事，只喜爱在场外巡边，因为这么能有机会去计算球飞出边界角度。她老师认为 ：“图灵头脑思维能够像袋鼠一样进行跳跃。”图灵是个天才。她16岁就开始研究爱因斯坦相对论。1931年，图灵考入剑桥大学国王学院，开始她数学生涯，研究量子力学、概率论和逻辑学。在校期间，图灵还是现代语言哲学大师维特根斯坦班上最出色学生。她对由剑桥大学罗素和怀特海创建数理逻辑很感爱好。数理逻辑创建，关键源于古希腊克里特岛上有个叫爱皮梅尼特“智者”，她说 ：“全部克里特岛人全部说谎”。我们能够把它简化为：“我说这句话是假话”。这就出现一个两面全部无法自圆怪圈：假如她没有说谎，那她这句话是错，她是在说谎；假如她真在说谎，那她说自己在说谎是正确，所以她又没有说谎。罗素和怀特海把它从逻辑、集合论和数论中驱逐出去，最终又想尽措施归入《数学原理》之中。
　　图灵一上大学，就迷上了《数学原理》。在1931年，著名“哥德尔定理”出现后(该定理认为没有一个公理系统能够导出数论中全部真实命题，除非这种系统本身就有悖论)，天才图灵在数理逻辑大本营剑桥大学提出一个设想 ：能否有这么一台机器，经过某种通常机械步骤，能在标准上一个接一个地处理全部数学问题。大学毕业后，图灵去美国普林斯顿大学攻读博士学位，还顺手发明过一个解码器。在那里，她遇见了冯·诺依曼，后者对她论文击节赞赏，并随即由此提出了“存放程序”概念。图灵学成后又回到她母校任教。在短短时间里，图灵就发表了几篇很有份量数学论文，为她赢得了很大声誉。
　　
◆怪才图灵
　　在剑桥，图灵可称得上是一个怪才，一举一动常常出人意料。她是个单身汉和长跑运