Наука, философия и религия в раннем пифагореизме
Шрифт:
По поводу сообщения Демокрита можно предположить, что во время поездки в Египет он в самом деле пытался доказывать гарпе-донаптам какие-то теоремы, действуя через местных переводчиков, знавших греческий. Означает ли это, что и они, в свою очередь, доказывали ему теоремы? Сам термин гарпедонапты (землемеры) указывает на сугубо практический характер занятий, для которых доказательство теорем было вещью явно бесполезной. [528] Едва ли можно сомневаться в том, что эта попытка установления прямых «научных контактов» окончилась безрезультатно для той и другой стороны.
528
Gands S. Die Harpedonapten oder Sielspanner und Sielknupfer, Q&S 1 (1930) 255-277; Vogel. Op.cit. I, 59 n. 4.
Если в подтверждение тезиса о египетском влиянии можно привести как данные античной традиции, так и факты реальных контактов, пусть даже и крайне незначительные, то в случае с Вавилоном мы не располагаем даже этим. В греческой литературе VI-IV вв. нет ни одного упоминания о вавилонской математике, трудно даже сказать, знали ли о ней вообще. Из области элементарной математики
529
О некоторых следах влияния на астрономию см. ниже IV,4.1.
530
Первое упоминание о заимствовании Пифагора из математики Вавилона мы находим у Ямвлиха (In Nicom. 118.23 f), который писал, что философ вывез оттуда «музыкальную пропорцию», т. е. 12:9 = 8:6. Между тем у вавилонян не было даже понятия пропорции: Becker О. Fruhgriechische Mathematik und Musiklehre, AfM 14 (1957) 156-164.
531
Neugebauer. ES, 147.
Исследуя II книгу Евклида, трактующую так называемое приложение площадей, [532] математики еще в XVIII в. обнаружили, что ее предложения могут быть переформулированы алгебраически, в виде тождеств и квадратных уравнений. Например, предложение 11,2 можно рассматривать как тождество (а + b)с = ас + bc, а приложение площади с недостатком означает построение на данном отрезке а такого прямоугольника ах, что при отнятии от него квадрата х2 получается данный квадрат b2 (в алгебраической интерпретации ах - x2 = b2). Со времени Цейтена теоремы II книги и сходные с ними предложения VI книги принято называть «геометрической алгеброй» и видеть в ней геометрическую переформулировку алгебраических проблем. [533]
532
Евдем приписывал приложение площадей «пифагорейской музе» (fr. 137), имея в виду пифагорейских математиков первой половины V в.
533
Zeuthen ?. G. Die Lehre von den Kegelschnitten im Altertum. Kopenhagen 1886, 6 ff.
Содержание теории приложения площадей действительно совпадает с основными типами квадратных уравнений, которые вавилоняне умели решать еще во II тыс. до н.э. Однако математическая близость обоих методов может быть объяснена как генетическим родством, так и типологическим сходством. Какой путь предпочтительнее? В первом случае необходимо доказать, что: 1) теоремы II книги были переведены с алгебраического языка на геометрический, а не что их можно переформулировать; 2) Пифагор или какой-то другой математик VI-V вв. действительно побывал в Вавилоне и обучился местной математике; 3) в то время реально имелась возможность перевода вавилонских методов на язык геометрии.
Доказательство каждого из этих пунктов наталкивается на очень серьезные трудности. Все больше историков математики склоняется к тому, что приложение площадей вовсе не было переформулировкой алгебраических методов, а возникло на греческой почве в ходе решения чисто геометрических проблем. [534] Вавилонские решения сложны, требуют специального интереса и специальной же подготовки и потому едва ли могли проникнуть в Грецию, передаваясь из рук в руки (как это было, вероятно, с данными, позволившими Фалесу «предсказать» дату солнечного затмения). О греческом математике, устроившемся в обучение к вавилонскому «коллеге», говорить всерьез не приходится. Помимо всего прочего, у нас нет данных о том, чтобы подобный тип математики практиковался в Вавилоне в VI в.: все наличные тексты относятся к старовавилонскому периоду. [535] Наконец, можно ли предположить, что за две с лишним тысячи лет до того, как Декарт создал аналитическую геометрию, нашелся человек, сумевший перевести вавилонские задачи на язык геометрических теорем? [536]
534
Szabo A. The Beginnings of Greek Mathematics. Dordrecht 1968, 332 ff; Un-guru S. On the Need to Rewrite the History of Greek Mathematics, AHES 15 (1975) 67-114; idem. History of Ancient Mathematics, AHES 70 (1979) 555-565; Mueller J. Philosophy of Mathematics and Deductive Structure in Euclids Elements. Cambridge 1981, 170 f, 179; Unguru S., Rowe D. E. Does the Quadratic Equation Have Greek Roots?, Libertas Mathematica 1 (1981) 1-49.
535
Vogel. Op.cit. II, 12 n. 3; Gericke H. Mathematik in Antike und Orient. Berlin 1984, 43; Hoyrup. Mathematics, 52 ff.
536
Зайцев. Культурный переворот, 177. Отметим, что недавно Хойруп предложил новую, более «геометрическую» трактовку вавилонских задач (H0yrup J. Algebra and Naive Geometry. An Investigation of Some Basic Aspects of Old Babilonian Mathematical Thought, Altorient. Forschungen 17 [1990] 27-69, 262-354). Если это и приближает нас к лучшему пониманию вавилонских методов, то никак не делает их более доступными
В самой гипотезе о заимствовании численных решений квадратных уравнений едва ли есть какая-то необходимость: в древнекитайской математике, например, имеются задачи, очень похожие на теоремы II книги Евклида, но возникли они, по всей видимости, без всякого внешнего влияния. [537] То же самое справедливо и в отношении метода расчета «пифагоровых троек» — численного значения сторон в прямоугольном треугольнике, в котором также видят результат вавилонского влияния. Между тем найденный Пифагором метод органически связан с его исследованиями четных и нечетных чисел: это видно хотя бы потому, что он справедлив только для нечетных чисел. [538] Нам известна вавилонская таблица с целым рядом таких троек, [539] но знали ли вавилоняне общий метод для их расчета и как заполнить лакуну между VI в. и эпохой Хаммурапи; к которой относятся вавилонские тексты, остается неясным.
537
Березкина Э. И. Математика Древнего Китая. Москва 1980, 11, 255.
538
См. ниже, IV,2.3.
539
Neugebauer. ES, 36 ff.
Вызывает возражение и сама постановка вопроса в таком виде. Резонно ли за сходством отдельных математических положений видеть непременно чье-то заимствование, а не результат независимого развития? Основы математики носят универсальный характер и коренятся в способности человеческого разума к логическому постижению объективного строения мира. Если математики разных культур, отталкиваясь от этих универсальных принципов, приходят к сходным результатам, само по себе это не может быть аргументом в пользу заимствования. [540] Обнаружив в разных регионах два сосуда одинаковой формы, расцветки и узора, естественно предположить некую связь между ними, ибо этого сходства могло и не быть и оно требует какого-то объяснения. Если же в Египте и Китае мы находим одинаковую формулу объема усеченной пирамиды с квадратным основанием, то предполагать здесь влияние или общий источник вовсе не обязательно, [541] ибо существует только одна верная формула данного объема, и тот, кто захочет ее найти, в принципе может это сделать. На мысль о внешних влияниях нас могут навести либо факты, говорящие о том, что в данной традиции эта формула не могла быть выведена, либо такое совпадение частных деталей, которое трудно объяснить независимым развитием.
540
Противоположная точка зрения в ее наиболее крайнем варианте выражена в недавней книге ван дер Вардена, нашедшего общую основу всех пяти математик древности в культуре мегалитических памятников Ш-начала II тыс. до н.э. на территории Британии (Waerden В. L. van der. Geometry and Algebra in Ancient Civilizations. Berlin/New York 1983).
541
Ср.: Waerden B. L. van der. On Pre-Babylonian Mathematics, AHES 23 (1980) 19 ff.
Признавая восточные вычисления первым этапом развития математики, а греческую дедуктивную геометрию — вторым, мы видим между ними логическую связь, но следует ли отсюда историческая преемственность? Ведь при этом из поля зрения выпадает греческая практическая математика, которая, хотя и не была столь развита, как вавилонская, несомненно включала в себя многие факты, служившие материалом для доказательств первых математиков. [542] Характерно, что вся терминология греческой математики — местного происхождения (за исключением слова «пирамида»), причем многие термины пришли из практической сферы. [543] Это еще раз ставит под сомнение реальность заимствований — они, как правило, оставляют свой след и в языке.
542
См.: Hahn. Op.cit., 116 ff.
543
Mugler Ch. Dictionnaire historique de la terminologie geometrique des grecs. T. I-II. Paris 1958-1959.
Теория отнюдь не обязательно появляется на определенном этапе развития эмпирической математики. Отсутствие теории во всех математиках древности, кроме греческой, показывает, что причины, приведшие к зарождению и развитию практической или вычислительной математики, не могут вызвать стремление к дедуктивному доказательству. Если греки начали с доказательства вещей, бесполезных для практической жизни и слишком простых для демонстрации технической виртуозности, [544] значит импульсы, приведшие к этому, шли из иных сфер общественной жизни.
544
Этот мотив Хойруп считает одним из важнейших стимулов в развитии вавилонскими писцами все более сложных типов вычислений (Hoyrup. Mathematics, 48).
2.2 Дедуктивное доказательство
Применение доказательства как ничто другое способствовало теоретизации греческой математики, т. е. формулированию теорем в общем виде и отказу от операций с числами. Для строгого и неопровержимого доказательства какого-либо положения (к чему всегда стремились греческие математики) одних практических расчетов или измерений недостаточно, ибо они не являются абсолютно точными, к тому же их можно опровергнуть новыми, еще неизвестными фактами. Стремление к доказательности вело, таким образом, к формулированию общих теорем, справедливых для любых численных соотношений. Одновременно оно направляло развитие греческой математики по геометрическому пути, освобождающему от необходимости операций с числами. Абстрактные отрезки, углы и фигуры были тем материалом, который как нельзя лучше подходил для построений дедуктивного типа.