ЖАНРЫ

Охота на электроовец. Большая книга искусственного интеллекта
Шрифт:

В апреле 1810 г. Бэббидж поступает в кембриджский Тринити-колледж, а спустя два года переходит в колледж Питерхаус. Здесь он активно включается в полную энергией студенческую жизнь: играет в шахматы, участвует в ночных шестипенсовых играх в вист, периодически пропускает лекции и церковные службы ради прогулок по реке с друзьями. В Кембридже Бэббидж знакомится с сыном знаменитого астронома Уильяма Гершеля Джоном, который поступил в Колледж Святого Иоанна в 1809 г., и вскоре они становятся близкими друзьями. Бэббидж придерживался радикальных взглядов: он восхищался наполеоновской Францией (с которой Британия находилась в состоянии войны), осуждал догматизм, проявлявшийся в подчинении университетской жизни религиозным принципам, сетовал на отсутствие восприимчивости к континентальным теориям в области математики. Чарльза расстраивало, что университетская программа мало прибавляет к имевшимся у него знаниям в области математики, поэтому в своём образовании он больше опирался на программу самостоятельного обучения, основой которой стало изучение трудов иностранных математиков.

Вместе с Джоном Гершелем и Джорджем Пикоком (в будущем — известным математиком) Бэббидж переводит на английский язык «Трактат по дифференциальному и интегральному исчислению» (Traite du calcul differentiel et integral) Сильвестра Лакруа и отстаивает превосходство нотации дифференцирования Лейбница (

\frac{dx}{dt}
) перед ньютоновской (
\dot{x}
), в то время считавшейся в Англии своеобразной научной святыней.

Бэббидж был звездой Питерхауса, однако в 1814 г. получил диплом бакалавра без отличия (Poll degree), а в 1817-м — степень магистра искусств (Master of Arts): в ходе публичных диспутов, являвшихся частью предварительного отбора для получения диплома с отличием, Бэббидж отстаивал утверждение о том, что бог является материальным агентом. Ведущий диспута преподобный Томас Джефсон объявил это суждение богохульным и отверг кандидатуру Бэббиджа [170] . Не до конца ясно, был ли в результате Бэббидж не допущен к экзамену на степень с отличием или же сам не захотел принимать в нём участие, однако считается, что именно этот эпизод привёл Чарльза к разочарованию в кембриджском сообществе и уходу из университета. Впрочем, позже Бэббидж с теплотой вспоминал годы, проведённые в Кембридже [171] .

170

Hay D. C. (2002). Charles Babbage / Business Rules Journal Vol. 3, No. 2, Feb // http://www.brcommunity.com/a2002/b096.html

171

Swade D. Babbage, Charles / Oxford Dictionary of National Biography // https://doi.org/10.1093/ref:odnb/962

Трагикомической подробностью биографии обидчика Бэббиджа стало то, что в 1823 г. святоша предстал перед судом по обвинению в содомии, и лишь высокий социальный статус позволил ему избежать сурового наказания [172] , [173] .

В 1816 г. Бэббидж был избран членом Лондонского королевского общества, а в 1820-м — членом Королевского общества Эдинбурга. Он участвовал в создании Королевского астрономического общества в 1820 г. и занимал посты секретаря (1820–1824), а затем — вице-президента, иностранного секретаря и члена совета. Немногое известно о семейной жизни Бэббиджа. Он женился на Джорджине Уитмор в 1814 г., и у них было восемь детей, четверо из которых умерли в детстве. 1827 год стал трагическим годом для Бэббиджа: он потерял отца, жену и двоих детей, его собственное здоровье было серьёзно подорвано. После смерти Джорджины Бэббидж более не вступал в брак [174] .

172

Henry F. H. I. (2019). Love, Sex, and the Noose: The Emotions of Sodomy in 18thCentury England / Electronic Thesis and Dissertation Repository, 6736 // https://ir.lib.uwo.ca/etd/6736

173

A Report of the Trial of the Reverend Thomas Jephson, for a Misdemeanor, at the Cambridge Summer Assizes, 1823, on Wednesday, July 23, Before Mr. Serjeant Bosanquet, and a Common Jury (1823) // https://books.google.ru/books?id=gZPfdOebxO0C

174

Simister L. (2015). Charles Babbage from the Beginning. Lulu.com // https://books.google.ru/books?id=YqJmCgAAQBAJ

В 1819 г. Бэббидж впервые посетил Париж, где познакомился с несколькими ведущими членами Французской академии наук, в том числе с математиками Пьером-Симоном Лапласом и Жозефом Фурье, с которыми его связала крепкая дружба. По всей видимости, именно во время этого визита Бэббидж узнал о великом французском проекте по созданию логарифмических и тригонометрических таблиц, организованном бароном Гаспаром де Прони, и именно этот проект вдохновил Бэббиджа на дело всей его жизни.

Де Прони начал свой проект в 1790 г., вскоре после Французской революции. Новое правительство планировало реформировать многие из древних институтов Франции и, в частности, создать справедливую систему налогообложения имущества. Для этого были необходимы современные карты Франции, создание которых было поручено де Прони, назначенному главой Кадастрового бюро Франции. Его задача была усложнена тем, что правительство одновременно решило заменить старую королевскую систему мер и весов путём введения новой метрической системы. Это потребовало от Бюро создания полного набора тригонометрических и логарифмических таблиц для французского кадастра. На тот момент это был самый крупный проект по изготовлению таблиц, который когда-либо знал мир, и де Прони решил положить в его основу принципы фабричного производства. Он принял за основу самый известный экономический текст своего времени — «Богатство народов» Адама Смита, опубликованный в 1776 г. В нём Смит отстаивал принцип разделения труда, который проиллюстрировал на примере производства булавок. Смит демонстрировал, что создание булавки можно разделить на несколько отдельных операций: нарезку проволоки на части, формирование головки булавки, заточку, полировку, упаковку и так далее. Специализация каждого работника на какой-либо одной операции приводила к росту производительности труда по сравнению с ситуацией, когда один человек выполнял все операции сразу.

Де Прони решил применить тот же метод в стоящей перед ним задаче — то есть в некотором смысле организовать производство логарифмов на тех же принципах, на которых было основано производство булавок. Де Прони разделил свою «фабрику по производству таблиц» на три отдела: первый состоял из нескольких выдающихся математиков, в число которых входили Адриен Мари Лежандр и Лазар Карно. В задачи этого отдела входил выбор математических формул для расчётов. Им подчинялся небольшой второй отдел, включавший контролёров, своеобразных «менеджеров среднего звена», которые организовали вычисления и занимались сведением результатов, подготавливая их к печати. И наконец, третий и самый большой отдел состоял из 60–80 людей-вычислителей. Вычислители использовали в своей работе «метод разделённых разностей», основанный на выполнении всего лишь двух основных операций: сложения и вычитания, что не требовало от них ни специальных математических знаний, ни высокой квалификации. По большей мере вычислители были бывшими парикмахерами, потерявшими работу из-за того, что причёски аристократии стали одним из самых ненавистных символов старого режима [175] .

175

Campbell-Kelly M., Aspray W., Ensmenger N., Yost J. R. (2013). Computer: A History of the Information Machine. Avalon Publishing // https://books.google.ru/books?id=0MZVDgAAQBAJ

Понять принцип метода разделённых разностей несложно, это вам не бином Ньютона… Хотя подождите, упс… На самом деле это он самый и есть, а точнее — это метод, при помощи которого можно находить коэффициенты ньютоновского интерполяционного полинома. Как самостоятельный подход метод разностей оформился в работах Брука Тейлора, но в его основе лежали ранее известные закономерности. Мы, впрочем, не будем здесь погружаться в пучины математики и даже спорить о том, кому в данном случае принадлежит приоритет в изобретении этого метода — Бруку Тейлору, Исааку Ньютону или Блезу Паскалю [176] . Ограничимся небольшим примером. Предположим, что мы хотим рассчитать последовательные значения функции y = x3. Давайте посмотрим, как начинается этот ряд: при x, начинающемся с нуля, y принимает последовательно следующие значения: 03 = 0, 13 = 1, 23 = = 8, 33 = 27, 43 = 64, 53 = 125 и так далее.

176

Руденко Б. (2008). Бином Ньютона и треугольник Паскаля / Наука и жизнь. №4 // https://www.nkj.ru/archive/articles/13598/

Теперь посчитаем разности между соседними числами в этой последовательности (так называемые разности первого порядка).

Теперь по аналогии рассчитаем разности второго порядка, находя разности между соседними числами в полученной нами на прошлом шаге последовательности разностей первого порядка.

Теперь вычислим разности третьего порядка.

Мы видим, что разности третьего порядка постоянны. Как бы долго мы ни продолжали исходную последовательность, в данном случае разности третьего порядка будут неизменно представлять собой шестёрки. Если бы исходный многочлен имел степень 4, например y = x4 или y = 2x4 + 3x2 + 5x + 1, то нам пришлось бы использовать уже четыре порядка разностей, и в четвёртом порядке мы снова получили бы неизменные значения. Используя эту закономерность, несложно теперь продолжить исходную последовательность. Поскольку четвёртой разностью третьего порядка у нас будет всё та же шестёрка, мы можем вычислить пятую разность второго порядка: 24 + 6 = 30. Теперь шестую разность первого порядка: 61 + 30 = 91 и, наконец, седьмой элемент исходной последовательности: 125 + 91 = 216. И действительно, 63 = 216.

Расчёты в рамках проекта де Прони заняли около десятилетия, в 1801 г. таблицы были готовы к печати, однако их изданию помешала череда финансовых и политических кризисов, в которую погрузилась Франция начала XIX в. Необходимая для печати сумма средств так никогда и не была найдена, и единственным результатом проекта, доступным Бэббиджу в 1819 г., стала рукописная версия таблиц, хранившаяся в библиотеке Французской академии наук.

2.4.2 Доработка таблиц «Морского альманаха». Первая модель разностной машины

В 1820 г., вернувшись в Англию, Бэббидж вместе с Джоном Гершелем становятся участниками собственного проекта, связанного с табличными расчётами. Только что основанное Астрономическое общество поручает им заняться улучшением астрономических таблиц «Морского альманаха» (The Nautical Almanac). Это издание вело свою историю с 1766 г., когда британское правительство поручило его ежегодный выпуск королевскому астроному Нэвилу Маскелайну. Маскелайн неслучайно стал руководителем одного из первых в мире постоянных проектов по подготовке математических таблиц [177] (первым подобным проектом был всё же французский ежегодник «Знание времени или движение звёзд» (Connaissance des Temps ou des mouvements celestes)) [178] . Именно он был одним из авторов «метода лунных расстояний» (Маскелайн основывался на работах, прежде всего, Тобиаса Майера, уже упоминавшегося в этой книге Жан-Батиста Морена, а также, по всей видимости, Никола Луи де Лакайля и Жозефа Жерома Лефрансуа де Лаланда [179] ), позволяющего вычислять гринвичское время на основании измерения угла между Луной и другими небесными телами. Зная гринвичское время, можно затем достаточно точно определить географическую долготу без использования спутников GPS или ГЛОНАСС, которые в конце XVIII в. ещё не были запущены на орбиту [180] .

177

Computing the Nautical Almanac, Called the "Seaman's Bible" / Jeremy Norman's HistoryOfInformation.com // http://www.historyofinformation.com/expanded.php?id=485

178

May W. E., Jones S. S. D., Howard J. L., Logsdon T. S., Anderson E. W., Richey M. W. Navigation | technology / Encyclopaedia Britannica // https://www.britannica.com/technology/navigation-technology#ref363598

179

Higgitt R., Dunn R., Jones P. (2016). Navigational Enterprises in Europe and its Empires, 1730—1850. Palgrave Macmillan UK // https://books.google.ru/books?id=K8ObCwAAQBAJ

180

Parkinson B. W., Stansell T., Beard R., Gromov K. (1995). A History of Satellite Navigation / Navigation, Vol. 42, pp. 109–164 // https://onlinelibrary.wiley.com/doi/abs/10.1002/j.2161-4296.1995.tb02333.x

Конечно, гринвичское время можно было узнать при помощи корабельного хронометра, однако такие устройства в конце XVIII — начале XIX в. только начинали входить в обиход и были ещё слишком дороги или недостаточно точны: механические часы трудно сделать точными в условиях морской качки. Во многом благодаря литературному таланту писательницы Давы Собел с её монументальным бестселлером «Долгота» (а затем и одноимённому телесериалу) сформировался образ Маскелайна-злодея, антагониста Джона Гаррисона — гениального изобретателя первого морского хронометра, позволившего определять долготу на корабле в море с точностью до 1°. Однако действительность была куда более прозаичной — «Морской альманах» и метод лунных расстояний вплоть до второй половины XIX в. оставались более практичной и дешёвой альтернативой дорогим и капризным механическим устройствам [181] . Прозванный «Библией моряка» [182] альманах Маскелайна сделал навигацию гораздо точнее, однако точность таблиц, публиковавшихся в нём, часто оставляла желать лучшего: она сильно зависела от аккуратности вычислений, выполняемых вручную людьми, к тому же разделёнными географически.

181

Stephanie P. (2011). Into the breeches: A makeover for Longitude’s villain / New Scientist, Iss. 2814, published 28 May // https://www.newscientist.com/article/mg21028141-500-into-the-breeches-a-makeover-for-longitudes-villain/

182

Computing the Nautical Almanac, Called the "Seaman's Bible" / Jeremy Norman's HistoryOfInformation.com // http://www.historyofinformation.com/expanded.php?id=485

Поделиться с друзьями: