计算机的由来优秀课件.ppt

《计算机的由来优秀课件.ppt》由会员分享，可在线阅读，更多相关《计算机的由来优秀课件.ppt（50页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。

1、计算机的由来第1页，本讲稿共50页问题：大学与中学有何不同？请大三同学回答请大二同学回答请大一同学回答第2页，本讲稿共50页问题：大学与中学有何不同？中学追求分数大学追求思想第3页，本讲稿共50页一道小学题目引起的思考下图中圆形比三角形多几个？第4页，本讲稿共50页一道小学题目引起的思考代数解法：5 3=2逻辑法：第5页，本讲稿共50页一道小学题目引起的思考问题：我们能扩展一下这个题目吗？或者提出一个与此有关的问题问题：如果圆形和三角形的数目都是无穷多个，能否比较吗？如何比较？康托尔认为无穷集合是可以比较的。第6页，本讲稿共50页一道小学题目引起的思考康托尔整数集合数目与偶数集合数目相等颠覆了

2、欧氏几何公理：整体大于部分第7页，本讲稿共50页计算机由来简介亚里士多德 亚里士多德（希腊语：Aristotls，前384年前322年3月7日），古希腊哲学家，柏拉图的学生、也是亚历山大大帝的老师。他在许多领域都留下广泛著作，包括了物理学、形而上学、诗歌（包括戏剧）、生物学、动物学、逻辑学、政治、政府、以及伦理学。苏格拉底、柏拉图、以及亚里士多德三人被广泛认为是西方哲学的奠基者。第8页，本讲稿共50页计算机的由来亚里士多德的三段式逻辑大前提：所有人都是有一个姓的小前提：张老师是人结论：张老师有一个姓第9页，本讲稿共50页计算机的由来莱布尼兹及梦想 莱布尼茨（Leibniz，1646年1716年

3、），德国哲学家、数学家。涉及的领域及法学、力学、光学、语言学等40多个范畴，被誉为十七世纪的亚里士多德。和牛顿先后独立发明了微积分。莱布尼茨是历史上少见的通才，他的专长包括数学、历史、语言、生物、地质、机械、物理、法律、外交等领域。第10页，本讲稿共50页计算机的由来莱布尼兹部分主要贡献符号思想-莱布尼兹的梦想：莱布尼茨有个显著的信仰，大量的人类推理可以被归约为某类运算，而这种运算可以解决看法上的差异:“精炼我们的推理的唯一方式是使它们同数学一样切实，这样我们能一眼就找出我们的错误，并且在人们有争议的时候，我们可以简单的说，让我们计算“calculemus”，而无须进一步的忙乱，就能看出谁是正

4、确的。”发现的艺术1685,W 51第11页，本讲稿共50页计算机的由来形式逻辑 莱布尼茨是在亚里士多德和1847年乔治布尔和德摩根分别出版开创现代形式逻辑的著作之间最重要的逻辑学家。莱布尼茨阐明了我们现在叫做合取、析取、否定、同一、集合包含和空集的首要性质。第12页，本讲稿共50页计算机的由来布尔及布尔逻辑 乔治布尔（George Boole，1815年11月1864年），爱尔兰数学家，哲学家。乔治布尔是一个皮匠的儿子，生于英格兰的林肯。由于家境贫寒，布尔不得不在协助养家的同时为自己能受教育而奋斗，不管怎么说，他成了19世纪最重要的数学家之一。1854年，他出版了The Laws of Th

5、ought，这是他最著名的著作。在这本书中布尔介绍了现在以他的名字命名的布尔代数。第13页，本讲稿共50页计算机的由来布尔代数定义：如果x和y表示两个类（集合），则xy被称为x和y的交集。因此有：xx=x 或 x2=x x（1-x）=0文字语言表述：没有任何东西既属于又不属于一个给定的类x-亚里士多德的矛盾律第14页，本讲稿共50页计算机的由来布尔逻辑成就：1、亚里士多德的矛盾律是其中的特例2、能用代数的方法推演亚里士多德的三段论布尔代数遇到的难题：所有失败的学生或是糊涂的或是懒惰的第15页，本讲稿共50页计算机的由来弗雷格及概念文字 弗雷格（Frege：1848年11月8日1925年7月26

6、日），德国数学家、逻辑学家和哲学家。是数理逻辑和分析哲学的奠基人。弗雷格被公认为伟大的逻辑学家，如同亚里士多德，哥德尔，塔尔斯基。他于1879年出版的概念文字标志着逻辑学史的转折。概念文字开辟了新的领域。第16页，本讲稿共50页计算机的由来布尔逻辑难题：所有失败的学生或是糊涂的或是懒惰的弗雷格的逻辑（概念文字）：假设F（x）表示x是一个失败的学生，S（x）表示x是糊涂的，L（X）表示x是懒惰的，那么：其中：表示所有；表示如果那么；表示.或.第17页，本讲稿共50页计算机的由来罗素及罗素悖论 罗素（Russell，1872年5月18日1970年2月2日）是二十世纪最有影响力的哲学家、数学家和逻辑

7、学家之一，同时也是活跃的政治活动家，并致力于哲学的大众化、普及化。无数人将罗素视为这个时代的先知，而与此同时罗素的许多政治立场却又是十分有争议性的。第18页，本讲稿共50页计算机的由来罗素悖论（“理发师悖论”）一位理发师说：“我只帮所有不自己刮脸的人刮脸。”那么理发师是否给自己刮脸呢？如果他给的话，但按照他的话，他就不该给自己刮脸（因为他只帮不自己刮脸的人刮脸）；如果他不给的话，但按照他的话，他就该给自己刮脸（因为是所有不自己刮脸的人，包含了理发师本人），于是矛盾出现了。第19页，本讲稿共50页计算机的由来罗素悖论：我们通常希望：任给一个性质，满足该性质的所有类可以组成一个类。但这样的企图将导

8、致悖论：罗素悖论：设性质P(x)表示“xx”，现假设由性质P确定了一个类A也就是说“A=x|x x”。那么现在的问题是：AA是否成立？首先，若AA，则A是A的元素，那么A具有性质P，由性质P知AA；其次，若AA，也就是说A具有性质 P，而A是由所有具有性质P的类组成的，所以AA。罗素悖论在类的理论中通过内涵公理而得到解决。第20页，本讲稿共50页计算机的由来康托尔与无限 康托尔（Cantor，1845年3月3日1918年1月6日），出生于俄国的德国数学家。创立了现代集合论作为实数理论以至整个微积分理论体系的基础。他还提出了集合的势和序的概念。由于研究成果得不到认可，并受到以利奥波德克罗内克为首

9、的众多数学家的长期攻击，患抑郁症，最后精神失常。1918年，在德国哈雷-维滕贝格大学附属精神病院去世。第21页，本讲稿共50页计算机的由来当代数学家绝大多数接受康托尔的理论，并认为这是数学史上一次重要的变革。大卫希尔伯特说：“没有人能够把我们从康托尔建立的乐园中赶出去。”连续统假设 不存在一个基数绝对大于可列集而绝对小于实数集的集合。形象地说：自然数集的基数为 ，而连续统假设的观点认为实数集的基数为 。注：读音“阿列夫零”，是希伯来字母表的第一个字母。第22页，本讲稿共50页计算机的由来康托尔悖论 在数学中，康托尔悖论是集合论的一个定理，即没有最大的基数第23页，本讲稿共50页计算机的由来希尔

10、伯特与23个问题 大卫希尔伯特（David Hilbert，1862年1月23日1943年2月14日），德国数学家，是19世纪和20世纪初最具影响力的数学家之一。希尔伯特1862年出生于哥尼斯堡，1943年在德国哥廷根逝世。他因为发明和发展了大量的思想观念（如不变量理论、公理化几何、希尔伯特空间）而被尊为伟大的数学家、科学家。希尔伯特和他的学生为形成量子力学和广义相对论的数学基础。第24页，本讲稿共50页计算机的由来 做出了重要的贡献。他还是证明论、数理逻辑、区分数学与元数学之差别的奠基人之一。他热忱地支持康托的集合论与无限数。他在数学上的领导地位充分体现于：1900年,在巴黎的国际数学家大会

11、提出的一系列问题（希尔伯特的23个问题）为20世纪的许多数学研究指出方向。第25页，本讲稿共50页计算机的由来希尔伯特的23个问题 1900年，希尔伯特在巴黎的国际数学家大会上作了题为数学问题的演讲，提出了23道最重要的数学问题，这就是著名的希尔伯特的23个问题。希尔伯特问题对推动20世纪数学的发展起了积极的推动作用。在许多数学家努力下，希尔伯特问题中的大多数在20世纪中得到了解决。第26页，本讲稿共50页计算机的由来希尔伯特的墓志铭 我们必须知道，我们将会知道第27页，本讲稿共50页计算机的由来哥德尔与不完备定理 哥德尔（Kurt Gdel，1906年4月28日1978年1月14日），数学家

12、、逻辑学家和哲学家。其最杰出的贡献是哥德尔不完备定理和连续统假设的相对协调性证明。他通常被视为奥地利人。他出生在奥匈帝国的布尔诺，在十二岁时成为捷克斯洛伐克公民，在二十三岁时成为奥地利公民。当希特勒吞并奥地利时，哥德尔自动成为德国人。第二次世界大战后，他再次成为奥地利公民，而且取得美国公民权利。第28页，本讲稿共50页计算机的由来哥德尔不完备性定理 第一条定理指出：任何一个相容的数学形式化理论中，只要它强到足以蕴涵皮亚诺算术公理，就可以在其中构造在体系中既不能证明也不能否证的命题。第二条定理指出：任何相容的形式体系不能用于证明它本身的相容性。第29页，本讲稿共50页计算机的由来图灵与通用计算机

13、图灵（Turing；1912年6月23日1954年6月7日），英国数学家、逻辑学家，他被视为计算机科学之父。1931年图灵进入剑桥大学国王学院，毕业后到美国普林斯顿大学攻读博士学位，二战爆发后回到剑桥，后曾协助军方破解德国的著名密码系统Enigma，对盟军取得了二战的胜利有一定的帮助。第30页，本讲稿共50页计算机的由来图灵对于人工智能的发展有诸多贡献，例如图灵曾写过一篇名为机器会思考吗？（Can A Machine Think?）的论文，其中提出了一种用于判定机器是否具有智能的试验方法，即图灵试验。至今，每年都有试验的比赛。此外，图灵提出的著名的图灵机模型为现代计算机的逻辑工作方式奠定了基础

14、。第31页，本讲稿共50页计算机的由来图灵机（通用计算机）1936年提出的一种抽象计算模型，其更抽象的意义为一种数学逻辑机，可以看作等价于任何有限逻辑数学过程的终极强大逻辑机器。图灵的基本思想是用机器来模拟人们用纸笔进行数学运算的过程，他把这样的过程看作下列两种简单的动作：第32页，本讲稿共50页计算机的由来 *在纸上写上或擦除某个符号；*把注意力从纸的一个位置移动到另一个位置；而在每个阶段，人要决定下一步的动作，依赖于(a)此人当前所关注的纸上某个位置的符号和（b）此人当前思维的状态。为了模拟人的这种运算过程，图灵构造出一台假想的机器，该机器由以下几个部分组成：第33页，本讲稿共50页计算机

15、的由来1、一条无限长的纸带TAPE。纸带被划分为一个接一个的小格子，每个格子上包含一个来自有限字母表的符号，字母表中有一个特殊的符号 表示空白。纸带上的格子从左到右依此被编号为0,1,2,.，纸带的右端可以无限伸展。2、一个读写头HEAD。该读写头可以在纸带上左右移动，它能读出当前所指的格子上的符号，并能改变当前格子上的符号。第34页，本讲稿共50页计算机的由来3、一套控制规则TABLE。它根据当前机器所处的状态以及当前读写头所指的格子上的符号来确定读写头下一步的动作，并改变状态寄存器的值，令机器进入一个新的状态。4、一个状态寄存器。它用来保存图灵机当前所处的状态。图灵机的所有可能状态的数目是

16、有限的，并且有一个特殊的状态，称为停机状态。参见停机问题。第35页，本讲稿共50页计算机的由来在某些模型中，纸带移动，而未用到的纸带真正是“空白”的。要进行的指令（q4）展示在扫描到方格之上(由Kleene(1952)p.375绘制)。在某些模型中，读写头沿着固定的纸带移动。要进行的指令（q1）展示在读写头内。在这种模型中“空白”的纸带是全部为0的。有阴影的方格，包括读写头扫描到的空白，标记了1,1,B的那些方格，和读写头符号，构成了系统状态。(由Minsky(1967)p.121绘制)。第36页，本讲稿共50页计算机的由来冯.诺伊曼与计算机体系结构 冯诺伊曼（von Neumann，1903

17、年12月28日1957年2月8日）是出生于匈牙利的美国籍犹太人数学家，现代计算机创始人之一。他在计算机科学、经济、物理学中的量子力学及几乎所有数学领域都作过重大贡献。第37页，本讲稿共50页计算机的由来冯诺伊曼结构（von Neumann architecture），也称普林斯顿结构，是一种将程序指令存储器和数据存储器合并在一起的电脑设计概念结构。本词描述的是一种实作通用图灵机的计算装置，以及一种相对于平行计算的序列式结构参考模型（referential model）。本结构隐约指导了将储存装置与中央处理器分开的概念，因此依本结构设计出的计算机又称储存程式型电脑。第38页，本讲稿共50页计算机

18、的由来冯诺伊曼结构的设计概念第39页，本讲稿共50页计算机的由来电子数值积分计算器（ENIAC）电子数值积分计算器（Electronic Numerical Integrator and Computer，简称ENIAC），中国大陆简称埃尼阿克，诞生于1946年2月15日美国宾夕法尼亚大学，由美军在二战中投资研制。运算速度：每秒5000次加法运算或500次乘法运算，其速度约比机械式计算机快1000倍。在样貌方面，ENIAC电子计算机占面积170平方米，重量则为30吨。第40页，本讲稿共50页计算机的由来埃尼阿克第41页，本讲稿共50页计算机的由来离散变量自动电子计算机（EDVAC）离散变量自动

19、电子计算机（英文：Electronic Discrete variable Automatic Computer的首字母缩写）是一台美国早期电子计算机。与它的前任ENIAC不同，EDVAC采用二进制，而且是一台冯诺伊曼结构的计算机。第42页，本讲稿共50页计算机的由来EDVAC使用了大约6000个真空管和12000个二极管，占地45.5平方米，重达7850千克，消耗电力56千瓦EDVAC是二进制串行计算机，具有加减乘和软件除的功能。一条加法指令约864微秒，乘法指令2900微秒（或2.9毫秒）。使用延迟线存储器，具有1000个44位（bit）的字。第43页，本讲稿共50页计算机的由来安装在弹道

20、研究实验室的EDVAC第44页，本讲稿共50页计算机的由来计算机发明英雄榜 亚里士多德 莱布尼兹 布尔 弗雷格 康托尔 希尔伯特 哥德尔 图灵 冯.诺依曼计算机发明蕴藏的思想 亚里士多德逻辑 莱布尼兹符号语言 布尔逻辑 弗雷格逻辑 康托尔无限集合希尔伯特思想 哥德尔不完备定理 图灵思想 冯.诺依曼体系结构第45页，本讲稿共50页计算机的由来问题：从计算机发明英雄榜上，没有一个中国人的名字，假设时光倒流，计算机仍然没有发明出来，我们中国人能否独立发明计算机，或者产生发明计算机所需要的思想？这个问题留给大家思考第46页，本讲稿共50页判断是否具有计算机思想的问题计算机中“计算”二字是什么含义？在计算机中3加5等于8是如何计算出来的？第47页，本讲稿共50页推荐课外书目逻辑的引擎【美】马丁.戴维斯深入理解计算机系统【美】Randal E.Bryant，David OHallaron西方文化中的数学【美】M.克莱因第48页，本讲稿共50页测试题人与人因 不同而不同。大学因 而精彩。第49页，本讲稿共50页致谢谢谢大家，祝每个同学的大学生涯都精彩！第50页，本讲稿共50页