詩人之女與史上第一份程式#

在一起婚姻的碎裂中誕生的教育#

奧古斯塔·愛達·拜倫（Augusta Ada Byron, 1815–1852）出生僅五週，父母便分居；詩人拜倫次年永遠離開英國，死於希臘獨立戰爭，女兒終生未曾見他。母親安娜貝拉（Annabella Milbanke）是一位受過數學訓練的貴族，拜倫曾稱她「平行四邊形公主」。安娜貝拉深恐女兒繼承父親「瘋狂的詩人血統」，於是用一劑終身處方對抗遺傳：數學。她為愛達安排家庭教師、督促習題、以紀律與理性填滿日程。愛達十二歲時因麻疹一度依靠拐杖行走、臥床近兩年，母親便讓她學做機翼與飛行的模型——帶著「理性卻又狂想」的混合氣質，愛達在數學的囚籠與詩性的血脈之間長成了一個奇特的人。她自己私下寫小說、幻想「計算的分析引擎可以編織出交響樂」，母親的壓制終究失敗，但失敗得美麗：兩股力量在她的頭腦裡融合成了罕見的東西。

十七歲時，愛達透過家庭教師、數學家瑪麗·薩默維爾的引薦進入倫敦的科學沙龍，並於 1833 年結識了三十八歲、正在展示差分機模型的查爾斯·巴貝奇。她看到那具 partial 機件的瞬間極為震撼，隨即展開通信，以數學問題敲開門扉。巴貝奇稱她「數字的仙子」（Enchantress of Numbers），兩人維持了逾二十年的師友與偏執共謀。

1835 年她嫁給金氏國王（William King），成為拉夫萊斯伯爵夫人（Ada, Countess of Lovelace），育有三子——但她持續寫信給巴貝奇要「數學作業」，甚至請他找私人導師、試圖在母親死後自修大學課程。她不時被病痛與鴉片酊、嗎啡的醫療糾纏，這種漫長的肉體苦楚與她論文中迸發的智力光彩，構成她傳記最悲愴的張力。

一篇譯註，一場勝利#

1840 年代，巴貝奇在義大利都靈演講解析機器，陸軍工程師路易吉·梅納布里亞（Luigi Federico Menabrea，日後成為義大利首相）將演講整理為法文論文，1842 年發表在《科學文獻》（Bibliothèque Universelle de Genève）。愛達自願將其譯為英文，但在巴貝奇的慫恿下，她不冠名地添加了七則長註（Notes A–G），篇幅竟是原文的兩倍以上。1843 年這份《譯帶註》匿名（署名 A.A.L.）在泰勒《科學回憶錄》刊出。

註釋完成了一件巴貝奇從未做過的事：用明確的語言說明一架機器「能做什麼」與「該怎麼做」。在註 C 中，她寫道：一項运算只要能約化為有限步驟，機器便能執行；在註 A 中，她提出驚人的洞察——這台機器在巴貝奇的概念裡不止能算數：「假使單音與音符的基本關係可以合乎習慣地以代數表示其可容許性與廣度，那部機器或許能作曲、能編寫出任何複雜程度的科學樂章。」——機器不只是數字的僕人，只要語料與規則被恰當編碼，它處理的是「符號」。這是程式設計師第一次站在純粹數值計算之外看見通用性的地平線，比圖靈提早了百餘年。

最關鍵的是註 G（Note G）。為了示範，愛達演算了「解算二元二次不定方程的式樣」：用解析機器求「伯努利數」（Bernoulli numbers）所需的一整序列運算，並以表格逐行列出操作卡與變數卡的用法。這是一份完整的演算程序：步驟列、運算符號、運算元、指示「回到第 N 步」的循環——被普遍尊為史上第一份電腦程式。她還在註 G 中設下經典警語：「解析機器沒有創造任何事物的野心。它只能執行我們能安排給它的指令。」後人稱之為「愛達拒絕機器能思考」的先見，也是人工智慧辯論最早的原始文本之一。

ㄧ些史家提醒：伯努利數演算法的精神來自巴貝奇（他一開始建議用三角級數），部分演算草稿也有巴貝奇的修訂痕跡；但把它系統化、賦予程序結構、並寫出詮釋理論的是愛達——「第一份程式」與「第一個理解程式意義的人」這兩個桂冠，她都當得起。

詩意的科學與賭債#

愛達自創「詩意的科學」（Poetic Science）一詞，描述她畢生追求的東西：不讓想像力離開演譯與證據，也不讓數學消滅想像。這種志業有陰暗的附產物：她試圖建立一套「可預測賽馬勝負的數學模型」，遵循當時上流社會的賭博風尚投入賽馬賭注，與友人組成投注財團，結果慘賠，甚至典當珠寶還債；她與巴貝奇之間為此事的多次不快，也是兩人關係著名的陰面。她曾設法用數學的幻象重塑命運，最終只能為此羞慚——這是一位理性與欲望同樣熾熱的人的真實人生。

1852 年 11 月，三十六歲的愛達死於子宮癌（各種傳說中的她要求與父親葬在一處的遺願成真，葬於希欽的拜倫家族墓）。臨終前她囑咐巴貝奇成為其遺囑執行人之一，她的數學則停在一篇未完成的論證筆記裡。

語言裡的永生#

一百年後，1979 年美國國防部徵選統一軍用高階語言，為致敬她命名為 Ada。1990 年代愛達成為女性科學家的國際符號：Ada Lovelace Day、以她命名的獎章與系列講座。作為拜倫唯一合法後代，她繼承了父親的浪漫；作為數學之女，她把浪漫寫成了演算法。如果說巴貝奇造出了可能世界上第一台「會思考的機器」的藍圖，那麼愛達是第一個窺見這藍圖真正含義的人——她在註 G 裡寫下的不是一次計算，而是一種思維方式的誕生。