阿达·洛夫莱斯

奥古斯塔·阿达·金（1815-1852年），封号洛夫莱斯伯爵夫人，是英国诗人拜伦之女。母亲安娜·米伦娜·米尔班克为抵消拜伦的"诗意疯狂"，刻意培养她学习数学——这在19世纪女性中极为罕见。她师从数学家奥古斯都·德·摩根，与查尔斯·巴贝奇密切合作。

1842至1843年，她翻译意大利数学家梅纳布雷亚关于巴贝奇分析机的文章，并附加长篇"笔记"——其中笔记G描述用分析机计算伯努利数的算法，被后世视为第一个计算机程序。她更深刻的洞见是：机器不仅能算数，还能处理符号、作曲、创造——只要规则可形式化。这是计算创造力的先声。

巴贝奇分析机在她有生之年未能建成，但1990年代伦敦科学博物馆按设计建造差分机二号并成功运行，验证了设计可行。2009年起设立阿达·洛夫莱斯日，庆祝女性在科学、技术、工程与数学领域的成就。美国国防部编程语言Ada亦以其命名。

洛夫莱斯一生短暂：36岁因子宫癌去世，生活中亦受赌博、医疗用鸦片等困扰。她的社会地位、性别与健康限制了进一步研究。女权主义史学重新发掘她作为被历史低估的先驱。

在数字时代，洛夫莱斯是连接工业革命机械与信息革命软件的桥梁人物。她与图灵、巴贝奇构成计算史的三重奏：硬件、软件、理论。理解人工智能时代，应记得这位200年前预见机器可能"创作"的女性。