Страница 8 из 18
Философская концепция, выраженная в этой таблице, была распространена отнюдь не только в Древней Греции[12]. Китайские инь и ян, где инь – это отрицание и тьма, а ян – утверждение и свет, отражают такое же мировоззрение. Примерно такие же идеи проникли и в христианство, где есть понятия рая и ада (и даже в заявления американских президентов наподобие «Вы или с нами, или с террористами»). У противоположностей есть и более общий смысл – всегда считается, что смерть оттеняет и подчеркивает смысл жизни, а знание особенно заметно по сравнению с невежеством.
Не все принципы пифагорейского учения имеют непосредственное отношение к числам. Стиль жизни замкнутого сообщества пифагорейцев был основан на вегетарианстве, убежденности в метемпсихозе – переселении бессмертных душ – а также на несколько загадочном запрете употреблять в пищу бобы. Существует несколько объяснений, почему пифагорейцам нельзя было есть бобы: то ли бобы напоминают видом детородный орган человека, то ли есть бобы – все равно что есть живую душу. Приверженцы последней версии считали, что когда человек, поевший бобов, испускает ветры, то это погибшая душа словно бы испускает дух.
В книге «Philosophy for Dummies» («Философия для чайников», Morris 1999) учение пифагорейцев кратко изложено следующим образом: «Все состоит из чисел, и не ешь бобы, потому что за это получишь по первое число».
Самая старая дошедшая до нас история о пифагорейцах довольно-таки поэтична и связана с представлением о переселении души в другие живые существа (Joost-Gaugier 2006). Она сохранилась в стихах поэта Ксенофана Колофонского, жившего в VI веке до н. э.
Как-то в пути увидав, что кто-то щенка обижает,
Он [Пифагор], пожалевши щенка, молвил такие слова:
«Полно бить, перестань! Живет в нем душа дорогого
Друга: по вою щенка я ее разом признал».
Влияние Пифагора явно прослеживается не только в учении древнегреческих философов – его непосредственных последователей, – но и в том, как строился учебный план средневековых университетов. Семь предметов, которые там преподавали, делились на тривиум – диалектику, грамматику и риторику – и квадривиум, в который входили любимые темы пифагорейцев – геометрия, арифметика, астрономия и музыка. Небесная «гармония сфер» – музыка, которую якобы исполняли планеты на орбитах и которую, по свидетельствам учеников, слышал один лишь Пифагор, – вдохновляла равным образом и поэтов, и ученых. Знаменитый астроном Иоганн Кеплер (1571–1630), открывший законы движения планет, назвал один из своих революционных трудов «Harmonices Mundi» – «Гармонии мира». И вполне в пифагорейском духе сочинил даже музыкальные «мотивы» разных планет (это же проделал три века спустя композитор Густав Холст).
Однако вернемся к теме нашей книги: если снять с пифагорейской философии мистический покров, обнаружится каркас, по которому можно сделать множество важнейших выводов касательно математики, ее природы и ее связи как с физическим миром, так и с человеческим разумом[13]. Пифагор и пифагорейцы – первопроходцы на пути поисков вселенского порядка. Их можно считать основателями чистой математики, поскольку, в отличие от своих предшественников – вавилонян и египтян, – они подходили к математике абстрактно, в отрыве от каких бы то ни было практических целей. А вот ответить на вопрос, пифагорейцы ли поставили математику на службу естественным наукам, уже сложнее. Да, пифагорейцы связывали все природные явления с числами, однако предметом их изучения были числа как таковые, а не природные явления или их причины. Для научного исследования такой путь не слишком перспективен. И все же в основе пифагорейского учения лежало общее представление о существовании универсальных законов природы. Это представление, ставшее краеугольным камнем современной науки, вероятно, коренится еще в идее Рока в древнегреческой трагедии. Вплоть до конца эпохи Возрождения твердая вера в реальность совокупности законов, которые способны объяснить все природные явления, далеко опережала данные любых наблюдений и экспериментов, и лишь Галилей, Декарт и Ньютон обратили ее в гипотезу, которую можно обосновать методом логической индукции.
Пифагорейцам принадлежит и другая заслуга – они сами обнаружили, что их «культ числа», к сожалению, не проходит проверку реальностью. Это открытие, конечно, спустило их с небес на землю. Целых чисел 1, 2, 3,… не хватало даже для того, чтобы вывести из них математику, не говоря уже об описании Вселенной.
Рис. 6
Рассмотрим квадрат на рис. 6, сторона которого принята за единицу, а длину диагонали мы обозначили d. Мы без труда найдем d при помощи теоремы Пифагора, применив ее к любому из двух прямоугольных треугольников, на которые поделен квадрат. Согласно теореме Пифагора, квадрат диагонали (гипотенузы) равен сумме квадратов двух катетов (коротких сторон): d 2 = 12 + 12, то есть d 2 = 2. Поскольку мы знаем, что квадрат – это положительное число, его легко найти, если взять квадратный корень (например, если x 2 = 9, то положительное число x = √9 = 3) Поэтому из d 2 = 2 следует, что d = √2 единиц. Итак, соотношение длины диагонали к длине стороны квадрата – это число √2. И вот тут-то пифагорейцев и ждало страшное потрясение – открытие, которое не оставило камня на камне от тщательно сконструированной пифагорейской концепции дискретных чисел. Один пифагореец (возможно, это был Гиппас из Метапонта, живший в первой половине V века до н. э. (Fritz 1945)) сумел доказать, что квадратный корень из двух нельзя выразить в виде отношения каких бы то ни было целых чисел. Иначе говоря, даже если мы располагаем бесконечным множеством целых чисел, поиски такой их пары, отношение которой даст нам √2, изначально обречены на провал.
Если число можно выразить в виде отношения двух целых чисел (например, 3/17, 2/5, 1/10, 6/1), его называют рациональным числом (собственно, латинское слово ratio и означает «отношение»). Пифагорейцы доказали, что √2 – не рациональное число. Более того, вскоре после этого открытия обнаружилось, что и √3, √17 и вообще квадратный корень любого числа, которое не представляет собой точный квадрат (16, 25 и т. д.), – тоже не рациональные числа. Последствия были самые серьезные: пифагорейцы доказали, что к бесконечному множеству рациональных чисел придется добавить бесконечное множество чисел другой разновидности – сегодня мы называем их иррациональными числами. Важность этого открытия для дальнейшего развития математического анализа невозможно переоценить. Помимо всего прочего, оно привело и к тому, что в XIX веке признали существование счетных и несчетных бесконечностей[14]. Однако на самих пифагорейцев это открытие произвело настолько ошеломляющее впечатление, что философ Ямвлих пишет, что тот, кто открыл иррациональные числа, «вызвал, как говорят, такую ненависть, что его не только изгнали из общины и отлучили от пифагорейского образа жизни, но и соорудили ему надгробие, как будто действительно ушел из жизни тот, кто некогда был их товарищем».
Однако пифагорейцам принадлежит заслуга, вероятно, даже более важная, чем открытие иррациональных чисел, – то, что именно они первыми стали настаивать на математическом доказательстве, процедуре, основанной исключительно на логических рассуждениях, при помощи которой можно было раз и навсегда установить истинность любого математического предположения, исходя из некоторых постулатов. До древних греков даже сами математики не считали, что кому-то хоть сколько-нибудь любопытно, какие умственные упражнения привели их к тому или иному открытию. Если какой-то математический рецепт можно было с успехом применять на практике, скажем, чтобы распределять участки земли, иного доказательства не требовалось. А вот греки захотели объяснить, почему его можно с успехом применять на практике. Хотя саму идею доказательства первым предложил философ Фалес Милетский (ок. 625–547 гг. до н. э.), именно пифагорейцы превратили эту привычку в совершенный инструмент, позволявший удостовериться в истинности математических утверждений. Значение этого прорыва в логике колоссально. Когда математика стала прибегать к доказательствам, основанным на постулатах, сразу же оказалось, что она покоится на куда более прочном фундаменте, чем любая другая научная дисциплина, которую обсуждали философы того времени. Как только удавалось представить строгое доказательство, основанное на последовательности умозаключений, где не было никаких логических оплошностей, истинность соответствующего математического утверждения становилась незыблемой навечно. Особый статус математического доказательства признавал даже Артур Конан Дойл, создатель самого знаменитого сыщика в мире. В «Этюде в багровых тонах» Шерлок Холмс объявляет, что его выводы «безошибочны, словно теоремы Эвклида» (пер. Н. Треневой).
12
Такая космология основана на идее, что реальность возникла из Вещества (которое считалось неопределенным), подвергшегося воздействию Формы (то есть предела).
13
О вкладе пифагорейцев в научный прогресс и об их влиянии см. Huffman 1999, Riedweg 2005, Joost-Gaugier 2006, а также Huffman 2006 в Stanford Encyclopedia of Philosophy.
14
В рамках настоящей книги я не обсуждаю темы наподобие трансфинитных чисел и трудов Кантора и Дедекинда. Об этом прекрасно рассказано в популярных книгах Aczel 2000, Barrow 2005, Devlin 2000, Rucker 1995 и Wallace 2003.