1、埃米·诺特，无论在抽象数学课堂中坐多久，一个是必然会听到的名字就是埃米诺特（Emmy Noether）。她卓著的工作涵盖了从物理到现代代数的领域，使得她成为数学历史上最重要的人物之一。她1913年在变分法上的成果，被定义为诺特定理，这被认为是数学当中最重要的定理之一，并塑造了现代物理学。诺特定理中的理想模型和交换环理论成为了高等代数领域研究的基础。她工作的影响力，对于那些努力探索相对抽象的物理现实的人们来说，仍然像一座直觉的灯塔一样不断闪耀。数学家和物理学家都钦佩她里程碑式的贡献，因为这些贡献为他们各自学科领域内的研究提供了深入的指导。1935年，爱因斯坦给纽约时报写了这样一段话：“要评判当今谁是最具竞争力的数学家，诺特小姐无疑是从女性有机会接受高等教育以来出现的最卓著最具创意的数学天才。”
2、阿达·洛夫莱斯。1842年，剑桥大学数学教授查尔斯·巴贝奇（Charles Babbage）在都灵大学做了一个关于他的分析引擎（第一台计算机）设计的演讲。随后数学家路易吉·门纳布利亚（Luigi Menabrea）将那次讲座的记录翻译成了法语稿。而阿达洛夫莱斯（Ada Lovelace）这位年轻的伯爵夫人受查尔斯·惠斯通（Charles Wheatstone）（巴贝奇的朋友）委托将门纳布利亚的记录翻译成了英文。由于她对那篇文稿富有创建的补充，她被称为“世界上第一位程序员”。1843年，洛夫莱斯又在此基础上增加了她自己的笔记（包括第七章），其中概述了一种计算伯努利系数的算法。从本质上说，是她使巴贝奇的理论发动机成为了可计算的现实。洛夫莱斯为他人在阐明计算机奥秘的道路上指明了方向，这持续影响着技术的发展。
3、朱莉娅·罗宾逊。在二十世纪初，著名的德国数学家大卫·希尔伯特（David Hilbert）发表了一部作品，其中囊括了二十三个诱人的问题，这些问题是许多最杰出的数学头脑都未能解决的。其中第十个问题探讨的是，能否找出一种算法，用以确定任意不定方程组（条件是其中的多项式方程只有整数系数和整数解）是否有解。试想一下，这是一个可以判定任意一个含有无限组该类方程的方程组是否可解的机制。数学家在处理这类早就超出可解范围的无限问题的时候，往往采取的是简单的观察方法。这个特别的问题吸引了一位伯克利分校名为朱莉娅罗宾逊的数学家的注意。几十年来，罗宾逊与合作同事马丁·戴维斯（Martin Davis）和希拉里·普特南（Hillary Putnam）一起努力，将一个条件公式化，给了希尔伯特一个否定的答案。
点击展开全文
