Перейти к содержанию

2.4.7 Современники Бэббиджа - Ада Лавлейс и Луиджи Менабреа

Материал из Охота на электроовец: Большая Книга Искусственного Интеллекта
Версия от 22:21, 5 апреля 2025; Andrey Fedichkin (обсуждение | вклад) (Новая страница: «<span id="современники-бэббиджа-ада-лавлейс-и-луиджи-менабреа"></span> 697x363px Рис. 28. Перфокарта для ткацкого станка Жаккара Несмотря на то что правительство Великобритании сочло идею создания аналитической машины недостойной финансирования, сре...»)
(разн.) ← Предыдущая версия | Текущая версия (разн.) | Следующая версия → (разн.)

Рис. 28. Перфокарта для ткацкого станка Жаккара

Несмотря на то что правительство Великобритании сочло идею создания аналитической машины недостойной финансирования, среди современников Бэббиджа нашлись люди, оценившие замысел учёного по достоинству. В сентябре 1840 г. Чарльз Бэббидж прибыл в Турин для участия во Втором конгрессе итальянских учёных. В ходе публичного выступления он рассказал о принципах устройства аналитической машины[1]. Информация об этом визите (помимо воспоминаний самого Бэббиджа) происходит из необычного источника — сообщения секретной полиции о Фортунато Пранди, итальянце, который сопровождал Бэббиджа из Лондона в Турин в качестве переводчика и в котором полицейские подозревали революционного пропагандиста. Благодаря детальным отчётам шпиков мы сегодня можем в деталях восстановить все события итальянской поездки Бэббиджа[2].

В Туринской академии наук (Accademia della Scienze di Torino), куда Бэббиджа пригласил профессор Джованни Плана, сохранились документы, которые Бэббидж привёз с собой в Турин для того, чтобы передать в подарок Плане и его коллегам. Эти документы включают в себя диаграммы, чертежи, лекционные заметки, множество листов с вычислениями, вырезанных аккуратно, по всей видимости, из записных книжек Бэббиджа, а также набор перфокарт, представляющий, судя по всему, первую дошедшую до наших дней компьютерную программу[3].

Рис. 29. Перфокарты Бэббиджа

Во время своего визита Бэббидж не ограничился одной только лекцией, он провёл несколько дней с элитой научно-технического сообщества Турина. В воспоминаниях Бэббидж пишет: «М[истер] Плана планировал изначально делать заметки, чтобы затем выполнить описание принципов устройства машины. Но его собственные трудоёмкие занятия заставили его отказаться от этого плана и передать задачу своему младшему товарищу, м[истеру] Менабреа, который уже зарекомендовал себя в качестве глубокого аналитика»[4].

Луиджи Федерико Менабреа — талантливый инженер и математик, в 26 лет получивший должность профессора механики и строительства в Военной академии, позже он станет влиятельным политиком и займёт пост премьер-министра Италии (1867–1869). Однако вписать своё имя в историю мировой науки ему удастся гораздо раньше: в 1842 г. в 82‑м номере журнала Bibliothèque Universelle de Genève выходит на французском языке его статья «Заметки об аналитической машине Чарльза Бэббиджа» (Notions sur la machine analytique de M. Charles Babbage)[5]. Английский перевод этой статьи появляется годом позже — в третьем номере журнала Scientific Memoirs — с замечаниями и дополнениями переводчика, миссис Августы Ады Кинг, графини Лавлейс[6].

Августа Ада (обычно называемая по своему второму имени — Ада, которое она получила в честь сестры отца) была единственной законной дочерью поэта-романтика лорда Джорджа Гордона Байрона. Она родилась в 1815 г. и воспитывалась матерью — Анной Изабеллой Милбенк, дочерью богатого баронета, внучкой лорда Уэнтворта, которая развелась с мужем в апреле 1816 г. Одним из увлечений Анны была математика, из-за чего Байрон называл её «принцессой параллелограммов» и «математической Медеей». Дочь унаследовала увлечение матери, а также во многом страстную натуру отца, которая, как и в его случае, была источником не только вдохновения, но и серьёзных проблем. Например, увлечение Ады скачками в конце 1840-х гг. стоило ей более 3000 фунтов: в 1851 г. она предприняла попытку создать математическую модель для осуществления крупных ставок, однако потерпела неудачу, приведшую её к многотысячным долгам.

Лавлейс впервые встретилась с Чарльзом Бэббиджем в июне 1833 г. благодаря их общей знакомой — Мэри Сомервилль, популяризатору науки и специалистке в области математики и астрономии. Интересно, что слово «учёный» (scientist) возникло в английском языке именно благодаря Мэри Сомервилль. В 1834 г. Уильям Уэвелл, делавший обзор её книги «Взаимосвязь физических наук» (On the Connection of the Physical Sciences), впервые употребил этот термин, так как в данном контексте man of science звучало бы нелепо. Когда философ и экономист Джон Стюарт Милль организовал массовую петицию за предоставление женщинам избирательных прав, адресованную парламенту Великобритании, именно подпись Сомервилль следовала первой в перечне подписантов.

В конце июня Бэббидж пригласил Аду взглянуть на прототип своей разностной машины. Мисс Байрон была очарована машиной и использовала дружбу с Сомервилль, чтобы посещать Бэббиджа настолько часто, насколько могла. Интеллект и аналитические способности девушки произвели большое впечатление на учёного. Он называл её «чародейкою числа» (Enchantress of Number). В 1843 г. Бэббидж писал ей: «Забудьте об этом мире и всех его проблемах, и, если возможно, его многочисленных шарлатанах — оставайтесь только чародейкою числа»[7], [8].

В своих воспоминаниях жена шотландского математика и логика Огастеса де Моргана писательница и общественный активист София Элизабет де Морган так описывает один из первых визитов Ады к Бэббиджу: «В то время как другие посетители смотрели на работу этого прекрасного инструмента с таким выражением <> которое, говорят, демонстрируют дикари, впервые увидев зеркало или услышав звук ружейного выстрела <> юная мисс Байрон поняла, как работает это изобретение, и увидела его великую красоту»[9], [10].

В 1835 г. Ада Байрон вышла замуж за лорда Уильяма Кинга. Мать Ады была потомком пресекшегося по мужской линии рода баронетов Лавлейс, и в 1838 г. лорд Уильям Кинг становится первым графом Лавлейс и виконтом Окхэм, а сама Ада соответственно превращается из леди Кинг в графиню Лавлейс. У Ады и её мужа было трое детей: Байрон, Анна Изабелла (в будущем известная путешественница леди Энн Блант) и Ральф Гордон. По удачному стечению обстоятельств Ада принадлежала к привилегированным слоям общества, поэтому ни замужество, ни рождение детей не помешало её занятию наукой. Первым воспитателем детей Ады стал Уильям Бенджамин Карпентер — медик, зоолог и физиолог, сыгравший впоследствии немалую роль в становлении Лондонского университета.

К выполненному переводу 25-страничной статьи Менабреа Ада добавляет 41 страницу собственных примечаний, которые включают «диаграмму вычислений машиной чисел Бернулли», из-за чего Аду часто называют автором первой в мире компьютерной программы. Это, конечно, не совсем точно, так как автором первых программ для аналитической машины был, безусловно, сам Бэббидж: в промежуток между 1837 и 1840 г. он написал их несколько десятков[11]. Однако программа Ады была первой опубликованной, так что я думаю, что мы вполне можем признать графиню Лавлейс предтечей движения за открытое программное обеспечение (open source).

В заметках к статье Менабреа Лавлейс подчёркивает разницу между аналитической машиной и предыдущими вычислительными машинами, особенно возможность запрограммировать её для решения задач любой сложности. Она поняла, что потенциал устройства простирается далеко за пределы простого перемалывания чисел: «[Аналитическая машина] могла бы применяться помимо чисел и к другим вещам. Существуют объекты, чьи взаимные фундаментальные отношения могут быть выражены при помощи абстрактной науки об операциях и которые могут быть приспособлены к действию операционной нотации и механизма машины… Предположим, например, что знания о фундаментальных отношениях звуков определённого тона в музыкальной композиции удастся подвергнуть такому описанию и адаптации, в таком случае машина могла бы сочинять тщательно проработанные и научно обоснованные музыкальные произведения любой степени сложности и любого объёма»[12].

Перу Ады принадлежит и более поэтическое высказывание на этот счёт: «Аналитическая машина ткёт алгебраические узоры, подобно тому как станок Жаккара ткёт цветы и листья»[13].

Помимо работы с Бэббиджем, Лавлейс интересуют и другие сферы деятельности и направления в науке. В 1844 г. она сообщила своему другу Воронцову Грейгу о желании создать математическую модель того, как мозг вызывает мысли и чувства (не удивляйтесь: в данном случае Воронцов — это имя, а Грейг — фамилия. Первым мужем Мэри Сомервилль был русский консул в Лондоне капитан Самуил Грейг, в их браке родились двое сыновей, один из которых, Воронцов Грейг, стал впоследствии адвокатом и учёным).

Вот небольшие выдержки из письма Лавлейс: «…У меня есть определённые надежды, что я однажды смогу выразить мозговые явления в виде математических уравнений, кратко говоря — в виде закона или законов взаимных действий молекул мозга (эквивалента закона всемирного тяготения для планет и звёзд).

<>

Я не думаю, что вопросы деятельности мозга при правильном рассмотрении должны быть в меньшей степени подвластны математикам, чем вопросы движений звёзд и планет. Я надеюсь завещать будущим поколениям исчисление нервной системы»[14].

К сожалению, мечтам Ады не суждено было сбыться. В возрасте 37 лет она умирает от рака матки[15].

  1. Sterling B. (2017). Charles Babbage left a computer program in Turin in 1840. Here it is / Wired, 05.14.2017 // https://www.wired.com/beyond-the-beyond/2017/05/charles-babbage-left-computer-program-turin-1840/
  2. Oliveira-Pinto F. (1991). On a Visit by Charles Babbage to Turin in 1840. UC Biblioteca Geral 1 // https://books.google.ru/books?id=h8z2RKVV1B0C
  3. Sterling B. (2017). Charles Babbage left a computer program in Turin in 1840. Here it is / Wired, 05.14.2017 // https://www.wired.com/beyond-the-beyond/2017/05/charles-babbage-left-computer-program-turin-1840/
  4. Babbage C. (1864). Passages from the Life of a Philosopher. Longman, Green, Longman, Roberts & Green // https://archive.org/details/passagesfromlif01babbgoog/page/n150
  5. Menabrea L. F. (1842) Notions sur la machine analytique de M. Charles Babbage / Bibliothèque Universelle de Genève, Nouvelle série 41, pp. 352–376 // http://www.bibnum.education.fr/sites/default/files/babage-menabrea-texte-final.pdf
  6. Menabrea L. F., Babbage C., Lovelace A. K. C., L A. A. (1843). Sketch of the Analytical Engine invented by Charles Babbage … with notes by the translator. Extracted from the 'Scientific Memoirs,' etc. [The translator's notes signed: A.L.L. ie. Augusta Ada King, Countess Lovelace.]. R. & J. E. Taylor // https://books.google.ru/books?id=hPRmnQEACAAJ
  7. Wolfram S. (2015). Untangling the Tale of Ada Lovelace / Stephen Wolfram Writings // https://writings.stephenwolfram.com/2015/12/untangling-the-tale-of-ada-lovelace/
  8. Chiaverini J. (2017). Enchantress of Numbers: A Novel of Ada Lovelace. Penguin Publishing Group // https://books.google.ru/books?id=r5BTDgAAQBAJ
  9. Misa T. J. (2015). Charles Babbage, Ada Lovelace, and the Bernoulli Numbers / Hammerman R., Russell A. L. (2015). Ada's Legacy: Cultures of Computing from the Victorian to the Digital Age. Association for Computing Machinery and Morgan & Claypool // https://doi.org/10.1145/2809523.2809527
  10. De Morgan S. E., De Morgan A. (2010). Memoir of Augustus De Morgan: With Selections from His Letters. Cambridge University Press // https://books.google.ru/books?id=QsaQb6r3dwMC
  11. Bromley A. G. (1982). Charles Babbage's Analytical Engine, 1838 / IEEE Annals of the History of Computing, Vol. 4, Iss. 3, pp. 197–217 // https://doi.org/10.1109/mahc.1982.10028
  12. Menabrea L. F., Babbage C., Lovelace A. K. C., L A. A. (1843). Sketch of the Analytical Engine invented by Charles Babbage … with notes by the translator. Extracted from the 'Scientific Memoirs,' etc. [The translator's notes signed: A.L.L. ie. Augusta Ada King, Countess Lovelace.]. R. & J. E. Taylor // https://books.google.ru/books?id=hPRmnQEACAAJ
  13. Collier B., MacLachlan J. (2000). Charles Babbage: And the Engines of Perfection. Oxford University Press // https://books.google.ru/books?id=-vzMEwf-bHEC
  14. Toole B. A. (2010). Ada, the Enchantress of Numbers: Poetical Science. Critical Connection // https://books.google.ru/books?id=eWBpjlLMdQ4C
  15. Stein D. (1985), Ada: A Life and a Legacy, MIT Press Series in the History of Computing, Cambridge, MA: The MIT Press // https://monoskop.org/images/e/e7/Stein_Dorothy_Ada_A_Life_and_a_Legacy.pdf