数学史 · 中文镜像

数学家传记

格蕾丝·霍珀Grace Hopper

出生
1906年12月9日 美国纽约
逝世
1992年1月1日 美国弗吉尼亚州阿灵顿

格蕾丝·霍珀是电子计算机发展的先驱之一。她(可能)是唯一一位有军舰以她命名的数学家。

完整传记

格蕾丝·霍珀出生时名叫格蕾丝·霍珀 Brewster 詹姆斯·D·默里,是三个孩子中最大的。她的父亲Walter Murray是一名保险经纪人,而她的母亲Mary Van Horne热爱数学,并将这份热爱传给了女儿。格蕾丝·霍珀的父母都认为她和她的姐妹应该接受与她的兄弟同等质量的教育。

这本书[2]包含了对她童年的迷人叙述。它讲述了与表兄弟姐妹在新罕布什尔州沃尔夫伯勒温特沃斯湖畔的小屋中度过的夏天,以及他们在那里玩的游戏,如踢罐子、捉迷藏和警察抓强盗。它还描述了她刺绣、阅读和弹钢琴的爱好。格蕾丝·霍珀的童年确实有她对机械着迷的迹象,在[2]中有一个有趣的故事,讲述她七岁时把闹钟拆开,想弄清楚它是如何工作的。由于无法重新组装,她又把家里找到的另外七个钟拆开,直到她母亲发现发生了什么。

格蕾丝·霍珀在纽约市的两所女子私立学校接受教育,即格雷厄姆学校和斯库恩梅克斯学校。她打算1923年进入瓦萨学院,但拉丁语考试不及格,被要求再等一年。她在新泽西州普兰菲尔德的哈特里奇学校度过了这个学年,然后于1924年进入瓦萨学院。她在瓦萨学院学习数学和物理,1928年获得学士学位。毕业后,她在耶鲁大学从事数学研究。

1930年,Grace Murray嫁给了来自纽约大学的英语教师文森特·福斯特格蕾丝·霍珀。瓦萨学院奖学金让她得以在耶鲁大学学习,同样在1930年,耶鲁大学授予她硕士学位。1931年,她开始在瓦萨学院数学系担任讲师,并一直在那里工作到1943年,那时已被提升为副教授。格蕾丝·霍珀于1934年由耶鲁大学授予博士学位,学位论文为New Types of Irreducibility Criteria,由奥斯丁·欧尔指导。格蕾丝·霍珀于1941年作为瓦萨学院教师研究员在纽约大学学习。

格蕾丝·霍珀想在美国一进入第二次世界大战时就参军。然而,她34岁太老了(而且相对于身高不够重)无法入伍,无论如何,作为数学教授,她的工作被认为对战争努力至关重要。然而,她决心加入海军,尽管被告知留在瓦萨学院的教学岗位能最好地为国家服务,她最终在1943年说服海军预备队接受她,她还说服瓦萨学院准假。

在海军候补军官学校接受初步训练并被任命为少尉后,格蕾丝·霍珀被分配到哈佛大学克鲁夫特实验室的军械计算局计算项目。从1944年起,她与霍华德·艾肯一起在哈佛马克一号计算机上工作[7]:

一到克鲁夫特实验室,她就立刻遇到了马克一号计算机。对她来说,这是一个吸引人的小玩意儿,就像她年轻时的闹钟一样;她几乎等不及要把它拆开弄个明白。……格蕾丝·霍珀成为第三个为马克一号编程的人。

霍华德·艾肯在她一到哈佛时就给了她第一个编程任务,即:-

在下周四之前计算出反正切级数的系数。

到战争结束时,格蕾丝·霍珀正在哈佛马克二号计算机上工作。正是在这台机器上发现了第一个真正的“计算机虫”:一只飞蛾使机器中17000个继电器中的一个短路了。

1946年,格蕾丝·霍珀结束了她在海军的现役,但仍保留预备役职务。她辞去了瓦萨学院的职位,以便留在哈佛,在那里她被任命为计算实验室工程科学和应用物理的研究员。她继续在马克二号上工作,后来又在马克三号计算机上工作。

1949年,格蕾丝·霍珀加入埃克特-约翰·莫克利计算机公司,担任高级数学家,并在那里与约翰·皮斯普·埃克特约翰·莫克利一起在UNIVAC计算机上工作。她在为公司工作期间设计了一个改进的编译器,并且是开发Flow-Matic的团队成员,这是第一个英语数据处理编译器[12]:-

1952年,她有了一个可运行的编译器。“没人相信,”她说。“我有一个能运行的编译器,却没人愿意碰它。他们告诉我计算机只能做算术。”

格蕾丝·霍珀后来写道,她设计编译器的原因是她懒,并希望编译器的引入能让计算机程序员回归数学家的身份。的确,今天在我们看来,这似乎是计算机前进的必经之路,但这是格蕾丝·霍珀极具远见的想法。事实上,思考计算机如何发展,尤其是今天有了⟦E1⟧和⟦E2⟧这样的系统,人们会看到格蕾丝·霍珀对计算机如何成为数学家如此重要工具的非凡远见。

1950年,Remington Rand公司收购了约翰·皮斯普·埃克特-约翰·莫克利计算机公司,并将其更名为Remington Rand的UNIVAC部门。格蕾丝·霍珀成为UNIVAC部门的系统工程师和自动编程开发总监。她继续从事编译器的工作,并于1952年发表了关于该主题的第一篇论文。随后,她参与了为通用商业语言制定规范的工作。由于Flow-Matic是当时唯一现有的商业语言,它不可避免地成为最终于1959年问世的COBOL(面向商业的通用语言)语言规范的基础。她还有另一个与编译器相关的重要目标,即标准化。她的目标是计算机语言应有国际标准化,她强烈主张验证程序。

格蕾丝·霍珀从来不是那种一次只做一份工作的人。在她在Remington Rand公司任职期间,她同时涉足学术界和海军,然后从1955年起在同年与Remington Rand合并的Sperry公司任职。她与学术界的联系很多,有时担任访问职位,如1959年她是宾夕法尼亚大学摩尔电气工程学院的访问讲师。她一直担任美国海军预备役的顾问和讲师,直到1966年12月退休,那时她已晋升为指挥官军衔。

海军和格蕾丝·霍珀并没有分开很久,因为1967年8月,她被召回海军现役。此时她从斯佩里公司请了军假,并且没有回到那个工作岗位,1971年她65岁时从那里退休。她回到海军原本只打算待六个月[5]:-

……应时任海军部长自动数据处理特别助理Norman Ream的请求。六个月结束后,她的命令被改为她的服务将无限期需要。1973年,她被海军作战部长Elmo Zumwalt, Jr.上将晋升为上校。1977年,她被任命为海军数据自动化司令部司令的特别顾问,直到退休。

在海军现役并没有阻止格蕾丝·霍珀担任学术职务,1971年至1978年间,她是乔治华盛顿大学管理科学讲师。

格蕾丝·霍珀于1986年8月从海军退休,时年80岁,她是美国最年长的现役军官。她已晋升为少将,1983年12月在白宫仪式上晋升为准将,然后于1985年成为少将格蕾丝·霍珀。在波士顿宪法号上为她退休举行的庆祝活动中,格蕾丝·霍珀被授予国防杰出服务奖章,这是国防部可能授予的最高奖项。

在经历了涉及许多完全不同领域的许多工作的职业生涯后,人们可能会期望她期待安静的退休生活。然而,这不是她的风格,而且引人注目的是,从海军退休后,她被任命为数字设备公司的高级顾问,她一直担任该职位直到1990年。她的工作涉及代表[3]:-

……在计算机产业论坛上做数字化方面的发言,介绍先进计算概念以及信息和数据的价值,并担任公司与教育机构之间的联络人。

在漫长的职业生涯中,格蕾丝·霍珀获得的奖项如此之多,本文只能列举其中少数几项。她于1962年当选电气与电子工程师学会会士,1963年当选美国科学促进会会士,并于1964年获得女性工程师协会成就奖,1968年获得电气与电子工程师学会成就奖。

1969年,格蕾丝·霍珀被数据处理管理协会评为首位年度计算机科学人物。1970年,她获得哈里·M·古德纪念奖,该奖由计算机学会颁发,包括一枚奖章和2000美元:-

表彰她在计算机软件开发中的开创性工作和领导作用,表彰她对计算行业及同行的影响与带动,表彰她在数学与商业编译器重要概念开发中的开创性工作和领导作用,表彰她对面向问题的英语编程语言的开发与推广所作贡献,以及表彰她在培养男女人才从事计算机科学与数据处理职业方面的杰出工作和持续努力。

1973年,她成为首位当选英国计算机学会杰出会士的女性,也是首位获此荣誉的美国人。同年,她当选美国国家工程院院士,并获得功绩勋章。格蕾丝·霍珀获得了数量惊人的荣誉学位,1972年至1987年间至少获得37个。

1991年,乔治·布什总统向格蕾丝·霍珀颁发了国家技术奖章。她[3]:-

……第一位以个人身份获得美国最高技术奖的女性。该奖项认可她作为计算机先驱,半个世纪以来一直帮助美国保持在高科技前沿。

参考文献

正文里的方括号编号指向这里,悬停即可直接看到条目。书目保留原文——译了书名反而查不到文献。

延伸资源

原站列出的延伸阅读与外部数据库,照原样保留,目标多为英文页面。

相关专题

原站的交叉引用。指向本站已镜像专题的留在站内,其余仍指回原站。