Страница 15 из 18
Палимпсест Архимеда
В какой-то момент в Х веке (вероятно, в 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).
В этой книге я шлю тебе доказательства этих теорем. Поскольку, как я уже упоминал, я знаю, что ты человек усердный, прекрасный учитель философии и очень интересуешься любыми математическими исследованиями, какие только ни попадутся тебе, я решил, что будет полезно описать и передать тебе в этой же книге некий особый метод, который даст тебе возможность ставить определенные математические вопросы при помощи механики (курсив мой. – М. Л.). Я уверен, что этот же метод не менее полезен при поиске доказательств тех же теорем. В некоторых случаях мне сначала становилось понятно, что происходит, благодаря механическому методу, а затем уже это было доказано геометрически, поскольку изучение этих случаев вышеуказанным методом не позволяет вывести настоящее доказательство. Ведь гораздо проще предоставить доказательство, когда мы уже получили определенные знания посредством указанного метода, чем найти его безо всяких знаний.
Архимед затрагивает здесь один из важнейших принципов научного и математического исследования в целом: зачастую гораздо труднее формулировать вопросы и теоремы, которые стоит исследовать, чем искать ответы на известные вопросы и доказательства известных теорем. Так как же Архимед находил новые теоремы? Опираясь на тончайшее понимание механики, равновесия и принципов рычага, он мысленно взвешивал тела и фигуры, чьи площади и объемы пытался найти, и сравнивал их вес с весом уже известных тел и фигур. А когда ему удавалось таким образом найти неизвестную площадь или объем, было уже гораздо легче геометрически доказать истинность ответа. Именно поэтому «Метод» начинается с ряда утверждений относительно центров тяжести и лишь затем переходит к геометрическим предположениям и их доказательствам.
Метод Архимеда не имеет себе равных по двум причинам. Во-первых, Архимед, в сущности, ввел понятие мысленного эксперимента в строгих научных исследованиях. Название этому инструменту, воображаемому опыту, проводимому вместо реального, – Gedankenexperiment, то есть «опыт, производимый в мыслях» (нем.) – дал физик Ханс Кристиан Эрстед, живший в XIX веке. В физике, где эта идея оказалась крайне плодотворной, мысленные эксперименты применяются либо для того, чтобы обеспечить понимание процессов еще до экспериментов реальных, либо в случаях, когда реальные эксперименты невозможны. Во-вторых – и это самое главное – Архимед освободил математику от несколько искусственных ограничений, которые наложили на нее Евклид и Платон. По мнению этих ученых мужей, математикой можно заниматься одним и только одним способом. Надо начинать с аксиом, а затем выстраивать несокрушимую последовательность логических шагов при помощи строго определенных инструментов. Однако вольнолюбивый Архимед решил для постановки и решения новых задач задействовать весь мыслимый арсенал. И не остановился перед тем, чтобы ради развития математики изучать и использовать связи между абстрактными математическими объектами (платоновскими формами) и физической реальностью (реальными телами или плоскими фигурами). И последний пример, подкрепляющий статус Архимеда-волшебника, – его предсказание интегрального и дифференциального исчисления, отрасли математики, которую формально разработал Ньютон (и независимо от него немецкий математик Лейбниц) лишь к концу XVII века[30]
29
Уилл Ноэл, директор проекта, устроил мне встречу с Уильямом Кристенсом-Барри, Роджером Истоном и Кейт Нокс. Эта группа разработала узкополосную систему построения изображений и придумала алгоритм, при помощи которого можно хотя бы отчасти выявлять текст. Методы обработки изображений разрабатывали также Анна Тонаццини, Луиджи Бедини и Эмануэле Салерно.
30
Прекрасный рассказ об истории и значении интегрального и дифференциального исчисления см. у Berlinski 1996.