爱达·勒芙蕾丝

勒芙蕾丝伯爵夫人奥古斯塔·爱达·金（Augusta Ada King, Countess of Lovelace，），原姓拜伦（Byron），是一位英国数学家兼作家，代表作是她为查尔斯·巴贝奇的分析机——机械式通用电脑——所写的作品。她是第一位主张计算机不只可以用来算数的人，也发表了第一段分析机用的演算法。因此，爱达常被公认为史上第一位程式设计师。
爱达·勒芙蕾丝是诗人拜伦勋爵和的唯一婚生子女。拜伦其他子女都是私生子。爱达满月时父母离异，四个月后拜伦离开英国，一去不归。拜伦在诗中写著：「我的娇女，妳的容颜是否如母？爱达，我屋簷下、我心中唯一的女儿。」爱达八岁时，拜伦在希腊逝世。爱达母亲始终痛恨拜伦，致力栽培爱达的数学逻辑兴趣，以免爱达陷入她眼中拜伦的疯狂下场。但爱达终究很惦记父亲，把两个儿子取名为拜伦和哥登。她过世后，遗愿要求葬在父亲墓旁。爱达童年多病，但仍勤敏向学。1835年爱达与结婚，威廉·金于1838年受封，她成为勒芙蕾丝伯爵夫人。
藉著她的家庭与教育环境，她认识许多科学家，如、查尔斯·巴贝奇、大卫·布儒斯特爵士、查尔斯·惠斯通、麦可·法拉第和作家狄更斯，跟著他们进修。爱达自称是「分析家（兼形上学家）」，并自称在从事「诗意科学」。
十几岁时，因著她的数学天分，爱达认识了后世誉为「电脑之父」的英国数学家查尔斯·巴贝奇，展开了一段长期亦师亦友的工作关系，更迷上了巴贝奇的分析机计划。爱达在1833年透过家教玛丽·萨默维尔，认识了巴贝奇。
在1842到1843年间，她翻译了一篇义大利军事工程师费德里科·路易吉阐述分析机的文章，并加上详尽的笔记（篇名就叫"笔记"）。爱达的笔记里，包含了许多人公认的史上第一段电脑程式—一段分析机用的演算法。不过也有历史学家不同意，指出巴贝奇1836/1837年的私人笔记中，已经有了更早的分析机程式。爱达的笔记对早期电脑发展史非常重要。此外，当巴贝奇等同时代学者，只著眼于电脑的数学运算力时，爱达已经预见了电脑广泛应用的未来。她在笔记中以她的「诗意科学」来研究分析机，探索个人和社会，如何透过科技协同工作。
爱达在1852年因子宫癌逝世，享年36岁。
生平.
童年.
拜伦想要一个儿子作为继承人，所以当生下女儿时，非常失望。她的名字「奥古斯塔」取自拜伦同父异母的姐姐 (Augusta Leigh)，「爱达」则是拜伦自己命名。1816年1月16日，安娜贝拉带著一个月大的爱达，被拜伦赶出门，回到的娘家。依当年的英国法律，离婚后子女监护权属于父方。但拜伦不想要监护权，只委托姐姐在爱达有需要时通知他。
4月21日拜伦不情愿地签下分居协议，几天后就离开英国。在撕破脸分居后，安娜贝拉一辈子都在指控拜伦的败德行为。因为这件事，爱达在维多利亚时代很有名。爱达和父亲拜伦从此再无关联。拜伦逝世于1824年，爱达时年8岁。爱达的至亲只有母亲。直到爱达20岁生日前，都不给她看拜伦的画像。
爱达小时候和母亲不亲，母亲常常把她丢给溺爱孙女的外婆，米尔班奇夫人茱蒂·洪照顾。然而，当时社会对分居的男方有利，其次才考虑孩子的利益。为顾及社会观感，安娜贝拉必须扮演慈母。安娜贝拉写信给母亲担心爱达近况，在信封上加注信件要收好，以备不时之需。在其中一封信里，她称女儿为「它」：「虽然百般不愿，我听妳的话跟它说话。若妳愿照顾它，我会非常高兴。」在爱达的少女时期，安娜贝拉拜托几个好友当眼线，就近监视避免爱达变坏。爱达背地里叫她们「妖婆」，抱怨她们乱说她坏话。
爱达身体不好，从小就常常生病。八岁时，她就因为头痛影响视力。1829年6月，爱达因麻疹发作全身瘫痪，在床上休养了将近一年，之后仍然行动不便。直到1831年，她才能柱著拐杖走路。虽然一直生病，爱达的数理能力仍持续进步。
1833年初，爱达和一个家教坠入情网，恋情曝光后，他们就私奔了。对方的亲戚认出爱达后，通报了爱达的母亲。为免被社会闲话，安娜贝拉和朋友联手封锁了所有消息。爱达从未见过拜伦和克莱尔·克莱尔蒙特的女儿，她同父异母的妹妹奥格拉·拜伦。1822年，奥格拉五岁时过世。爱达和拜伦同父异母姐姐奥古斯塔·李的女儿有往来，虽然对方后来在法院上刻意避开爱达。
成年以后.
爱达后来和她的家教玛丽·费尔法克斯·萨默维尔成为好朋友。萨默维尔在1833年把爱达引荐给查尔斯·巴贝奇。爱达非常敬爱萨默维尔，和她长年保持联络。爱达也和安德鲁·克鲁斯、大卫·布儒斯特、查尔斯·惠斯通、麦可·法拉第及小说家查尔斯·狄更斯熟识。爱达17岁进宫觐见，冰雪聪明的爱达，旋即成为目光焦点。1834年时，爱达已经是王宫的常客，参加各式各样的社交聚会。人们迷上这位爱跳舞的爱达，一致认为爱达秀丽可人，除了拜伦的朋友约翰·霍布豪斯。霍布豪斯认为爱达是个「个子高大、皮肤粗糙的年轻女人，长得像我朋友，尤其是那个嘴巴。」这是1834年2月24日霍布豪斯初见爱达后的印象。当天两人初见时，爱达当面表示她不喜欢他。不知道是不是因为爱达母亲的教育，使爱达看到拜伦的朋友就厌恶。不过双方恶劣的第一印象没有维持多久，两个人就交上朋友了。
1835年7月8日，爱达和结婚，成为金男爵夫人。他们有三处家产：萨里郡的；罗斯郡托里登的一栋苏格兰式房产；及一栋伦敦的房子。他们蜜月在萨默塞特郡附近，艾希利·康比的渥西大宅。这原是建于1799年的狩猎小屋，金为了蜜月扩建。大屋后来持续扩建，成为他们家的夏日别墅。他们家的主屋自1845年起就在，一栋由西敏宫建筑的建筑师查尔斯·巴里建造的风建筑，之后大幅依勒芙蕾丝自己的设计扩建。
他们有三个小孩：（1836年生）；（通称安娜贝拉，1837年生）；（1839年生）。安娜贝拉出生后，爱达罹患了「无聊又痛苦的病痛，花好几个月才痊愈。」爱达是的唯一后裔，1838年，她先生受封与奥坎子爵，她顺理成章成为勒芙蕾丝伯爵夫人。1843到44年间，爱达母亲聘请担任爱达子女的家教，并作为爱达言行的榜样。卡本特对爱达一见钟情，要她尽量向他诉苦，保证因为自己已婚，绝对不会对她有非份之想。但当卡本特企图越来越明显时，爱达就把他辞退了。
1841年，爱达的母亲告诉爱达和（拜伦和同父异母姊姊奥古斯塔·李的女儿），她们是同父异母姊妹。1841年2月27日，爱达在信上跟母亲说：「我一点都不『惊讶』。其实妳只是『证实』了我『长年』怀疑，却太难堪，不敢向妳提起的事。」她不怪拜伦乱伦，而怪姑姑奥古斯塔·李：「我觉得她比他卑鄙无耻。」1840年代爱达和无赖厮混：一方面是调情、婚外情，流言四起；另一方面则是沉迷赌博。她1840年代末，在赌马应该输了三千英磅以上。她和男性一起聚赌，并在1851年为赢大注而试著建立数学模型。结果一败涂地，输给赌友上千英磅，只好向她丈夫自首。1844年起，她和安德鲁·克罗斯的儿子约翰开始发展地下情。她过世后，依照法律协议，约翰·克罗斯删掉了大多数的往来通信。她把父亲遗留给她少数遗物，给了小克罗斯。她最后病重时，一想到小克罗斯不能来找她，就会抓狂。
教育.
1832年她17岁时，开始展现数学天份。她对数学的兴趣，从此主宰了她的人生。一个原因是她母亲痛恨拜伦的疯狂，从小教她数学，以斩断她对人文的兴趣。她的数理家教是、与有名的19世纪研究家与科学作者玛丽·索麦维。1840年代，数学家奥古斯都·德·摩根教她更多进阶的数学研究，包括高等微积分的伯努利数（后来成为她著名的巴贝奇分析机演算法的基础）。德·摩根在给爱达的信件中，他说爱达的数学能力，未来会成为「原创的数学研究家，甚至是一流的杰出人物。」
爱达常常结合诗歌和科学，来质疑基本假设。学习微分学时，她写给德·摩根说：
我想说，数学入门时最主要的困难之一，是公式转换时，用奇怪的、完全无法想像、初学者认不出来的方式转换。我常常想到精灵仙女，一下子在人手中以一个样子显现，一下子又变成完全不一样的样子。
爱达认为直觉和想像力对数理观念非常重要。她把形上学看得和数学一样重要，认为两者都探索「身边未知世界」的工具。
逝世.
1852年11月27日勒芙蕾丝逝世，享年36岁，死因为子宫颈癌。她的癌症拖了好几个月，母亲安娜贝拉在这段期间对她限制探视，禁止她至交好友探病。在母亲的威诱下，爱达改信宗教，持续忏悔，并让母亲当她的监护人。8月30日，在她向丈夫忏悔某事后，她丈夫就抛下她的病褟出走了。没有人知道她说了什么。。她依遗愿葬在诺丁罕郡的父亲身旁。霍斯利塔的教堂有一块拉丁文纪念碑，纪念她和她父亲。
成就.
勒芙蕾丝终其一生，对科学发展和当代新知非常有兴趣，包括颅相学和。在巴贝奇的工作结束后，勒芙蕾丝仍持续参与其他计划。1844年她对沃伦佐夫·格瑞格说，她想建立一个数学模型，来解释大脑如何产生思想、神经和感觉（「神经系统的微积分」）。不过她没有完成。她对脑科学的兴趣，一部份导因她母亲长年认为她像父亲拜伦一样有「潜在的」黑暗面。为了这个研究，1844年她拜访了安德鲁·克罗斯，学习如何做电学实验。同年她撰写了卡尔·赖兴巴赫男爵《Researches on Magnetism》的书评，但只写了初稿，也没有发表。1851年癌症发作前，她对母亲写道，她研究数学和音乐的关联，有相当的进展。
勒芙蕾丝1833年6月，透过共同朋友玛丽·萨默维尔认识了查尔斯·巴贝奇。同月，巴贝奇邀请她参观他的差分机原型。她迷上差分机，透过萨默维尔的关系，一有空就去找巴贝奇。巴贝奇惊艳于勒芙蕾丝的聪慧和分析能力，叫她「数字的魔女 (Enchantress of Number)」。1843年，巴贝奇写给她：
1842-43年间，勒芙蕾丝花九个月翻译义大利数学家路易吉·梅纳布雷亚讲述巴贝奇新构想分析机的文章。她随正文附上了长篇笔记。分析机的功能很难解释，巴贝奇不擅言辞，其他科学家也多难解其意。勒芙蕾丝的笔记还要解释分析机和原版差分机有何不同。她的笔记获得广泛认可，连科学家麦可·法拉第都自称是她的书迷。
全部笔记比原文长三倍，且在"笔记G"中详述分析机若能完工，可以如何计算白努利数。（巴贝奇只完成了差分机，分析机直至2002年才在伦敦完工。）因著这份笔记，许多人认为勒芙蕾丝是史上第一位电脑程式设计师，她的方法是史上第一个电脑程式。也有人认为这不算，因为巴贝奇某些早年写作也可以认定是电脑程式。
勒芙蕾丝也在"笔记G"中驳斥人工智慧。她写道，「分析机不是用来"创作"。"只要我们知道怎么下指令"，它就知道怎么做。它能依规则分析，但无法预测分析关联或真理。」这一点在后世引发许多争议，例如艾伦·图灵就在论文"中驳斥。现代电脑科学家认为，这种看法已经过时了，程式设计师不一定能预测软体的发展。
完稿时，勒芙蕾丝和巴贝奇有一点争执。巴贝奇想加上不署名前言声明（抨击政府不支持分析机），可能会误解为是两人的共同声明。当的""要求声明要署名时，巴贝奇写信要勒芙蕾丝撤稿。勒芙蕾丝这才知道巴贝奇的声明没有署名，回信拒绝撤稿。史学家推测「这些行为，显示巴贝奇渴望爱达参与，放任她……是为了借用她的『名声』。」他们很快和好了，持续保持联络。1851年8月12日她癌症病危时，勒芙蕾丝写信给他，请他当她的遗属执行人。这封信法律效力不足。渥西大宅有一段露台，因为勒芙蕾丝和巴贝奇常在此散步讨论数学原理，被称为"哲学家之道"。
史上第一个电脑程式.
1840年，巴贝奇受邀在都灵大学举办分析机的研讨会。年轻义大利工程师与未来的义大利总理路易吉·梅纳布雷亚，以法文把巴贝奇的课写成逐字稿，之后在1842年10月发表在'上。巴贝奇好友查尔斯·惠斯登委托爱达·勒芙蕾丝把梅纳布雷亚的论文译成英文。她把对论文的批评写成笔记，一起加进翻译中。爱达·勒芙蕾丝在巴贝奇指导下，花了大半年翻译。这些笔记内容比梅纳布雷亚的论文更广，发表在'的""。笔记用她的姓名首字母缩写"A.A.L."来署名。
爱达·勒芙蕾丝的笔记以字母A-G编序。在笔记G中，她描述了以分析机计算白努利数的演算法。后世认为这是第一个公开发表，为供电脑实作的演算法。爱达·勒芙蕾丝也因此被认为是第一个电脑程式设计师。可惜分析机最后还是没有做出来，她的程式也无法测试。
1953年，也就是爱达·勒芙蕾丝过世后百年，她的巴贝奇分析机笔记，作为"Faster than Thought: A Symposium on Digital Computing Machines"的附注重新问世。如今分析机被公认为早期电脑的模型，她的笔记则是电脑软体的描绘。
对电脑未来的洞见.
爱达·勒芙蕾丝在笔记中，强调分析机和前代计算机的不同，尤其在它能以程式解决各种复杂问题。她发觉以后的分析机不只可以算数。她在笔记中说：
上述分析是电脑科学的重大发展，基于对当时计算机能力的理解，在百年前就预测了现代电脑的发展与影响。对于爱达基于逻辑符号对电脑应用的洞见，华特·艾萨克森认为来自她在织布机上的观察：「她看到有些织布机以打孔卡当指令，织出美丽的花样时，她联想到巴贝奇也用打孔卡来计算。」作家贝蒂·图尔、班哲明·伍列，与主持Plan 28计划重建分析机的程式设计师，都认为该洞见非常重大。
据电脑科学史家与巴贝奇研究者说：
爱达看到巴贝奇看不到的远景。在巴贝奇的世界里，分析机是用来算数的…勒芙蕾丝看到…数字也以以表示非量化资料。要是有一台可以操作数字的机器，只要数字可以表达其它事物，像是字母、音符等，这台机器就可以依照规则，以数字来操作符号。从操作数字到操作符号的转型，就是从数字计算往通用计算的转型。当我们从现代回顾，寻找电脑发展史的转捩点时，转捩点就在爱达1843年的笔记中。
贡献争议.
许多人公认勒芙蕾丝为第一个程式设计师。但某些传记家、电脑科学家和电脑史学家有不同见解。
在1990年"差分机与分析机"一文中说：
稍晚完成巴贝奇传的Bruce Collier，在他1970年哈佛大学博士论文中说，勒芙蕾丝「对分析机的宣传非常有贡献，但没有证据表明她对理论或设计有任何贡献。
Eugene Eric Kim和Betty Alexandra Toole认为勒芙蕾丝「不是」第一个程式设计师。巴贝奇为分析机写过好几个程式初稿，虽然最后没有发表。Bromley发现巴贝奇在1837到1840年间写了几十个程式，都比勒芙蕾丝的笔记早很多年。认为勒芙蕾丝的笔记「比较像是描绘出作者数学上不确定性，发明者的政治目的，以及当时的社会文化背景，而不是科学发展的蓝图。」
以研究巴贝奇闻名的家，曾在一堂巴贝奇分析机课上，讨论过勒芙蕾丝。他解释，艾达只是个「有前途的新人」，而不是数学天才。她在巴贝奇孕育出分析机的五年后，才开始学基础数学，所以不可能有什么重大贡献。她不是撰写，只是出版了第一个电脑程式。不过他同意，艾达是唯一一个看出分析机未来可以处理数字以外的大千世界的人。
史蒂芬·沃尔夫勒姆在自费出版的"Idea Makers"一书中，为勒芙蕾丝的贡献辩护。虽然在勒芙蕾丝的笔记之前，巴贝奇的确私下为分析机写过很多的算法，沃尔夫勒姆说「但它们和艾达的伯努利数算法比起来，复杂度—或简洁度—都无法相提并论。巴贝奇协助艾达撰写笔记，也加了注解，但艾达才是作者。」沃尔夫勒姆认为，艾达的贡献在淬炼巴贝奇的概念，「清楚呈现抽象的机器运作，这是巴贝奇做不到的。」
大众文化.
1810年代.
爱达·勒芙蕾丝出生后，诗人拜伦为妻子写了一首诗《》。他在诗中写道：
<poem>
And when thou would'st solace gather—
Wilt thou teach her to say "Father!"
When her little hands shall press thee—
Think of him whose prayer shall bless thee—
Should her lineaments resemble
Then thy heart will softly tremble
</poem>
1970年代.
剧作家在1977年的作品《》中描绘了勒芙蕾丝。
1990年代.
1990年威廉·吉布森与布鲁斯·斯特林的蒸汽庞克小说《差分机》中，勒芙蕾丝在一次讲学时，以「打孔卡」程式证明了数十年后才发现的哥德尔不完备定理。
1997年电影《》中，一位崇拜爱达的DNA生物学家，透过「不朽资讯波」，找到与百年前的爱达沟通的方式。
汤姆·史塔佩1993年的舞台剧《》中，早熟的天才少女托马西娜·卡弗利——明显致敬爱达·勒芙蕾丝的角色（剧中也提到拜伦）——领悟了混沌理论，并把热力学第二定律理论化，远早于历史上的发现。
2000年代.
2005年的小说《拜伦的故事》 (Lord Byron's Novel: The Evening Land) 中，勒芙蕾丝是书中看不见的角色，透过她的注释和反英雄的努力，企图归档父亲佚失的小说，表现出强烈的性格。
2010年代.
2015年的舞台剧《爱达与分析机》 (Ada and the Engine) 中，描绘了勒芙蕾丝和巴贝奇的单相思，并想像勒芙蕾丝和拜伦死后的相遇。
勒芙蕾丝和巴贝奇是的网路漫画《勒芙蕾丝和巴贝奇的大冒险》 (The Thrilling Adventures of Lovelace and Babbage) 的主角。漫画附注大量引用爱达·勒芙蕾丝的历史故事，很多对白都基于真实对话。
少女勒芙蕾丝和少女玛丽·雪莱，是的蒸气庞客丛书《沃斯通克拉夫特侦探社》 (The Wollstonecraft Detective Agency) 的主角。
在影集《》第二季中，由莉莉·莱瑟 (Lily Lesser) 饰演勒芙蕾丝（角色名为爱达·奥古斯塔·拜伦）。她受聘作为分析师，提供真人尺寸机器人的结构图。这台黄铜机器人的结构，很像巴贝奇的分析机。剧中她一直工作到回去进修高等数学为止。
勒芙蕾丝和巴贝奇是2017年影集《维多利亚》的角色。艾莫芮德·芬诺在第二季第二集《绿眼怪兽》饰演勒芙蕾丝。
2017年推出的卡尔达诺区块链平台，将他们的加密货币取名为「爱达」，爱达币最小单位名为「勒芙蕾丝」。
影集《电脑狂人》剧中，角色卡梅伦·豪伊设计的作业系统名叫「勒芙蕾丝」。
2019年制作的《超时空奇侠》广播剧《数字的魔女》，主要角色就是勒芙蕾丝。剧中由汤姆·贝克饰演第四任博士，饰演博士的同伴Ann Kelso，饰演勒芙蕾丝。
2019年费城工程力学剧团 (Applied Mechanics) 舞台剧《理工女性 (STEM FEMMES)》中，勒芙蕾丝是主角之一。
2020年代.
勒芙蕾丝是影集《超时空奇侠 (系列12)》第二集《》的角色。该集2020年1月5日在英国广播公司第一台首播。剧中由饰演勒芙蕾丝，并且有查尔斯·巴贝奇和努尔·艾娜雅特·汗等角色。
2021年辉达将下一代图形处理器架构取名为「爱达·勒芙蕾丝」。应用此架构的NVIDIA GeForce 40系列显卡则于2022年9月20日发布，并于同年10月上市。
纪念.
美国国防部发明的电脑程式语言Ada，以勒芙蕾丝为名。该语言参考说明书许可日期1980年12月10日，美国军用标准编号「MIL-STD-1815」，为艾达的出生年。
1981年，设立了。1998年起，英国电脑学会开始颁发，，并且自2008年起每年为女学生举办竞赛。也主办每年为大学生举办的勒芙蕾丝年会。伦敦市的，是一所数位技能进修学院。
2009年起，每年十月第二个星期二，订为爱达·勒芙蕾丝纪念日，目地为「…提高女性在科学、技术、工程、数学领域的地位」并且在这些领域「为女性建立新角色典范」。这个时间，维基百科也会举办编辑松，提高维基百科中文章内容和编者的女性形象，以减少不自觉的维基百科的性别偏误。
是一个推动女性参与自由文化运动与的非营利组织。
沙拉哥萨大学的电脑科学通讯工程学院大楼叫做「爱达拜伦大楼」。爱达旧居附近，村的电脑中心，也以她为名。爱达·勒芙蕾丝楼是诺丁罕郡的一栋议会大楼，在勒芙蕾丝幼时住家附近。
2012年，在爱达生日当天，Google以Google涂鸦和一则部落格贴文纪念。
2013年成立了。爱达开发学院的宗旨，是透过提供女性与多元性别，技能、经验和社群上的支持，以成为专业软体开发人员，促进科技的多元性，改变科技的面貌。。
2013年9月17日，BBC第四台的《》影集播出了爱达·勒芙蕾丝专辑。
2015年11月起，英国新换发护照内页，加上了勒芙蕾丝和巴贝奇的人像。
2017年国际妇女节，Google以Google涂鸦纪念她和其他女性。
2018年2月2日，高解析度影像分析公司，发射了新型小型卫星，以爱达·勒芙蕾丝为名纪念。
2018年3月纽约时报为刊出了迟来的爱达·勒芙蕾丝讣告。
2018年7月27日，美国参议员荣恩·魏登在美国参议院提案，将2018年10月9日订为爱达·勒芙蕾丝纪念日，「以彰显爱达·勒芙蕾丝作为女性数理先驱的贡献。」该提案 (S.Res.592) 进入议程后，与序言一起无异议通过。
2020年11月，2020 年 11 月，三一学院 (都柏林)宣布，图书馆将新增四尊女性半身像，包含勒芙蕾丝。该图书馆过往收藏了40尊半身像，全部是男性。
2022年3月，伦敦西敏寺的Egron House原址，竖立了一座爱达·勒芙蕾丝雕像，以纪念该市的科学历史。雕像由Etienne和Mary Millner制作，依照Margaret Sarah Carpenter的画像雕刻。雕像在2022年的国际妇女节揭幕。雕像位于Millbank Quarter七楼，俯瞰Dean Bradley Street和Horseferry Road的交叉口。
2022年9月，辉达发表了以她为名的新一代图形处理器微架构。
两百年诞辰.
爱达·勒芙蕾丝的两百年诞辰纪念日，举办了一系列的活动：
英国伦敦的科学博物馆，与英国牛津的（属于博德利图书馆），也举办了特展。
历史出版品.
1843年的初版《分析机草图》，内含爱达·勒芙蕾丝的《笔记》，现存共有六本。三本收藏放在哈佛大学，一本收藏于奥克拉荷马大学，一本收藏于美国空军学院。2019年7月20日，第六本在拍卖会上，以九万五千英磅，卖给匿名买家。哈佛大学其中一本藏本的数位扫描版，开放线上阅览。
2016年12月，纽约州税务部由手中，没收了一封爱达·勒芙蕾丝的亲笔信，以抵其欠税。