{"id":5376,"date":"2020-07-30T13:11:18","date_gmt":"2020-07-30T17:11:18","guid":{"rendered":"https:\/\/notes.math.ca\/?post_type=article&p=5376"},"modified":"2020-08-19T08:22:01","modified_gmt":"2020-08-19T12:22:01","slug":"ada-lovelace-new-light-on-her-mathematics","status":"publish","type":"article","link":"https:\/\/notes.math.ca\/en\/article\/ada-lovelace-new-light-on-her-mathematics\/","title":{"rendered":"Ada Lovelace: New Light on Her Mathematics"},"content":{"rendered":"\t\t
\n\t\t\t\t\t\t
\n\t\t\t\t\t\t
\n\t\t\t\t\t
\n\t\t\t
\n\t\t\t\t\t\t
\n\t\t\t\t
\n\t\t\t\t\t\t\t
\n\t\t\t\n\t\t\t\t\t\t<\/span>\n\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t
\n\t\t\t\t
\n\t\t\t\t\t\t\t\t\t

CSHPM Notes bring scholarly work on the history and philosophy of mathematics to the broader mathematics community. Authors are members of the Canadian Society for History and Philosophy of Mathematics (CSHPM). Comments and suggestions are welcome; they may be directed to either of the column’s co-editors:<\/em><\/p>

Amy Ackerberg-Hastings<\/strong>,\u00a0Independent Scholar (aackerbe@verizon.net)<\/em>
Hardy Grant,\u00a0<\/em><\/strong>York University [retired] (hardygrant@yahoo.com)<\/em><\/p>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t

\n\t\t\t\t
\n\t\t\t\t\t\t\t
\n\t\t\t\n\t\t\t\t\t\t<\/span>\n\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t
\n\t\t\t\t\t\t
\n\t\t\t\t\t
\n\t\t\t
\n\t\t\t\t\t\t
\n\t\t\t\t
\n\t\t\t\t\t\t\t\t\t
\"\"
Figure 1. <\/strong>Ada Lovelace (1815\u20131852).<\/figcaption><\/figure>

On July 25, 2018, in a rare display of consensus, the Senate of the United States passed a resolution<\/a> \u201chonoring the life and legacy of Ada Lovelace\u201d and \u201cdesignating October 9, 2018, as \u2018National Ada Lovelace Day\u2019.\u201d \u00a0This was a somewhat belated recognition, not only of Lovelace herself, but also of the fact that in every year since 2009, the second Tuesday in October has been celebrated worldwide as \u201cAda Lovelace Day<\/a>\u201d. The brainchild of Suw Charman-Anderson, Ada Lovelace Day has become an international celebration of the achievements of women in science, technology, engineering and mathematics (STEM) that aims to increase the profile of women in STEM subjects and to encourage more young women into scientific careers.<\/p>

Today, the name of Ada Lovelace is as recognizable as those of other famous female scientists, including Marie Curie and Rosalind Franklin, and, to the general public, better known than other female mathematicians such as Emmy Noether and Sophie Germain. Yet Lovelace made no famous scientific discovery, proved no mathematical theorem, and died at the age of 36, having published only one paper\u2014which credited her not by name but merely by the initials \u201cA.A.L.\u201d In fact, in her lifetime and for many years after it, the lady whose full name was Augusta Ada King, Countess of Lovelace (see Figure 1) was famous primarily for being the sole legitimate child of the poet Lord Byron.<\/p>

Her fame today derives from the paper<\/a> she published in 1843 in a journal called Taylor\u2019s Scientific Memoirs<\/em> [6<\/a>]. Strictly speaking, this was a translation of someone else\u2019s paper. The original article, entitled \u201cNotions sur la machine analytique de M. Charles Babbage,\u201d had been published the previous year in French by the Italian engineer Luigi Menabrea, and contained a discussion of a machine, as yet unbuilt, called the analytical engine. This theoretical contraption had been devised by the famous Victorian mathematician, inventor, and polymath Charles Babbage in the 1830s. Had it ever been built, it would have been the world\u2019s first general-purpose computer\u2014100 years before the work of Alan Turing and John von Neumann. Menabrea\u2019s article was intended to explain and promote Babbage\u2019s ideas to the European scientific community; Lovelace\u2019s translation performed the same task for a British audience. But she also wrote seven lengthy appendices, or \u201cNotes\u201d to her translation which, at a total of 41 pages, amounted to more than one-and-a-half times the length of the original paper.<\/p>

It is the last of these notes, Note G, on which her current fame rests. In it, she outlined an iterative process by which Babbage\u2019s machine, via a series of steps, could compute the Bernoulli numbers, an irregular sequence of rational numbers, highly useful in number theory and analysis. Although the algorithm she devised was never run and the computer for which it was intended was never built, if Ada Lovelace is remembered for anything today, it is for having written the world\u2019s \u201cfirst computer program\u201d. (This is despite the fact that what she actually published was closer to what we would call an execution trace than an actual program. See Figure 2.) Perhaps unsurprisingly, interest in Lovelace and her work re-surfaced as the era of modern computing began in the 1940s and 1950s. Pioneers such as Alan Turing referenced her paper, and other early writers on computer science paid tribute to her ability. Perhaps the most tangible display of the esteem in which she was held was the choice of the name \u201cAda\u201d by the U.S. Department of Defense for its new programming language in 1979.<\/p>

\"\"
Figure 2<\/strong>. Chart that accompanied Note G in Lovelace\u2019s translation of Menabrea\u2019s paper.<\/figcaption><\/figure>

Since the 1980s, though, evaluations of Lovelace\u2019s scientific ability have been more mixed, with some authors claiming that her command of mathematics was actually rather limited and pointing to various algebraic errors as \u201cevidence of the tenuousness with which she grasped the subject of mathematics\u201d [7<\/a>, p. 90].\u00a0 The most forthright even described Lovelace as \u201cmad as a hatter . . . with the most amazing delusions about her own talents\u201d, calling her \u201cthe most overrated figure in the history of computing\u201d [2<\/a>, preface]. Yet for every study in which she is portrayed as a charlatan, there is another in which she is described as \u201ca synthesizer and a visionary [who] saw the need for a mathematical and scientific language which was more expressive and which incorporated imagination\u201d [8<\/a>, p. 2]. To provide a more balanced estimation of Lovelace\u2019s mathematical abilities, recent research has aimed to shed more light on precisely what mathematics Ada Lovelace actually studied in order to ultimately produce her famous paper of 1843.<\/p>

This research<\/a>, undertaken by a team comprising Chris Hollings and Ursula Martin from the University of Oxford and myself, focused on the 66 surviving letters from an eighteen-month-long correspondence course undertaken by Lovelace in 1840\u201341 under the tutelage of the British mathematician and logician, Augustus De Morgan. During this period, De Morgan introduced Lovelace to a large segment of what then comprised an undergraduate course in mathematics\u2014since no women were actually allowed to receive a formal university education at that time. From basic algebra and trigonometry, she progressed through functional equations, calculus, and differential equations, even reading some of De Morgan\u2019s own research papers. The letters between them at this time show her to have been a tremendously keen and capable student, although certainly prone to the usual beginner\u2019s mistakes and misapprehensions. But our study seems to differ from others in delving into the actual details of the mathematics that Lovelace was studying with De Morgan. It reveals that, far from being mathematically limited, she did in fact have very strong mathematical skills together with an inquiring mind that led her to pose questions and speculations quite unlike the usual sort of enquiries to which De Morgan was accustomed from his (male) students.<\/p>

For a start, Lovelace had a keen eye for detail, spotting several typos and other errors in De Morgan\u2019s published works. Charles Babbage later recalled that, during the composition of the 1843 paper, when he provided the underlying algebra for the Bernoulli numbers algorithm, Lovelace had \u201cdetected a grave mistake which I had made in the process\u201d [1<\/a>, p. 136]. This critical eye resulted in significant independence of thought throughout her studies, for example when she refused to accept De Morgan\u2019s proof of the binomial theorem because of its reliance on the so-called \u201cPrinciple of the Permanence of Equivalent Forms\u201d, an unproved (and now discredited) assumption then commonly used in algebra. It also led her to a prescient speculation, prompted by her introduction to the two-dimensional representation of complex numbers: \u201cIt cannot help striking me that this extension of Algebra ought to lead to a further extension similar in nature, to Geometry in Three-Dimensions; & that again perhaps to a further extension into some unknown region, & so on ad-infinitum possibly\u201d [3<\/a>, p. 219]. This was a strikingly accurate prediction, foreshadowing by two years the discovery of quaternions, which in turn gave rise to vectors, now used in the study of n<\/em>-dimensional space. For a relative beginner in mathematics, Lovelace showed remarkable foresight.<\/p>

\"\"
Figure 3<\/strong>. Cover of Ada Lovelace: The Making of a Computer Scientist<\/i>.<\/figcaption><\/figure>

Lovelace\u2019s correspondence course with De Morgan appears to have ended in late 1841, or possibly early 1842, but by that time she had learned all the mathematics necessary for her computational algorithm for the Bernoulli numbers: the algebra of functions, infinite series, and the calculus of finite differences. By the summer of 1843, as she wrote in a letter to Babbage, she was working \u201clike the Devil\u201d [8<\/a>, p. 216] on her paper on his analytical engine. It was published in September, and Lovelace wrote excitedly about what further mathematical projects she would like to undertake in the future. She had already expressed an interest in the mathematical analysis of games like solitaire, and in 1844 she wrote of her hope to \u201cbequeath to the generations a Calculus of the Nervous System\u201d [3<\/a>, p. 228]. But none of these grand ideas were realized. Her subsequent years were plagued by ill health and financial worries. By 1852, her condition had worsened and it was discovered that she was suffering from cancer of the uterus. She finally succumbed on 27 November of that year.<\/p>

Our research into Ada Lovelace has not only revealed far more detail about the actual mathematics she studied, but our study of the original manuscripts has also helped to restore her mathematical reputation by revealing some key historical errors made by earlier scholars. The details can be found in our two papers [3<\/a>] and [4<\/a>], while those looking for an easy read (or a gift for a non-mathematical friend!) might enjoy our expository book [5<\/a>], lavishly illustrated with over 50 color images relating to her life and work (see Figure 3). Finally, for those who really like to get their hands dirty, high-quality images (plus transcriptions) of all of the letters in the Lovelace-De Morgan correspondence may be viewed online at: https:\/\/www.claymath.org\/content\/correspondence-de-morgan-0<\/a>.<\/p>

This recent research\u2014plus the many other publications that continue to appear on the subject\u2014attests to the fact that the life and work of Ada Lovelace are still of great interest to mathematicians, computer scientists, and the public at large. So perhaps her greatest mathematical achievement is that she continues to attract scholarly attention, not only in the mathematics she actually produced, but in the possibilities of what might have been.<\/p>

Adrian Rice is the Dorothy and Muscoe Garnett Professor of Mathematics at Randolph-Macon College in Ashland, Virginia, USA. His research focuses on the history of mathematics, specifically the development of algebra, analysis and logic in 19th- and early 20th-century Britain. He was awarded the Paul R. Halmos-Lester R. Ford Award for expository excellence by the Mathematical Association of America in 2019 for his article “Partnership, Partition, and Proof: The Path to the Hardy-Ramanujan Partition Formula”, published in\u00a0<\/em>The American Mathematical Monthly\u00a0in 2018.<\/em><\/span><\/p>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t

\n\t\t\t\t\t\t
\n\t\t\t\t\t
\n\t\t\t
\n\t\t\t\t\t\t
\n\t\t\t\t
\n\t\t\t\t\t\t\t
<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t
\n\t\t\t\t\t\t
\n\t\t\t\t\t
\n\t\t\t
\n\t\t\t\t\t\t
\n\t\t\t\t
\n\t\t\t\t\t\t\t\t\t

References<\/strong><\/p>

[1] Babbage, C. (1864) Passages from the Life of a Philosopher<\/i>. Longman, Green, Longman, Roberts, & Green.<\/p>

[2] Collier, B. (1990) The Little Engines That Could\u2019ve: The Calculating Machines of Charles Babbage<\/i>. Garland Publishing.<\/p>

[3] Hollings, C., U. Martin, and A. Rice. (2017) The Lovelace-De Morgan mathematical correspondence: A critical re-appraisal. Historia Mathematica<\/i> 44, 202\u2013231.<\/p>

[4] Hollings, C., U. Martin, and A. Rice. (2017) The early mathematical education of Ada Lovelace. BSHM Bulletin: Journal of the British Society for the History of Mathematics<\/i> 32, 221\u2013234.<\/p>

[5] Hollings, C., U. Martin, and A. Rice. (2018) Ada Lovelace: The Making of a Computer Scientist<\/i>. Bodleian Library Press.<\/p>

[6] [Lovelace, A. A., trans. and ed.] (1843) Sketch of the Analytical Engine invented by Charles Babbage Esq. By L. F. Menabrea, of Turin, officer of the Military Engineers, with notes upon the memoir by the translator. Taylor\u2019s Scientific Memoirs<\/i> 3, 666\u2013731.<\/p>

[7] Stein, D. (1985) Ada: A Life and a Legacy<\/i>. MIT Press.<\/p>

[8] Toole, B. A. (1992) Ada, the Enchantress of Numbers<\/i>. Strawberry Press.<\/p>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<\/div>\n\t\t","protected":false},"author":6,"template":"","section":[58],"keyword":[199,202,200],"class_list":["post-5376","article","type-article","status-publish","hentry","section-cshpm-notes","keyword-ada-lovelace","keyword-history-of-computing-2","keyword-mathematics-education"],"toolset-meta":{"author-4-info":{"author-4-surname":{"type":"textfield","raw":""},"author-4-given-names":{"type":"textfield","raw":""},"author-4-honorific":{"type":"textfield","raw":""},"author-4-institution":{"type":"textfield","raw":""},"author-4-email":{"type":"email","raw":""},"author-4-cms-role":{"type":"textfield","raw":""}},"author-3-info":{"author-3-surname":{"type":"textfield","raw":""},"author-3-given-names":{"type":"textfield","raw":""},"author-3-honorific":{"type":"textfield","raw":""},"author-3-institution":{"type":"textfield","raw":""},"author-3-email":{"type":"email","raw":""},"author-3-cms-role":{"type":"textfield","raw":""}},"author-2-info":{"author-2-surname":{"type":"textfield","raw":""},"author-2-given-names":{"type":"textfield","raw":""},"author-2-honorific":{"type":"textfield","raw":""},"author-2-institution":{"type":"textfield","raw":""},"author-2-email":{"type":"email","raw":""},"author-2-cms-role":{"type":"textfield","raw":""}},"author-info":{"author-surname":{"type":"textfield","raw":"Rice"},"author-given-names":{"type":"textfield","raw":"Adrian"},"author-honorific":{"type":"textfield","raw":""},"author-email":{"type":"email","raw":"arice4@rmc.edu"},"author-institution":{"type":"textfield","raw":"Randolph-Macon College"},"author-cms-role":{"type":"textfield","raw":""}},"unknown":{"downloadable-pdf":{"type":"file","raw":"https:\/\/notes.math.ca\/wp-content\/uploads\/2020\/07\/Ada-Lovelace_-New-Light-on-Her-Mathematics-CMS-Notes.pdf","attachment_id":5936},"article-toc-weight":{"type":"numeric","raw":"50"},"author-surname":{"type":"textfield","raw":"Rice"},"author-given-names":{"type":"textfield","raw":"Adrian"}}},"_links":{"self":[{"href":"https:\/\/notes.math.ca\/en\/wp-json\/wp\/v2\/article\/5376","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/notes.math.ca\/en\/wp-json\/wp\/v2\/article"}],"about":[{"href":"https:\/\/notes.math.ca\/en\/wp-json\/wp\/v2\/types\/article"}],"author":[{"embeddable":true,"href":"https:\/\/notes.math.ca\/en\/wp-json\/wp\/v2\/users\/6"}],"version-history":[{"count":52,"href":"https:\/\/notes.math.ca\/en\/wp-json\/wp\/v2\/article\/5376\/revisions"}],"predecessor-version":[{"id":5938,"href":"https:\/\/notes.math.ca\/en\/wp-json\/wp\/v2\/article\/5376\/revisions\/5938"}],"wp:attachment":[{"href":"https:\/\/notes.math.ca\/en\/wp-json\/wp\/v2\/media?parent=5376"}],"wp:term":[{"taxonomy":"section","embeddable":true,"href":"https:\/\/notes.math.ca\/en\/wp-json\/wp\/v2\/section?post=5376"},{"taxonomy":"keyword","embeddable":true,"href":"https:\/\/notes.math.ca\/en\/wp-json\/wp\/v2\/keyword?post=5376"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}