图灵奖下的人类智力延伸 计算、集成电路及应用 绳伟光 上海交通大学微纳电子学系 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 炸弹 恩尼格码密码机