上海交通大学：《微电子学概论》课程教学资源_图灵奖下的人类智力延伸——-计算、集成电路及应用

图灵奖下的人类智力延伸 计算、集成电路及应用 绳伟光 上海交通大学微纳电子学系 2016年03月31日

图灵奖下的人类智力延伸 —— 计算、集成电路及应用 绳伟光 上海交通大学微纳电子学系 2016年03月31日

内容 ■Turing.及Turing Award ■历届图灵奖得主概览 ■人类对智力延伸的追求 ■对图灵奖的另类解读 ■CS与EE的未来研究热点 2

 Turing及Turing Award  历届图灵奖得主概览  人类对智力延伸的追求  对图灵奖的另类解读  CS与EE的未来研究热点 内容 2

内容 ■Turing.及Turing Award ■历届图灵奖得主概览 ■人类对智力延伸的追求 ■对图灵奖的另类解读 ■CS与EE的未来研究热点 3

 Turing及Turing Award  历届图灵奖得主概览  人类对智力延伸的追求  对图灵奖的另类解读  CS与EE的未来研究热点 内容 3

图灵其人 阿兰·图灵(1912年6月23日~1954年6月7日)，英国 数学家、逻辑学家，计算机科学之父 ACM A.M.Turing Centenary Celebration Turing the Man ■ 1936年发表划时代的论文《On Computable Numbers,, with an Application to the Entscheidungsproblem ) 出了图灵机的概念，为计算机科学研究设定了边界 二战中领导破解德国的Enigma密码系统 提出图灵测试，作为判断机器是否有智能的标准 ■在生物化学方面做出重要贡献 长跑健将，后由于私生活问题被迫害自杀 果壳·神经生物学博士邓雨辰：阿兰·图灵的百年孤独V

图灵其人  阿兰·图灵 (1912年6月23日~1954年6月7日)，英国 数学家、逻辑学家，计算机科学之父  ACM A.M. Turing Centenary Celebration : Turing the Man  1936年发表划时代的论文《On Computable Numbers, with an Application to the Entscheidungsproblem》，提 出了图灵机的概念，为计算机科学研究设定了边界  二战中领导破解德国的Enigma密码系统  提出图灵测试，作为判断机器是否有智能的标准  在生物化学方面做出重要贡献  长跑健将，后由于私生活问题被迫害自杀  果壳·神经生物学博士邓雨辰: 阿兰·图灵的百年孤独.flv 4

图灵与计算机的起源 最早的计算机是巴贝奇的分析机，它是一台机械式 计算机，但由于过于复杂没有制造出来(1871年) ■1936年图灵提出了图灵机 ■1946年第一台电子计算机ENIACI问世 1949年第一台二进制冯诺依曼计算机EDVACI问世

图灵与计算机的起源  最早的计算机是巴贝奇的分析机，它是一台机械式 计算机，但由于过于复杂没有制造出来(1871年)  1936年图灵提出了图灵机  1946年第一台电子计算机ENIAC问世  1949年第一台二进制冯诺依曼计算机EDVAC问世 5

贡献1一通用计算模型：图灵机 有穷控制 乐高图灵机 图灵机模型 B B Xi X X Xn B B 6

贡献1 —— 通用计算模型：图灵机 ... B B X1 X2 Xi Xn B B ... 有穷控制 乐高图灵机 图灵机模型 6

图灵机模型的意义 ■确定了什么样的问题是计算机可处理的 ■从计算能力来讲，下列计算机，无一超越 图灵机 0 用 天河 蒸茶

图灵机模型的意义  确定了什么样的问题是计算机可处理的  从计算能力来讲，下列计算机，无一超越 图灵机 7

贡献2一计算机系统结构 ■ACE计算机 冬存储程序原理 最佳编码、最小等待时间编码 浮点运算子程序及双倍字长指令 曼彻斯特MARK I 必理论支持 必纸带输入 %程序设计手册 ■ 在图灵带动下，二十世纪五十年代的英国在计 算机方面可与美国分庭抗礼 8

 ACE计算机 存储程序原理 最佳编码、最小等待时间编码 浮点运算子程序及双倍字长指令  曼彻斯特MARK I 理论支持 纸带输入 程序设计手册  在图灵带动下，二十世纪五十年代的英国在计 算机方面可与美国分庭抗礼 贡献2 —— 计算机系统结构 8

贡献3 一图灵测试 在经典论文《计算机和智能(Computing Machinery and Intelligence)》中，提出了图灵测试(Turing Test)的概念 图灵测试本质是一种盲测试 ■图灵预言到2000年图灵测试通过的概率大于30% ■ 1997年深蓝击败了国际象棋大师卡斯帕罗夫 ■2016年alphaGo击败李世石 KBA Google DeepMind o AlphaGo Challenge Match -相4h206 e mato 9

 在经典论文《计算机和智能(Computing Machinery and Intelligence)》中，提出了图灵测试(Turing Test)的概念  图灵测试本质是一种盲测试  图灵预言到2000年图灵测试通过的概率大于30%  1997年深蓝II击败了国际象棋大师卡斯帕罗夫  2016年alphaGo击败李世石 贡献3 —— 图灵测试 9

贡献4一破解恩尼格码 --l8 炸弹 恩尼格码密码机 10

贡献4 —— 破解恩尼格码 10 炸弹 恩尼格码密码机