Марио Ливио - Был ли Бог математиком? Галопом по божественной Вселенной с калькулятором, штангенциркулем и таблицами Брадиса

В 1899 году греческий ученый А. Пападопулос-Керамеус составил каталог всех манускриптов, хранившихся в подворье, и рукопись Архимеда значится в его каталоге как Ms. 355. Пападопулос-Керамеус сумел прочитать несколько строчек математического текста и привел их в каталоге, понимая, вероятно, что это может быть очень важное открытие. Это был поворотный момент в саге о манускрипте. Математический текст в каталоге привлек внимание датского филолога Йохана Людвига Гейберга (1854–1928). Гейберг понял, что текст принадлежит Архимеду, и в 1906 году приехал в Стамбул, изучил и сфотографировал палимпсест, а год спустя объявил о сенсационном открытии: в рукописи содержались два неизвестных ранее трактата Архимеда и один дошедший до нас лишь в латинском переводе. Но хотя Гейберг сумел прочитать и впоследствии опубликовал отрывки из манускрипта в своей книге о трудах Архимеда, остались большие пробелы. К несчастью, в какой-то момент после 1908 года манускрипт исчез из Стамбула при загадочных обстоятельствах – а когда всплыл снова, оказалось, что им владеет некое парижское семейство, которое утверждает, что приобрело его еще в 20-е годы. Палимпсест хранили в неподходящих условиях, и он был местами непоправимо поврежден плесенью, а три страницы, которые ранее перевел Гейберг, и вовсе пропали. Мало того, после 1929 года кто-то нарисовал на четырех страницах четыре миниатюры в византийском стиле. Впоследствии это французское семейство продало манускрипт владельцам аукциона «Кристи». Вопрос о праве собственности на манускрипт разбирался в 1998 году в нью-йоркском суде. Греческий православный патриархат Иерусалима заявил, что рукопись в 20-е годы похитили из одного из его монастырей, однако судья вынесла решение в пользу аукциона «Кристи». Вскоре после этого, 29 октября 1998 года, манускрипт был продан на аукционе «Кристи»; покупатель, пожелавший остаться неизвестным, заплатил за него 2 миллиона долларов. Новый владелец поместил манускрипт в Художественный музей Уолтерса в Балтиморе, где рукопись подвергли интенсивной консервации и тщательному исследованию. В арсенале современных ученых появились инструменты по распознаванию изображений, недоступные исследователям прошлого.

Рис. 12

Рис. 13

Ультрафиолетовый свет, многозональная съемка и даже направленные рентгеновские лучи (ими манускрипт облучали на Стэнфордском линейном ускорителе) уже позволили расшифровать части рукописи, которые раньше были не видны. Сейчас, когда я пишу эти строки, тщательное научное изучение рукописи Архимеда идет полным ходом. Мне выпала честь познакомиться с группой криминалистов, которые изучают палимпсест, и на рис. 13 я стою рядом с экспериментальной установкой, в которой каждую страницу палимпсеста облучают в разных диапазонах. [29] Уилл Ноэл, директор проекта, устроил мне встречу с Уильямом Кристенсом-Барри, Роджером Истоном и Кейт Нокс. Эта группа разработала узкополосную систему построения изображений и придумала алгоритм, при помощи которого можно хотя бы отчасти выявлять текст. Методы обработки изображений разрабатывали также Анна Тонаццини, Луиджи Бедини и Эмануэле Салерно.

Драма вокруг палимпсеста по своим масштабам вполне соответствует значению документа, который наконец-то позволил нам изучить научный метод великого геометра.

Когда читаешь любой древнегреческий геометрический трактат, невольно восхищаешься лаконичностью стиля и точностью формулировок и доказательств теорем, которым уже более двух тысяч лет.

Но чего в этих книгах точно не найдешь – это объяснений, каким образом эти теоремы пришли в голову автору. Выдающийся трактат Архимеда «Метод механических теорем» заполняет этот загадочный пробел – там рассказано, как сам Архимед убеждался в истинности некоторых теорем еще до того, как придумывал, как их доказать. Приведу отрывок из его послания математику Эратосфену Киренскому (ок. 276–194 гг. до н. э.) во введении к трактату (Dijksterhuis 1957).

В этой книге я шлю тебе доказательства этих теорем. Поскольку, как я уже упоминал, я знаю, что ты человек усердный, прекрасный учитель философии и очень интересуешься любыми математическими исследованиями, какие только ни попадутся тебе, я решил, что будет полезно описать и передать тебе в этой же книге некий особый метод, который даст тебе возможность ставить определенные математические вопросы при помощи механики (курсив мой. – М. Л .). Я уверен, что этот же метод не менее полезен при поиске доказательств тех же теорем. В некоторых случаях мне сначала становилось понятно, что происходит, благодаря механическому методу, а затем уже это было доказано геометрически, поскольку изучение этих случаев вышеуказанным методом не позволяет вывести настоящее доказательство. Ведь гораздо проще предоставить доказательство, когда мы уже получили определенные знания посредством указанного метода, чем найти его безо всяких знаний.