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

Марков Сергей Николаевич

Первым коммерчески успешным механическим вычислительным устройством стал арифмометр, созданный в 1820 г. французским предпринимателем Шарлем де Кольмаром [162] . Арифмометр был прямым наследником счётной машины Лейбница, конструкция которой, в свою очередь, представляла собой расширенную и усовершенствованную версию паскалины [163] .

2.4 Машины Бэббиджа

В отличие от всего остального в «Гаррике», установленная на четырёх брусках красного дерева вычислительная машина выглядела вполне прилично. Пол и потолок над и под ней были аккуратно выскоблены и побелены. Паровой вычислитель — штука тонкая, с характером, если ты не намерен его холить, уж лучше вообще не покупай. В отсветах калильной лампы причудливой колоннадой тускло поблескивали латунные, усеянные круглыми выступами цилиндры, многие десятки цилиндров. Снизу и сверху их удерживали массивные, тщательно отполированные стальные пластины, вокруг сверкали десятки рычагов и храповиков, тысячи стальных шестерёнок. От машины пахло льняным маслом.

Сверкающий, непостижимый механизм завораживал Сибил, вызывал у неё странное, сродни голоду или алчности, чувство. Так можно относиться… ну, скажем, к красивой породистой лошади. Ей хотелось иметь… нет, не обязательно саму эту вещь, но какую-нибудь над ней власть.

Уильям Гибсон, Брюс Стерлинг. Машина

различий

162

Dalakov G. The arithmometer of Thomas de Colmar / History of Computers: hardware, software, internet… // http://history-computer.com/MechanicalCalculators/19thCentury/Colmar.html

163

Leibniz Invents the Stepped Drum Gear Calculator / Jeremy Norman's HistoryOfInformation.com // http://www.historyofinformation.com/expanded.php?id=453

2.4.1 Юность Бэббиджа. Проект де Прони как источник вдохновения

Чарльз Бэббидж родился в Лондоне в 1791 г. в семье банкира Бенджамина Бэббиджа и его жены Элизабет Бэббидж (Тип). Два маленьких брата Бэббиджа, родившиеся в 1794 и 1796 гг., умерли во младенчестве, и только сестра, Мэри Энн, родившаяся в 1798 г., выжила и даже смогла пережить Чарльза [164] . Своё образование Бэббидж начал в возрасте восьми лет в частной школе в Альфингтоне, однако здоровье мальчика было слабым, и учебную нагрузку старались ограничивать [165] . После начальной школы Чарльз поступает в среднюю школу преподобного Стивена Фримена, также известную под названием «Холмвуд» или «Академия Холмвуда». Это было небольшое учебное заведение на 30 учеников, расположенное в красном кирпичном здании в верхней части Бейкер-стрит в Энфилде (не путать с одноимённой улицей в районе Мэрилебон, на которой сэр Артур Конан Дойл разместил обиталище Шерлока Холмса) [166] .

164

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

165

Dubbey J. M., Dubbey J. M. (2004). The Mathematical Work of Charles Babbage. Cambridge University Press // https://books.google.ru/books?id=gkWunaISTsgC

166

LMA/4050. REVEREND STEPHEN FREEMAN'S SCHOOL PONDERS END / London Metropolitan Archives: City of London // http://discovery.nationalarchives.gov.uk/details/r/db8b56cf-ea51-4c0b-ad46-320a2391d714

Найденная в школьной библиотеке книга Джона Уорда «Путеводитель молодого математика» (Ward’s Young Mathematician’s Guide) произвела особенно сильное впечатление на юного Бэббиджа. Его интерес к математике был очевиден и зашёл так далеко, что вместе с одним из однокашников Чарльз занимался ею самостоятельно перед началом школьных уроков. Позднее он продолжил занятия под руководством священника-тьютора недалеко от Кембриджа. Эти занятия продолжались в течение нескольких лет, и, наконец, перед поступлением в Кембриджский университет Бэббидж провёл некоторое время в Тотнесе, где занимался классическими языками под руководством оксфордского наставника. Будучи страстно увлечённым алгеброй, он проводил досуг, изучая все математические работы, которые попадали в его руки. К тому времени, когда Чарльз отправился в Кембридж, он уже был вполне сформировавшимся математиком, знакомым с «Принципами аналитических вычислений» Роберта Вудхауза [167] , «Теорией аналитических функций» Жозефа Луи Лагранжа [168] , «Основами анализа» Марии Гаэтаны Аньези [169] и другими работами по исчислению «флюксий» (устаревшее название производных).

167

Woodhouse R. (1803). The Principles of Analytical Calculation. Cambridge University Press // https://books.google.ru/books?id=rEbnAAAAMAAJ

168

Lagrange J. L. (1797). Theorie des fonctions analytiques. Imprimerie de la Republique.

169

Agnesi M. G. (1748). Instituzioni analitiche: ad uso della gioventu' italiana. Nella Regia Ducal Corte // https://books.google.it/books?id=a7znPR4b4XkC

В апреле 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 = x³. Давайте посмотрим, как начинается этот ряд: при x, начинающемся с нуля, y принимает последовательно следующие значения: 0³ = 0, 1³ = 1, 2³ = = 8, 3³ = 27, 4³ = 64, 5³ = 125 и так далее.

176

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

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

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

<