Объясняя мир. Истоки современной науки
Шрифт:
Возможно, первым явлением, которое древние изучали с помощью арифметических методов, была музыка. Это описано в работах последователей Пифагора. Уроженец населенного ионийцами острова Самос Пифагор уехал в южную Италию примерно в 530 г. до н. э. Там, в греческом городе Кротоне, он основал культ, который просуществовал до конца IV в. до н. э.
Слово «культ» в данном случае кажется мне подходящим. Ранние пифагорейцы не оставили никаких записей, но, по свидетельству других авторов {19} , они верили в переселение душ. Пифагорейцы должны были носить белые одежды, им было запрещено есть бобы из-за того, что они напоминают человеческие зародыши. Они организовали нечто вроде теократического общества, и под их управлением жители Кротона в 510 г. до н. э. разрушили соседний город Сибарис.
19
Alberto A. Mart'inez, The Cult of Pythagoras – Man and Myth (University of Pittsburgh Press, Pittsburgh, Pa., 2012).
Для истории науки важно, что кроме всего вышесказанного
Возможно, их особое внимание к математике было вызвано наблюдением за музыкой. Они заметили, что если во время игры на струнном инструменте щипнуть одновременно две струны одинаковой толщины, состава и натяжения, то приятный звук получается только в том случае, если длины струн относятся друг к другу как соотношение небольших целых чисел. Самый простой случай – когда одна струна наполовину короче второй. Сейчас мы говорим, что звучание двух струн расходится на октаву, и мы обозначаем издаваемый ими звук одной и той же буквой алфавита. Если одна струна составляет две трети длины другой, то проигрываются две ноты, интервал между которыми составляет квинту, имеющую достаточно гармоничное звучание. Если одна струна составляет три четверти длины другой, они производят гармоничное звучание, которое называется квартой. Напротив, если длины струн не соотносятся как небольшие целые числа (например, длина одной струны составляет 100 000/314 159 длины другой) или вообще не попадают в множество целых чисел, то получается неприятный, режущий ухо звук. Сейчас мы знаем, что для этого есть две причины: частота звуковых волн, производимых двумя струнами одновременно, и совпадение обертонов, производимых каждой струной (см. техническое замечание 3). Пифагорейцы ничего этого не понимали, как и никто другой, пока в XVII в. не появилась работа французского естествоиспытателя-священника Марена Мерсенна. Вместо этого, по Аристотелю, пифагорейцы «… всю вселенную признали гармонией и числом» {21} . Эта идея имела долгую жизнь. Например, Цицерон в своем диалоге «О государстве» рассказывает историю о том, как великий римский полководец Сципион Африканский знакомит своего внука с музыкой сфер.
20
Аристотель. Метафизика. С. 26–27.
21
Там же.
Большего прогресса пифагорейцы достигли, скорее, в чистой математике, чем в физике. Все знают теорему Пифагора о том, что площадь квадрата, одной из сторон которого является гипотенуза прямоугольного треугольника, равна сумме площадей двух квадратов, стороны которых являются катетами этого треугольника. Но неизвестно, кто именно из пифагорейцев доказал эту теорему и как он это сделал. Ее можно очень просто доказать, основываясь на теории соотношений, которая принадлежит пифагорейцу Архиту Тарентскому, современнику Платона (см. техническое замечание 4). В теореме 46 Первой книги «Начал» Евклида приводится более сложное доказательство. Кстати, Архит решил знаменитую задачу, которая до него оставалась нерешенной: как, имея куб и используя чисто геометрические методы, построить куб, в два раза больший по объему.
Теорема Пифагора ведет к другому великому открытию о том, что геометрические построения могут привести к соотношениям, которые не могут быть выражены частным от деления целых чисел. Если каждый катет прямоугольного треугольника имеет длину, равную единице (неважно, в каких единицах измерения), то сумма площадей двух квадратов, сторонами которого являются эти катеты, составляет 1^2 + 1^2 = 2. Тогда в соответствии с теоремой Пифагора длина гипотенузы должна выражаться числом, квадрат которого равен 2, но легко увидеть, что число, квадрат которого равен 2, не может быть выражено как соотношение целых чисел (см. техническое замечание 5). Доказательство этого дается в Десятой книге «Начал» Евклида. Ранее о нем говорит Аристотель в «Первой аналитике» {22} в качестве примера reductio ad impossibile [3] , не давая ссылку на оригинальный источник. Существует легенда о том, что это открытие принадлежит пифагорейцу Гиппасу, который, возможно, родился в городе Метапонте на юге Италии и был изгнан или убит пифагорейцами за разглашение этого открытия.
22
Аристотель. Сочинения: в 4 т. Т. 2. – М.: Мысль, 1978. С. 167.
3
Лат. «сведение к невозможности» – прием опровержения в философии. – Прим. ред.
Сегодня мы можем описать это открытие следующим образом: такие числа, как квадратный корень из двух, являются иррациональными – они не могут быть выражены как отношение целых чисел. Согласно Платону {23} , Феодор Киренский показал, что квадратные корни из 3, 5, 6,…, 15, 17 и т. д. (и вдобавок, хотя Платон этого и не говорит, квадратные корни из всех целых чисел, кроме 1, 4, 9, 16 и т. д., которые являются квадратами целых чисел) иррациональны в том же смысле. Но древние греки не выражали эту мысль таким образом. Скорее, судя по переводу Платона, они говорили о сторонах квадратов, площадь которых равна 2, 3, 5 и т. д., несоизмеримых единице. У древних греков
23
Платон. Диалоги. 147 d – e.
Традиция чистой математики была продолжена в Академии Платона. Говорили, что у ее дверей висело предупреждение, запрещающее вход любому, кто невежествен в геометрии. Сам Платон математиком не был, но с восторгом относился к математикам, отчасти, вероятно, потому, что во время своего путешествия в Сиракузы, чтобы стать наставником молодого Дионисия II Младшего, встречался с пифагорейцем Архитом Тарентским.
В Академии одним из математиков, который оказал огромное влияние на Платона, был Теэтет Афинский, ставший главным героем одного из диалогов Платона и объектом для обсуждения в другом. Теэтет знаменит открытием пяти правильных многогранников, которые, как мы уже видели, обеспечили основу теории элементов Платона. Доказательство {24} того, что эти тела являются единственно возможными выпуклыми многогранниками, предложено в «Началах» Евклида и приписывается Теэтету, который также внес свой вклад в теорию того, что мы сегодня называем иррациональными числами.
24
На самом деле, как это обсуждается в техническом замечании 2, что бы ни доказал Теэтет и что бы ни приписывали ему «Начала», существует только пять возможных выпуклых правильных многогранников. На примере правильного полиэдра в «Началах» доказывается, что существует только пять комбинаций длин сторон каждой грани полиэдра и количества граней, которые имеют общие точки. Но там не доказано, что для каждой комбинации этих чисел существует только единственный выпуклый правильный многогранник.
Самым великим эллинским математиком IV в. до н. э. был Евдокс Книдский, ученик Архита и современник Платона. Хотя он прожил большую часть своей жизни в городе Книде, на побережье Малой Азии, Евдокс учился в Академии Платона и позже вернулся туда, чтобы самому стать учителем. От Евдокса не осталось никаких записей, но он известен тем, что решил множество сложных математических задач, например доказал, что объем конуса равен одной трети объема цилиндра с тем же основанием и высотой (я не представляю, как Евдокс мог сделать это, не прибегая к математическому анализу). Его величайшим вкладом в математику стало изобретение метода исчерпывания, при использовании которого теоремы выводились из простых аксиом, не требующих доказательства. Этот же метод использовал Евклид в своих работах. На самом деле многое в «Началах» Евклида может быть отнесено на счет Евдокса.
Хотя открытия Евдокса и пифагорейцев были большим интеллектуальным достижением сами по себе, они оказали неоднозначное влияние на естественные науки. Начнем с того, что дедуктивное изложение в работах математиков, достигшее вершины в «Началах» Евкилида, постоянно повторялось и в работах исследователей – естественников, где такой стиль совершенно неприемлем. Как мы видим, в работах Аристотеля математика привлекается очень мало, но временами его аргументация выглядит как пародия на математическое доказательство, как, например, в дискуссии о движении в «Физике»: «Положим, что тело, обозначенное , будет проходить через среду в течение времени , а через более тонкую среду – в течение [времени] ; если расстояния [проходимые телом] в средах и равны, [то и будут] пропорциональны [сопротивлению] препятствующего тела. Пусть, например, будет вода, а – воздух…» {25} . Возможно, величайшая древнегреческая работа в области физики – это сочинение Архимеда «О плавающих телах», о чем мы поговорим в главе 4. Оно изложено как математическая работа, где из постулатов выводятся доказательства утверждений. Архимед был достаточно умен, чтобы выбрать подходящие постулаты для своих выводов, но научное исследование честнее представлять как единство дедукции, индукции и предположения.
25
Аристотель. Сочинения: в 4 т. Т. 3. – М.: Мысль, 1981. С. 140.
Однако гораздо более важным, чем вопрос стиля (хотя и связано с ним), является ошибочное желание достичь абсолютной истины при помощи одного лишь чистого разума, на что вдохновляли математики. В своей дискуссии об образовании философа в диалоге «Государство» Платон использовал сократовский аргумент о том, что астрономию нужно изучать таким же способом, как и геометрию. Согласно Сократу, смотреть в небо может быть полезно для развития разума, точно так же как смотреть на геометрические построения полезно для изучения математики, но в обоих случаях настоящее знание приходит только через мысль. «Значит, мы будем изучать астрономию так же, как геометрию, с применением общих положений, а то, что на небе, оставим в стороне…» {26}
26
Платон. Избранное. – М.: АСТ, 2006.
Математика – это средство, с помощью которого мы выводим следствия физических законов. Более того, это незаменимый язык, на котором излагаются сами физические законы. Она часто пробуждает новые идеи в области естественных наук, и, в свою очередь, нужды науки часто подталкивают развитие математики. Работа физика-теоретика Эдварда Виттена обеспечила такой громадный прорыв в математике, что в 1990 г. он получил одну из самых высоких наград в области математики – Филдсовскую медаль. Но при этом математика не является естественной наукой. Математика сама по себе, без наблюдений за окружающим миром, не может ничего рассказать о нем. И математические теоремы не могут быть ни подтверждены, ни опровергнуты такими наблюдениями.