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

Вторая причина, по которой Архимед достоин звания волшебника, – метод, при помощи которого он формулировал и доказывал свои выдающиеся геометрические теоремы. До ХХ столетия об этом методе не было известно почти ничего, как и о мыслительном процессе Архимеда в целом. Свои соображения он излагает так сжато, что не оставляет практически никаких зацепок. А затем, в 1906 году, было сделано эпохальное открытие, позволившее разобраться, как был устроен разум этого гения. История открытия так похожа на исторические детективы итальянского писателя Умберто Эко, что я просто обязан вкратце изложить этот сюжет. [28] Чудесное описание истории проекта «Палимпсест» дано в Netz and Noel 2007.

В какой-то момент в Х веке (вероятно, в 975 году) некий безымянный писец переписал в Константинополе (ныне Стамбул) три важнейшие работы Архимеда – «Метод механических теорем», «Стомахион» и «О плавающих телах». Вероятно, это был результат общего интереса к греческой математике, который вспыхнул во многом благодаря византийскому ученому Льву Математику, жившему в IX веке. Однако в 1204 году участники Четвертого крестового похода соблазнились обещаниями награды и разграбили Константинополь. В последующие годы страсть к математике угасла, а раскол между западной католической церковью и восточной православной стал окончательным и бесповоротным. В какой-то момент до 1229 года манускрипт с работами Архимеда подвергся катастрофической переработке: рукопись разделили на отдельные листы пергамента и смыли все написанное, чтобы использовать его для христианской литургической книги. Писец по имени Иоанн Мирон завершил работу над литургической книгой 14 апреля 1229 года (Netz and Noel 2007). К счастью, в результате отмывания оригинальный текст не исчез бесследно. На рис. 12 приведена страница из манускрипта: горизонтальные линии – это текст молитв, а еле заметные вертикальные – математические трактаты Архимеда. К XVII веку палимпсест – переписанный документ – попал каким-то образом в Святую Землю, в монастырь Св. Саввы близ Вифлеема. В начале XIX века в библиотеке монастыря хранилось не меньше тысячи манускриптов. И все же по не вполне понятным причинам палимпсест Архимеда вернули в Константинополь. Затем, в 1840-е годы, подворье Иерусалимского храма Гроба Господня в Константинополе посетил знаменитый немецкий библеист Константин Тишендорф (1815–1874), первооткрыватель одного из самых ранних списков Библии, – и увидел там этот палимпсест. Судя по всему, Тишендофу показалось, что еле заметный математический текст представляет определенный интерес, поскольку он оторвал и выкрал один лист манускрипта. В 1879 году наследники Тишендорфа продали эту страницу библиотеке Кембриджского университета.

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

Рис. 12

Рис. 13

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

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

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

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