《为计算机发展做出卓越贡献的科学家》由会员分享,可在线阅读,更多相关《为计算机发展做出卓越贡献的科学家(6页珍藏版)》请在金锄头文库上搜索。
1、为计算机发展做出卓越贡献的科学家冯诺依曼,20 世纪最重要的数学家之一,在现代计算机、博弈论、 核武器和生化武器等诸多领域内有杰出建树的最伟大的科学全才之 一,被后人称为“计算机之父”和“博弈论之父”。原籍匈牙利。布 达佩斯大学数学博士。先后执教于柏林大学和汉堡大学。 1930 年前 往美国,后入美国籍。历任普林斯顿大学、普林斯顿高级研究所教授, 美国原子能委员会会员。美国全国科学院院士。早期以算子理论、共 振论、量子理论、集合论等方面的研究闻名,开创了冯诺依曼代数。 第二次世界大战期间为第一颗原子弹的研制做出了贡献。研制电子数 字计算机提供了理论基础。冯诺伊曼对世界上第一台电子计算机ENIA
2、C(电子数字积分计算机) 的设计提出过建议,1945年3月他在共同讨论的基础上起草ENIAC(电 子离散变量自动计算机)设计报告初稿,这对后来计算机的设计有决 定性的影响,特别是确定计算机的结构,采用存储程序以及二进制编 码等,至今仍为电子计算机设计者所遵循。1946 年,冯诺依曼开始研究程序编制问题,他是现代数值分析 计算数学的缔造者之一,他首先研究线性代数和算术的数值计算, 后来着重研究非线性微分方程的离散化以及稳定问题,并给出误差的 估计。他协助发展了一些算法,特别是蒙特卡罗方法。最简单的来说,他的精髓贡献是2 点:2进制思想与程序内存思想。 ENIAC 方案明确奠定了新机器由五个部分组
3、成,包括:运算器、控制 器、存储器、输入和输出设备,并描述了这五部分的职能和相互关系。 报告中,诺伊曼对ENIAC中的两大设计思想作了进一步的论证,为计 算机的设计树立了一座里程碑。设计思想之一是二进制,他根据电子元件双稳工作的特点,建议在 电子计算机中采用二进制。报告提到了二进制的优点,并预言,二进 制的采用将大简化机器的逻辑线路。计算机基本工作原理是存储程序 和程序控制,它是由世界著名数学家冯诺依曼提出的。美籍匈牙利 数学家冯诺依曼被称为“计算机之父”实践证明了诺伊曼预言的 正确性。如今,逻辑代数的应用已成为设计电子计算机的重要手段, 在ENIAC中采用的主要逻辑线路也一直沿用,只是对实现
4、逻辑线路的 工程方法和逻辑电路的分析方法作了改进。艾伦麦席森图灵(1912年6月23日一1954年6月7日)英国数学家、逻辑学家,被称为计算机之父,人工智能之父。1931 年,图灵考入剑桥大学国王学院,由于成绩优异而获得数学 奖学金。在剑桥,他的数学能力得到充分的发展。1935年,他的第一篇数学论文“左右殆周期性的等价”发表于伦 敦数学会杂志上。同一年,他还写出“论高斯误差函数”一文这 一论文使他由一名大学生直接当选为国王学院的研究员,并于次年荣 获英国著名的史密斯(Smith)数学奖,成为国王学院声名显赫的毕业 生之一。1936 年 5 月,图灵向伦敦权威的数学杂志投了一篇论文,题为论 数字
5、计算在决断难题中的应用。该文于1937 年在伦敦数学会文集 第 42 期上发表后,立即引起广泛的注意。在论文的附录里他描述了 一种可以辅助数学研究的机器,后来被人称为“图灵机”,这个设想 最牛的地方在于,它第一次在纯数学的符号逻辑,和实体世界之间建 立了联系,后来我们所熟知的电脑,以及还没有实现的“人工智能”, 都基于这个设想。这是他人生第一篇重要论文,也是他的成名之作。1936年9月,艾伦麦席森图灵应邀到美国普林斯顿高级研究 院学习,并与丘奇一同工作。1937年,艾伦麦席森图灵发表的另一篇文章“可计算性与久可 定义性”则拓广了丘奇 (Church) 提出的“丘奇论点”,形成“丘奇- 图灵论点
6、”,对计算理论的严格化,对计算机科学的形成和发展都具 有奠基性的意义。在美国期间,他对群论作了一些研究,并撰写了博士论文, 1938 年在普林斯顿获博士学位,其论文题目为“以序数为基础的逻辑系统” 1939 年正式发表,在数理逻辑研究中产生了深远的影响。1938年夏,艾伦麦席森图灵回到英国,仍在剑桥大学国王学 院任研究员,继续研究数理逻辑和计算理论,同时开始了计算机的研 制工作。“图灵机”不是一种具体的机器,而是一种思想模型,可制造一种十 分简单但运算能力极强的计算装置,用来计算所有能想象得到的可计 算函数。“图灵机”与“冯诺伊曼机”齐名被永远载入计算机的发 展史中。 1950年10月,图灵又
7、发表了另一篇题为“机器能思考吗” 的论文,成为划时代之作。也正是这篇文章,为图灵赢得了“人工智能 之父”的桂冠。赫伯特亚历山大西蒙是20世纪科学界的一位奇特的通才,在众多的领域深刻地影响着我们这个世代。他学识渊博、兴趣广泛,研 究工作涉及经济学、政治学、管理学、社会学、心理学、运筹学、计 算机科学、认知科学、人工智能等广大领域,并做出了创造性贡献, 在国际上获得了诸多特殊荣誉。1956 年夏天 数十名来自数学、心理学、神经学、计算机科学与电 气工程等各种领域的学者聚集在位于美国新罕布什尔州汉诺威市的 达特茅斯学院,讨论如何用计算机模拟人的智能,并根据麦卡锡的 建议,正式把这一学科领域命名为“人
8、工智能”。西蒙和纽厄尔参加 了这个具有历史意义的会议,而且他们带到会议上去的“逻辑理论家” 是当时唯一可以工作的人工智能软件,引起了与会代表的极大兴趣与 关注。因此,西蒙、纽厄尔以及达特茅斯会议的发起人麦卡锡和明斯 基被公认为是人工智能的奠基人,被称为“人工智能之父”。1957年 西蒙与别人合作开发了 IPL语言(lnformation Processing Language)。在Al的历史上,这是最早的一种AI程序设计语言,其 基本元素是符号,并首次引进表处理方法。1960年 西蒙夫妇做了一个有趣的心理学实验,这个实验表明人类 解决问题的过程是一个搜索的过程,其效率取决于启发式函数 (heu
9、risticfunction)。在这个实验的基础上,西蒙、纽厄尔和肖又 一次成功地合作开发了“通用问题求解系统 GPS(General Problem Solver)。 GPS 是根据人在解题中的共同思维规律编制而成的,可以 解11 种不同类型的问题,从而使启发式程序有了更普遍的意义。20 世纪60年代末70年代初 西蒙提出“决策模式理论”这一核心 概念,为当前受到极大重视的决策支持系统 DSS(Decision Support Sys tem)奠定了理论基础。1970年 在研究自然语言理解的过程中,西蒙发展与完善了语义网络的概念和方法,把它作为知识表示 (knowledge represen
10、tation) 的一种通用手段,并取得很大成功。1972年7 月 作为美国计算机科学家代表团成员之一第一次到中国 访问。之后又 9 次来华访问。1975年他和艾伦纽厄尔因为在人工智能、人类心里识别和列表 处理等方面进行的基础研究,荣获计算机科学最高奖图灵奖。1976年 西蒙和纽厄尔给“物理符号系统” 下了定义,提出了“物 理符号系统假说” PSSH(Physical Symbol Sys tem Hypo thesis),成 为人工智能中影响最大的符号主义学派的创始人和代表人物,而这一 学说则鼓励着人们对人工智能进行伟大的探索。这也是两人在人工智 能中做出的最基本的贡献。19761983 年间 西蒙和兰利、布拉茨霍夫合作,设计了有6 个版 本的BACON系统发现程序,重新发现了一系列著名的物理、化学定律, 证明了西蒙曾多次强调的论点即科学发现只是一种特殊类型的问题 求解,因此也可以用计算机程序实现。1986 年 因其在行为科学上的出色贡献而荣获美国全国科学奖章(National Medal of Science) o 1995年在国际人工智能会议上被 授予终身荣誉奖。