站在巨人肩上软件工程范明.ppt

学科及工程认识导论 范明 站在巨人肩上名家名师与计算机最高奖 范明 email: iemfan@ 名家名师与计算机最高奖 作为计算机专业的学生, 你应当知道的两位计算机之父 阿兰·麦席森·图灵(Alan Mathison Turing) 冯·诺伊曼(John von Neumann) 作为华人, 你应当知道的一位名家 姚期智(Andrew Chi-Chih Yao) 作为郑州大学计算机专业的学生, 你应当知道的两位名人 韩家炜(Jiawei Han) 张宏江(HongJiang Zhang) 计算机之父——图灵 图灵 阿兰·麦席森·图灵(Alan Mathison Turing, 1912年6月23日—1954年6月7日) 英国数学家、逻辑学家、密码专家、计算机科学家 被尊为计算机之父. 图灵被美国Time杂志评为20世纪最有影响的100位名人之一 事实上，敲击键盘、操纵电子数字表或字处理程序的每个人都正在一台具体化的图灵机上工作 图灵的主要贡献 计算理论与计算模型：图灵机 密码破译 人工智能的开创性工作 图灵生平简介 1912年6月23日，出生于英国伦敦 1931年-1934年，在英国剑桥大学国王学院（King’s College）学习 1932年-1935年，主要研究量子力学、概率论和逻辑学. 1935年，年仅23岁的图灵，被选为剑桥大学国王学院fellow 1936年，主要研究可计算理论 提出“图灵机”的构想 1936年-1938年，主要在美国普林斯顿大学攻读博士学位，师从阿隆佐 · 邱奇（Alonzo Church），研究涉及逻辑学、代数和数论等领域 1938-1939年，返回剑桥从事研究工作，并加入英国政府破译二战德军密码的工作 1940年-1942年，作为主要参与者和贡献者之一，在破译纳粹德国通讯密码的工作上成就杰出，并成功破译了德军U-潜艇密码，为扭转二战盟军的大西洋战场战局立下汗马功劳 图灵生平简介(续) 1943年-1945年，担任英美密码破译部门的总顾问 1945年，应邀在英国国家物理实验室从事计算机理论研究工作1946年，这个时候，图灵在计算机和程序设计原始理论上的构思和成果，已经确定了他的理论开创者的地位。由于图灵的杰出贡献，年轻的他被英国皇室授予OBE勋衔 1947年-1948年，主要从事计算机程序理论的研究，并同时在神经网络和人工智能领域做出开创性的理论研究 1948年，应邀加入英国曼彻斯特大学从事研究工作，担任曼彻斯特大学计算实验室副主任 1949年，成为世界上第一位把计算机实际用于数学研究的科学家 1950年，发表论文“计算机械与智能”，为后来的人工智能科学提供了开创性的构思，提出著名的“图灵测试” 图灵生平简介(续) 1951年，从事生物的非线性理论研究。年仅39岁的图林，被选为英国皇家学会会员 1953年-1954年，继续在生物和物理学等方面的研究 1954年6月7日，图灵被发现死于家中的床上。死因是氰化物中毒，警方调查结论是自杀。一代英灵，就此过早离去，成为人类科学史上的一大遗憾 图灵的主要贡献 （一）计算理论与计算模型 1936年，图灵发表了题为On Computable Numbers, with an Application to the Entscheidungs problem（论可计算数及其在判定问题上的应用）的论文 首次提出一种新的计算模型—— 图灵机（Turing Machine），其中 最重要的三点为后世带来了极其深远的影响 计算机的抽象定义 通用机(Universal Machine)的设想 存在任何计算机都无法解决的问题 今天，图灵机还是计算理论研究的中心课题 图灵的主要贡献(续) （二）破译密码 二战期间，图灵是布莱切利园（Bletchley Park）破译德国人密码工作的主要参与者 ，是负责解读德国海军信号的部门Hut 8的负责人 1939年英德开战后几周内，图灵设计了一台可以帮助破译恩尼格玛 (Enigma，谜) 的机器bombe Bombe是在波兰人战前设计的bomba的基础上设计的 ，按照数学家Gordon Welchman的建议增强 又称图灵-威尔士bombe 1940年12月，图灵解决了海军的恩尼格玛系统 发明了一种称作“Banburismus”的贝叶斯统计技术来支持破译海军的恩尼格玛 1942年7月，图灵发明了一种称作Turingismus的技术，用于破译德国人在新的 Geheimschreiber机（密写机）上使用的洛伦茨(Lorenz)密码 图灵的主要贡献(续) 图灵的主要贡献(续) 1945年，图灵因其战时的服务荣获英帝国荣誉勋章（OBE） 图灵的工作多年来一直保密 在图灵去世之后不久，皇家学会出版的一本传记