愛達·勒芙蕾絲 (Ada Lovelace)
數學家與首位電腦程式設計師
關於
愛達·勒芙蕾絲（1815–1852）是英國數學家與作家，因其對查爾斯·巴貝奇所提議的分析機所做的研究，被公認為史上第一位電腦程式設計師。她為分析機撰寫的註記中，包含了被視為史上第一個專為機器處理而設計的演算法。尤為關鍵的是，她的眼界遠超純粹的計算，她設想機器能依據規則操縱符號，並有潛力創作音樂或藝術——比現代 AI 的出現早了逾一世紀。
主要貢獻
- 發表關於巴貝奇分析機的大量〈註記〉，其中包含常被稱為第一個電腦程式的 Bernoulli 數程序
- 將分析機理解為符號操作機器，而不只是計算器
- 實踐她稱為「poetical science」的方法，把數學分析與對機器意義的想像結合起來
- 設想只要和聲規則能被形式化，機器就可能創作音樂
- 提出後來所謂的「Lovelace objection」：機器不會真正原創；這仍迴響於 AI 創造力辯論
- 她的遺產很有力量，但也需要歷史細緻度：後世神話化可能同時遮蔽她真正的洞見與巴貝奇的工程工作
影片與訪談
論文與出版物
思想連結
艾倫·圖靈
觀點交鋒數學家與電腦科學先驅
1843 年，Lovelace 寫下分析機「並不自命能創造任何東西」；1950 年，圖靈把這句話列為九項反對意見中的第六項，並指名回應。他的解讀是：這項反對真正的意思是機器永遠無法讓我們感到意外——而機器一直讓他感到意外。這是本站最奇特的一場爭論：其中一方已經過世九十八年，而爭論至今未決。
plato.stanford.edu · doi.org · fourmilab.ch
葛麗絲·霍普
思想同道電腦科學家與美國海軍少將
一組圍繞「翻譯」的對照。Lovelace 的〈註記〉最初只是翻譯別人談論別人機器的一篇論文，最後卻長成了第一個程式；Hopper 的編譯器則是一部翻譯機器，讓人得以寫下更接近句子的東西，再交由機器化為可執行。兩次的關鍵一步都是同一件事：拒絕用機器的語言與機器相見。
