图灵全名--艾伦·麦席森·图灵.

生平:图灵生于1912年英国首都伦敦,从小天赋异禀.在数学以及化学方面就取得了杰出的成就,这也为他之后研发图灵机打下了坚实的基础;

求学:19岁进入英国国王学院学习,毕业后受邀进入美国普林斯顿大学攻读博士学位;

图灵在计算研发过程中的主要成就

图灵在少年时就表现出了独特的直觉创造能力和对数学的爱好.15岁就帮助母亲理解爱因斯坦的相对论;1937年图灵发表了<<论数字计算在决断难题中的应用>>一文,立即引起了广泛的关注.在论文的附录里他描述了一种可以辅助数学研究的机器,被后世成为--"图灵机".在他的这篇论文中,第一次将纯数字的符号逻辑和实体世界之间建立了联系.后台我们所熟知的电脑以及还未实现的"人工智能"都是基于改理论.

                                                                图灵机模型理论

图灵机简介

图灵机是一种自动的数学模型,他是一条两端(或者一端)无线延长的纸带,上面划成方格,每个方格中可以印上某字母表中的一个字母(亦可为空格,记为S0);又有一个肚读写头,它具有有限个内部状态.任何时候读写头都注视着纸带上的某一个方格,并根据注视方格的内容以及读写头当时的内部状态而 执行变换规则岁规定的动作,每个图灵机都有一组变换法则,他们具有以下三个形状之一:qiaRqi,qiaLqi,qiabqi,意思就是:当读写头处于状态qi时如果注视格的内容为之母a则读写头右移一格或左移一格/或印下之母b(即把注视格的内容由a改成b.a,b可为S0).图灵把可计算函数定义为图灵机可计算函数,1937年,图灵在他的"可计算性与λ可定义性"一文中证明了图灵机可以计算函数与λ可定义函数时等价的,从而阔广了丘奇论点,得出:算法(能行)可计算函数等同于一般递归函数或λ可定义函数或图灵机可计算函数,这就是"丘奇-图灵论点",相当于完善地解决了可计算函数的精确定义问题,对数理逻辑的发展起了巨大的推动作用.

图灵机的意义

图灵机的概念由十分独特的意义:如果把图灵机的内部状态解释为指令,用字母的字来表示,与输出字输出字母样存贮在机器里,那就成为了电子计算机.由此开创了"自动机"这一科学分支,促进了电子计算机的研制工作.与此同时,图灵还提出了通用图灵机的概念,它相当于通用计算机的解释程序,这一点直接促进可后来通用计算机的设计和研制工作,图灵自己也参与了这一工作.在给出图灵机的同时,图灵就指出,通用图灵机在计算时,其"机械性的复杂性"是有临界限度的,超过这一限度,就要靠增加程序的长度和存贮量来解决,这种思想开启了后来计算机科学中计算复杂理论的先河.

主要荣誉

1926年，图灵考入英国著名的谢伯恩公学，在中学时就获得了国王爱德华六世数学金盾奖章。

1932年，荣获英国著名的史密斯数学奖。

1946年，由于他在二战中为破译德军密码做出的巨大贡献，获得“不列颠帝国勋章” ，这是英国皇室授予为国家和人民做出巨大贡献者的最高荣誉勋章。

人物评价

图灵不但以破译密码文明天下,他在人工智能和计算机等领域也作出了杰出的贡献,它常被认为是现代计算机科学的创始人.1999年,他被《时代》杂志评选为20世纪100个最重要的人物之一.

另外电影《模仿游戏》就是根据图灵的生平所改编的;