В 20 лет Ада вышла замуж за 29-летнего барона Уильяма Кинга, который вскоре унаследовал титул лорда Лавлейса. Уильям искренне любил жену, с пониманием относился к ее увлечению математикой и не препятствовал научным изысканиям. Так что Ада была счастлива в браке, а трое детей лишь дополнили семейную идиллию.
В 1842-м Чарльз Бэббидж выступил в Туринском университете с докладом о своей аналитической машине. Лекция была записана юным итальянским инженером (и будущим премьер-министром Италии) Л. Менабреа на французском языке. Бэббидж обратился к Аде с просьбой перевести записи на английский, сопроводив текст комментариями. Ада подошла к делу чрезвычайно серьезно: потратив на работу больше года, она подготовила перевод с обширными комментариями на 52 страницы — по сути, самостоятельный научный трактат. Работа вышла за подписью ААЛ. Дело в том, что для тогдашних британок высшего света считалось непристойным публиковать научные труды под собственным именем.
Накануне публикации Ада написала Бэббиджу: «Я хочу вставить в одно из моих примечаний кое-что о числах Бернулли — в качестве примера того, как неявная функция может быть вычислена машиной без предварительного решения с помощью головы и рук человека». Речь шла о последовательности рациональных чисел, найденной Я. Бернулли в связи с вычислением суммы последовательности натуральных чисел, возведенных в одну и ту же степень; все нечетные числа этого ряда равны нулю, а знаки четных чередуются.
«Кое-что» оказалось гениальным предвидением будущего. Введя в оборот термины «цикл», «рабочая ячейка» и «распределяющая карта», Ада описала основные принципы алгоритмизации и разработала алгоритм вычисления чисел Бернулли на аналитической машине (сегодня этот алгоритм считается первой компьютерной программой). Она объяснила, как используются перфокарты для управления машиной, как проводятся отдельные виды вычислений с «операционными картами», определяющими последовательность операций, и с «картами переменных», которые задают значения.
«Аналитическая машина плетет алгебраические узоры — подобно Жаккардовому ткацкому станку, плетущему цветы и листья», — поясняла Ада. Рассуждая о циклах, циклах циклов и т. д. (известных сейчас как циклы и вложенные циклы), она представила, что «существует некий тканый портрет Жаккарда, для производства которого потребовалось 24 тыс. карт», и предложила использовать циклы для уменьшения числа карт. Дескать, только так можно переупорядочить операции и оптимизировать их исполнение, чтобы в итоге всего с тремя картами сделать то, на что без циклов потребовалось бы 330.
«Аналитическая машина не может создавать что-то новое… Ее цель — помогать нам в осуществлении того, с чем мы уже хорошо знакомы», — писала Ада, подчеркивая, что аналитическая машина способна производить такие точные и сложные вычисления, о каких раньше никто и не помышлял. Например, расчет коэффициентов возмущений Луны (т. е. отклонений Луны от орбитальной траектории). Кроме того, Ада предвидела, что представление «фактов и формул анализа» в форме, пригодной для машины, «обнаружит многие области знаний в новом свете, делая их более глубоко проработанными».
«Суть и предназначение машины будут меняться: в зависимости от того, какую информацию мы в нее вложим. Машина сможет писать музыку, рисовать картины и покажет науке такие пути, какие нам и не снились», — писала Лавлейс. И прибавляла: если бы «фундаментальные взаимосвязи между звуками в науке о гармонии поддавались воздействию абстрактных операций, то машина могла бы использовать их для написания научным методом музыкальных произведений любой сложности».
Смысл этих слов понял лишь Чарльз Бэббидж. То, что Лавлейс силой своей научной мысли заглянула в будущее значительно дальше, нежели создатель «Большой разностной машины», станет ясно только через полтора столетия. В 1975 г., когда Министерство обороны США начало разработку универсального языка программирования и встал вопрос о названии нового проекта, глава ведомства без колебаний дал ему имя «Ада». А сама Лавлейс получила титул Матери Программирования.
Жизнь Ады Лавлейс оказалась короткой. Она скончалась 27 ноября 1852 года в возрасте 36 лет.
Жан Фуко
Гениальный физик, который доказал, что Земля вращается вокруг своей оси, родился 18 сентября 1819 г. в Париже, в семье известного книгоиздателя. Учиться маленький Жан Бернар Леон не любил, однако уже в детстве проявлял незаурядные способности. С минимальным набором инструментов он мог сконструировать телеграф, собрать паровую машину и прочие технические игрушки, а также мастерски управлялся с токарным станком. Последний и определил его судьбу. Однажды Жан заметил: если зажать в патроне станка длинный упругий прут и заставить его колебаться, то плоскость движения даже при очень высокой скорости не изменится. Данное явление заинтересовало Жана, и для удобства он решил заменить прут маятником. Это и было первым шагом к доказательству вращения Земли.