艾达·洛夫莱斯

艾达·洛夫莱斯于1815年出生在伦敦，原名奥古斯塔·艾达·拜伦，是诗人乔治·戈登·拜伦与安娜贝拉·米尔班克唯一婚生子女。她出生后不久父母便分居；拜伦离开英国，她从未与父亲相识。出身富裕家庭的母亲安排她的成长，并强调数学、纪律和思想独立。

洛夫莱斯由私人教师授课；当时女性通常被排除在大学和科学团体之外，她在这样的环境中发展了自己的兴趣。玛丽·萨默维尔将她引介给数学家和自然哲学家，奥古斯都·德摩根后来辅导她学习高等数学。1835年，她与威廉·金结婚，金后来成为洛夫莱斯伯爵。作为贵族女性，她拥有经济条件和人脉，却没有正式的科学职位。

1833年，洛夫莱斯结识查尔斯·巴贝奇，并观看了差分机部分装置的演示，由此开始对他的计算机器产生兴趣。她持续关注巴贝奇的分析机设计，并就其运行方式与他通信。该机器最终未能完全建成，但设计中包括彼此独立的计算、存储和控制部件。

1843年，洛夫莱斯翻译了路易吉·梅纳布雷亚用法文撰写的分析机文章。她增写的注释最终比译文本身还长，并详细说明了这台拟议中的机器。其中一条注释列出计算伯努利数的一系列步骤，以反复运算和符号进行处理，类似于通用计算机程序。

洛夫莱斯推论认为，如果符号之间的关系能够以形式化方式表示，按照规则运行的机器便不仅能处理数字，也能处理其他符号。她提出音乐可能是应用领域之一，前提是其结构能够用数学方式表达。与此同时，她提醒人们，机器无法自行产生思想，只会执行人类指示；她的分析区分了计算与人类创造力。

洛夫莱斯生活在维多利亚时代的英国，当时工业生产和机械化使人们对机器和计算产生了新的期待。数学在航海、工程、保险和科学数据表等领域具有实际用途。巴贝奇的项目正是在机械自动化的背景下提出的，但它们依赖复杂的工艺制造、资金和机构支持，而这些条件并非总能落实。

性别观念限制了女性接受高等教育、获得学术职位以及参与许多职业网络的机会。不过，一些富裕家庭出身的女性仍能通过私人教师、沙龙和通信学习数学。洛夫莱斯的社会地位使她得以接触这些人脉，但她的作品以姓名首字母署名发表，也难以在当时的科学机构中发展为正式职业。

1843年的注释详细解释了分析机预期的运行方式以及可编程计算的可能性。由于巴贝奇的机器从未完成，这些注释并未直接改变19世纪的技术。人们主要是在后来电子计算机问世、指令、符号和自动运算的实际意义变得清晰之后，才认识到它们在计算机史上的重要性。

洛夫莱斯的著作权以及她与巴贝奇之间的思想贡献分工，至今仍是历史讨论的主题。她以巴贝奇的机器设计为基础开展工作，但她的注释包含原创的解释和关于一般符号处理的构想。将她称为第一位程序员的流行说法可能过度简化了这段合作；历史学家会将她的文本与巴贝奇早期的方案相比较，并结合背景评估这一说法。

艾达·洛夫莱斯于1852年在伦敦逝世，年仅36岁，死因为子宫癌。按照她的请求，她被葬在从未谋面的父亲身旁。她的数学通信以及关于分析机的出版物得以留存，但她作为计算机思想先驱的声誉主要是在20世纪可编程计算机真正发展起来后才逐渐形成。

她的注释被视为早期探讨计算机器与通用符号处理机器之间差异的重要文献。每年举办的“艾达·洛夫莱斯日”以及以她命名的Ada编程语言提升了她的公众知名度。当代研究既强调她本人的分析贡献和她与巴贝奇的合作，也关注使她得以接受教育的更广泛人际网络。