[人物访谈]赫伯特·西蒙——人工智能符号主义创始人
西蒙1916年6月15日生于美国威斯康星州密尔沃基市的一个犹太家庭。西蒙的父亲是于1903年获得工程专业毕业文凭后由德国移居美国的,他是一位电气工程师、专利法律师、当地的学术界和社会事务界的活跃的领导人。西蒙的母亲是典型的第三代美国人,是一位钢琴教师。在父母的熏陶下,西蒙从童年就与书籍和其它智力活动结了缘,并显示出极强的独立学习能力。
2021/12/20[人物访谈]约翰·巴科斯——Fortran 语言之父
如果您是计算机迷,那么您一定会了解编程。好的编程语言不仅可以优化计算机本身的速度和效率,而且可以极大地丰富人们使用计算机的方式。自从发明以来,Fortran(公式翻译器)是世界上第一种计算机高级编程语言,已在科学和工程计算领域得到广泛使用,并已成为一种基本的编程语言。在相关领域它仍然扮演着不可替代的角色。角色。Fortran的创始人是来自美国的计算机科学家JohnBacchus。在他的领导下,Fortran诞生了,因此他被称为“Fortran之父”。但是,在别人眼中的这种计算机科学暴君在走过许多“弯路”之后发现了“真爱”。
2021/12/19[人物访谈]米凯尔·拉宾——非确定性有限状态自动机理论的开创者
拉宾1931年9月1日生于德国的布雷斯劳(Breslau,第二次世界大战以后成为波兰的城市并改名为弗罗茨瓦夫)。拉宾在濒临地中海的港口城市海法度过了他的童年和少年时代。由于阅读了著名微生物学家保罗·德克吕夫(PaulDeKmif)所著的《微型猎人》一书,激起了拉宾的想象,幻想自己成为微生物学家。一次他和比他高好几班的学生比试解欧几里德几何题,他赢了他们,这又使他对数学产生了兴趣,因此,从莱利学院(RealiCollege)毕业以后,他进入希伯莱大学学习数学,在那里,他通过数学家克林(S.C.Kleene,因提出不动点定理——theoremonfixpoint及正则集定理一theoremonregularset而闻名于世)所著的《元数学》一书首次接触到图灵关于可计算性的概念和图灵机这一理论计算模型,立即被深深吸引。但为了打好自己的数学墓础,他的硕土论文没有以此为课题,而选择了当时由德国女数学家埃米·诺特(EmmyNoether,1882—1932)创立不久的抽象代数中关于可交换环理论中的一个问题。获得数学硕士学位以后,拉宾去了美国,因为20世纪50年代初,以色列建国伊始,经济与科技都还不够发达,很少有人研究计算这类问题,甚至连计算机都没有。拉宾到美国后,先在宾夕法尼亚大学,后来转到普林斯顿大学攻读博士学位。拉宾的博士论文课题将他所熟悉的抽象代数和他感兴趣的可计算性问题联系在一起:群(GROUP)的可计算性问题。拉宾在论文中证明了与群有关的许多问题,如群是否符合交换律等,都是不能由计算机解答的。
2021/12/19[人物访谈]肯尼思·艾弗森——J语言发明者
J语言属于第五代的函数型语言,它是由APL语言创始人,加拿大著名数学家KenE.Iverson于90年代初发明,并由Eric和RogerHui完成。该语言是APL的后继式语言,J语言和APL语言原理基本相同,但是它不使用APL的象形文字,而使用ASCII字符,功能也比APL更完善、更简洁、更强大。它适用于各种微机和多种操作平台,包括DOS、Windows、OS/2、Unix和Macintosh等。
2021/12/18[人物访谈]罗伯特·弗洛伊德——前后断言法创始人
弗洛伊德于1936年6月8日出生于纽约。说自己“自学”并不意味着他没有接受过高等教育。他毕业于芝加哥大学,但不是计算机或电气工程以及其他与计算机相关的专业,而是文学。他于1953年获得文学学士学位。
2021/12/18[人物访谈]现代笔记本之父:比尔·莫格里奇
1982年,比尔·莫格里奇设计了第一台真正的笔记本电脑GRiDCompass,和现代笔记本电脑一样,GRiDCompass也采用了折叠式的结构,其处理器是英特尔的8086!是现今轻薄笔记本的原型!
2021/12/17[人物访谈]电脑软件开发真正的先驱人物:加里·基尔代尔
最早创造了磁盘操作系统(DOS),为A盘、B盘和C盘(CD-ROM)最早编写了驱动程序,加里·基尔代尔也是图形用户界面(GUI)的先驱之一,开发了“DrLogo”计算机语言。在1974年,帮助创建了硅谷最富盛名的“家酿俱乐部”(HomeBrewClub),成为计算机业余爱好者交流的天堂,加里·基尔代尔还为微机首创了世界上第一个实用的软件API。 在华盛顿大学学习计算机科学,1967年获得学士学位,1969年初获得学硕士学位,1972年获得博士学位!
2021/12/17[人物访谈]程序设计公理化创始人——查尔斯·霍尔
指针就像跳转一样,疯狂地在数据结构之间到处指来指去。在高级语言里面引入指针是个退步。我们可能永远无法从这一失败之中恢复过来。这段话出自查尔斯·霍尔(CharlesA.R.Hoare),1980年他因“对程序设计语言的定义和设计方面的基础性贡献”而获得图灵奖。他26岁就发明了闻名于世的快速排序算法Quicksort。 霍尔获奖无数,1980年获得美国计算机学会(ACM)设立的计算机界最高奖——图灵奖;1981年获得AFIPS的HarryGoode奖;1985年获得英国IEE的法拉第奖章;1990年被IEEE授予计算机先驱奖。2000年获得日本稻盛财团设立的国际大奖——京都奖(尖端技术领域)。
2021/12/16[人物访谈]个人电脑先驱人物:Jack Tramiel
Tramiel1928年出生在波兰,他是第二次世界大战的幸存者,二战后搬到北美。1974年移民美国后,他加入了美国军队,并且学会了如何修理打字机,后来就创办了命名为Commodore的便携式打字机公司。经过多年在商用机市场的创新,Commodore由销售打字机逐渐演变为增加了机器、到数字计算机、最终到家庭电脑,其中就包括传奇的Commodore64电脑,在20世纪80年代的PC市场占据了多年的统治地位。
2021/12/16[人物访谈]斯蒂芬·库克——NP完备理论创始人
多伦多大学教授斯蒂芬·库克,曾经想出了世界上最棘手的数学难题,也曾荣获加拿大最高科学奖,如今,他又在周三的时候获得了2012年赫茨伯格金奖,这个奖是以诺贝尔文学奖得主格哈德·赫茨伯格的名字命名的,另外,还配有100万美元的奖金。库克,现73岁,为数学和计算机科学的现代加密技术和商业的心脏做出了重要的贡献。库克毕业于哈佛大学,获博士学位,并于1970年在北方的多伦多大学任教,除了著名的“复杂性理论”,库克在计算理论,算法设计,编程语言以及数学逻辑上都有了不错的成绩。颁发奖牌的委员会表示:“他仍然会花费越来越多的时间在工作上,他依然可能会花费几十年的时间在一个研究上,在宣布他的奖金的时候,他想到的是未来的研究经费有着落了,他就是斯蒂芬·库克。
2021/12/16