艾達·洛夫萊斯

艾達·洛夫萊斯於1815年出生在倫敦，原名奧古斯塔·艾達·拜倫，是詩人喬治·戈登·拜倫與安娜貝拉·米爾班克唯一婚生子女。她出生後不久父母便分居；拜倫離開英國，她從未與父親相識。出身富裕家庭的母親安排她的成長，並強調數學、紀律和思想獨立。

洛夫萊斯由私人教師授課；當時女性通常被排除在大學和科學團體之外，她在這樣的環境中發展了自己的興趣。瑪麗·薩默維爾將她引介給數學家和自然哲學家，奧古斯都·德摩根後來輔導她學習高等數學。1835年，她與威廉·金結婚，金後來成為洛夫萊斯伯爵。作為貴族女性，她擁有經濟條件和人脈，卻沒有正式的科學職位。

1833年，洛夫萊斯結識查爾斯·巴貝奇，並觀看了差分機部分裝置的演示，由此開始對他的計算機器產生興趣。她持續關注巴貝奇的分析機設計，並就其執行方式與他通訊。該機器最終未能完全建成，但設計中包括彼此獨立的計算、儲存和控制部件。

1843年，洛夫萊斯翻譯了路易吉·梅納佈雷亞用法文撰寫的分析機文章。她增寫的註釋最終比譯文本身還長，並詳細說明了這臺擬議中的機器。其中一條註釋列出計算伯努利數的一系列步驟，以反覆運算和符號進行處理，類似於通用計算機程式。

洛夫萊斯推論認為，如果符號之間的關係能夠以形式化方式表示，按照規則執行的機器便不僅能處理數字，也能處理其他符號。她提出音樂可能是應用領域之一，前提是其結構能夠用數學方式表達。與此同時，她提醒人們，機器無法自行產生思想，只會執行人類指示；她的分析區分了計算與人類創造力。

洛夫萊斯生活在維多利亞時代的英國，當時工業生產和機械化使人們對機器和計算產生了新的期待。數學在航海、工程、保險和科學資料表等領域具有實際用途。巴貝奇的專案正是在機械自動化的背景下提出的，但它們依賴複雜的工藝製造、資金和機構支援，而這些條件並非總能落實。

性別觀念限制了女性接受高等教育、獲得學術職位以及參與許多職業網路的機會。不過，一些富裕家庭出身的女性仍能通過私人教師、沙龍和通訊學習數學。洛夫萊斯的社會地位使她得以接觸這些人脈，但她的作品以姓名首字母署名發表，也難以在當時的科學機構中發展為正式職業。

1843年的註釋詳細解釋了分析機預期的執行方式以及可程式設計計算的可能性。由於巴貝奇的機器從未完成，這些註釋並未直接改變19世紀的技術。人們主要是在後來電子計算機問世、指令、符號和自動運算的實際意義變得清晰之後，才認識到它們在計算機史上的重要性。

洛夫萊斯的著作權以及她與巴貝奇之間的思想貢獻分工，至今仍是歷史討論的主題。她以巴貝奇的機器設計為基礎開展工作，但她的註釋包含原創的解釋和關於一般符號處理的構想。將她稱為第一位程式設計師的流行說法可能過度簡化了這段合作；歷史學家會將她的文本與巴貝奇早期的方案相比較，並結合背景評估這一說法。

艾達·洛夫萊斯於1852年在倫敦逝世，年僅36歲，死因為子宮癌。按照她的請求，她被葬在從未謀面的父親身旁。她的數學通訊以及關於分析機的出版物得以留存，但她作為計算機思想先驅的聲譽主要是在20世紀可程式設計計算機真正發展起來後才逐漸形成。

她的註釋被視為早期探討計算機器與通用符號處理機器之間差異的重要文獻。每年舉辦的“艾達·洛夫萊斯日”以及以她命名的Ada程式語言提升了她的公眾知名度。當代研究既強調她本人的分析貢獻和她與巴貝奇的合作，也關注使她得以接受教育的更廣泛人際網路。