艾达·洛芙莱斯(1815~1852),是著名诗人拜伦之女,英国数学家。艾达是计算机程序创始人,建立了循环和子程序概念。为了纪念这位女数学家对现代计算机与软件工程所产生的重大影响,美国国防部将耗费巨资、历时近20年研制成功的高级程序语言命名为艾达语言(Ada)。美国国防部标准局也曾以她的生日设立了该语言的编号MIL-STD-1815。在微软的产品里也可以找到Ada的全息图标签。
英国计算机公会每年都会颁发以艾达为名的奖项。
艾达很小的时候就对数学有着强烈的兴趣和热情,拜伦喜欢称呼她为“平行四边形公主”。1835年,艾达嫁给了威廉·金,成为了洛芙莱斯伯爵夫人,并育有3个孩子。对艾达而言,数学占据了她人生中的绝大部分时间,即使结婚之后也是如此。艾达也积极活动于伦敦的社交圈,年轻时曾是“女学究社团”的会员。
10岁那年,经老师玛丽·索麦维介绍,艾达第一次遇到了查尔斯·巴贝奇(1791~1871,英国数学家、发明家兼机械工程师),那时她正跟着一群成年人去参观他的实验室,当时去参观那些令人惊奇的机器已成为伦敦社交圈的一种时尚。艾达给巴贝奇留下了深刻的印象,因为她是参观者中少数几个能对他的机器和他的工作给出理智、客观评价的人。
当时,实验室里有一台巴贝奇发明的分析机,艾达对它产生了极大的兴趣,开始致力于为该分析机编写算法。
从1842年起,艾达花了9个月的时间来翻译意大利数学家路易吉·米那比亚对巴贝奇的计算机设计书(即《分析机概论》)所留下的备忘录。她的工作不是简单的翻译,还包括详细的注解,这些注解几乎是原文的3倍。她对机器进行了详尽的数学解析,描述了它的部件、开列了其可能的用途。
艾达描述的是一台当时尚不存在的计算机,在注解中她甚至为这台虚拟的机器写下了计算伯努利数的计算机程序,这个程序被公认为是世界上第一个电脑程序。因此,艾达也被认为是世界上第一位程序设计师。
巴贝奇曾在他所著的《经过哲学家人生》中写道:“我认为她为米那比亚的备忘录增加了许多注记,并加入了一些新的想法。虽然这些想法是由我们一起讨论出来的,但是最后被写进注记里的想法确确实实是她自己的构想。
我将许多代数运算的问题交给她处理,这些工作也与伯努利数的运算相关。她还修正了我先前程序里的重大错误。”艾达提出了许多巴贝奇本人也未曾提到的新构想,比如艾达曾经预言道:“这个机器未来可以用于排版、编曲或是各种更复杂的用途。”1953年,艾达阅读《分析机概论》所留下的笔记被重新公布,并被认为对现代计算机与软件工程产生了重大影响。
遗憾的是,这位天才数学家英年早逝,1852年,艾达为了治疗子宫颈癌,在当时流行的放血治疗中死于失血过多,享年37岁。