观星者和开拓者：今天是 Pi 日！

作者：Emily Kurze / 用例, 公司, 开发者
2021 年 3 月 12 日

Pi 日将在两天后的 3 月 14 日到来！如果您希望得到一个秘密的家庭馅饼食谱，我很抱歉让您失望了。可悲的是，我来自一个糟糕的烘焙师家庭，他们太不耐烦，无法正确阅读和遵循食谱。相反，在这个关于数学的日子里，我认为这是一个庆祝我们共同热爱 3.14…以及妇女历史月的绝佳机会，通过纪念数学领域一些杰出的女性。

早期的开拓者

艾达·洛夫莱斯

奥古斯塔·艾达·洛夫莱斯 (1815-1852) 是一位英国数学家，以她在分析机上的工作而闻名，分析机是由她的合作者查尔斯·巴贝奇提出的机械计算机。她被认为是第一批计算机程序员之一，因为她认识到计算机除了计算之外还有应用，并且还在她的笔记中编写了最早的可以在这种计算机上执行的算法之一。分析机于 1837 年提出，但第一台通用计算机直到 1941 年才被建造出来，这使得她在该领域的理论进步更加令人印象深刻。

索菲娅·科瓦列夫斯卡娅

索菲·科瓦列夫斯基 (1850-1891) 是一位数学家，她的职业生涯以首创而著称。在她的祖国俄罗斯女性不能上大学的时候，她成为第一位获得数学博士学位的女性，被任命为北欧的正式教授，并成为科学期刊的编辑。她关于偏微分方程的论文包含了所谓的柯西-科瓦列夫斯基定理。

玛丽·卡特赖特

玛丽·露西·卡特赖特女爵士 (1900-1998) 是一位英国数学家，她开创了被称为混沌理论和蝴蝶效应的概念。1923 年从牛津大学毕业后，玛丽继续在剑桥大学攻读博士学位，在那里她将大部分职业生涯都用于研究解决问题的新数学方法，并探索复杂的证明和定理。她因对数学领域的诸多贡献而被女王授予爵级司令勋章。

琼·克拉克

琼·伊丽莎白·洛瑟·默里 (1917 – 1996) 是一位英国密码分析学家和数学家，二战期间被招募到布莱切利公园担任恩尼格玛密码破译员。尽管因性别原因被剑桥大学拒绝授予完整学位，但琼成为 Banburismus 的唯一女性实践者，Banburismus 是她的朋友和合作者艾伦·图灵开发的一种密码分析过程。琼和她的团队在大幅减少德国 U 型潜艇袭击造成的物资损失方面发挥了重要作用。

NASA 的边界突破者

多萝西·沃恩

多萝西·沃恩 (1910-2008) 于 1942 年获得数学学士学位，并成为国家航空咨询委员会（NASA 的早期形式）的第一位黑人主管。她领导了西区计算部门，这是一支由全黑人女性数学家组成的团队，她们将在未来几十年改变 NASA，其中包括凯瑟琳·约翰逊和玛丽·杰克逊。随着计算工作转向早期计算机，多萝西成为一名 FORTRAN 编程专家，并为 Scout 运载火箭计划做出了贡献。

凯瑟琳·约翰逊

凯瑟琳·约翰逊 (1918-2020) 是西弗吉尼亚州立学院的三名综合学生之一，她于 1937 年获得了数学和法语双学位。在她令人印象深刻的 33 年兰利职业生涯中，凯瑟琳为太空竞赛做出了无数贡献，包括最终签署了约翰·格伦 1962 年友谊 7 号太空飞行的计算。人们对凯瑟琳数学能力的信心非常高，她的手算被用来确认计算机生成的计算，这是格伦在飞行前检查清单中要求的一部分。2015 年，97 岁的凯瑟琳被授予总统自由勋章，这是最高的平民荣誉。

玛丽·W·杰克逊

玛丽·W·杰克逊 (1921-2005) 于 1942 年在汉普顿学院获得了数学和物理科学双学位。玛丽曾在军中担任数学教师和多个职位，最终于 1951 年加入兰利纪念航空实验室隔离的西区计算部门，成为多萝西·沃恩团队的一员。玛丽最出名的是成为 NASA 的第一位黑人女工程师，此前她成功地与种族隔离作斗争，完成了晋升加入超音速压力隧道工程团队所需的高级课程。在 NASA 工作了 34 年并获得多项奖励后，玛丽于 1985 年退休。

现代奇迹

格蕾丝·霍珀

格蕾丝·霍珀 (1906-1992) 于 1930 年在耶鲁大学获得数学博士学位，并在加入海军并晋升为海军少将之前在瓦萨学院教数学。格蕾丝以成为计算机编程的先驱而闻名，她于 1944 年成为哈佛 Mark I 的首批程序员之一。在埃克特-莫奇利计算机公司工作期间，格蕾丝领导了自动编程部门，发布了一些最早的编译语言。她还帮助创建了机器无关的语言，这些语言启发了 COBOL 语言。1991 年，格蕾丝荣获国家技术奖章，并于 2016 年被追授总统自由勋章。

卡伦·乌伦贝克

卡伦·乌伦贝克 (1942-至今) 于 1964 年获得博士学位，并创立了几何分析领域，该领域使用微分几何来研究微分方程的解。除了担任教授外，卡伦还是高级研究所妇女与数学计划的联合创始人，旨在帮助招募更多女性进入数学领域。2019 年，卡伦成为第一位获得 阿贝尔奖 的女性，阿贝尔奖被认为是数学界的诺贝尔奖，以表彰她在几何学和数学物理学方面的工作。

玛丽安·米尔扎哈尼

玛丽安·米尔扎哈尼 (1977-2017) 是一位伊朗数学家，她从小就在国内和国际数学竞赛中表现出色。在获得数学学士学位后，她继续在哈佛大学获得博士学位，并在普林斯顿大学获得研究奖学金。米尔扎哈尼为黎曼曲面模空间的理论做出了多项贡献。2014 年，玛丽安成为第一位获得菲尔兹奖的女性和第一位伊朗人，以表彰她在双曲几何学方面的工作，双曲几何学是一种用于探索空间和时间概念的非欧几里得几何学。

这些只是少数在过去和现在都在数学领域留下印记的杰出女性。我们认识到，有许多杰出的贡献者正在努力发展和创新数学的研究和应用。对于那些尚未被颂扬的英雄，我们衷心的感谢和感激。