О границах науки

1. Математика и физика в Античности

Математический язык современной физики, ставший для нас чем-то само собой разумеющимся, отнюдь не всегда был естественным языком природоведения. Мы знаем, что учения о природе в Античности говорили на другом языке: на языке качеств, а не количеств. Причина была принципиальной: в античном космосе вся подлунная сфера состояла из четырех элементов: земли, воды, воздуха и огня. Эти же элементы не могут воспроизводить точные геометрические формы, поэтому измерения в этой области тщетны: физика подлунной сферы не может быть математической. В надлунной же области все состоит из эфира (пятого элемента). Эфир по своей природе уже может точно воплощать геометрические фигуры (например, небесные сферы), поэтому и возможна математическая астрономия. Подлунная сфера не может точно воспроизводить геометрические формы потому, что все сущее есть соединение формы и материи (Аристотель), и последняя есть то бесформенное начало, которое отрицает всякую точность в материальных вещах. Еще решительнее эта точка зрения выражена у Платона. Вещи материального мира суть лишь отражения мира идей. Материя в них только отчасти подчинена форме, и именно поэтому невозможна математическая физика[1].

Однако попытки построения математической физики начались еще раньше, чем были построены космологии Аристотеля и Платона. Традиция приписывает пифагорейцам фундаментальный принцип «Все есть число». Хотя историки философии и по сегодняшний день спорят об истинном значении этого тезиса – значит ли он, что все есть число в онтологическом смысле, или же смысл его состоял в том, что все закономерности в природе могут быть выражены через число, в духе современной физики. Тем не менее сам факт этого внимания к роли математики в познании природы был отнюдь не случаен. Пифагорейцы создают математическую теорию музыки, на долгие века входящую в традиционный квадривиум наук. Они открыли, что благозвучие традиционных музыкальных интервалов – такое, казалось бы, субъективное и психологически неустойчивое – имеет под собой жесткую структуру числовых соотношений: октава (2:1), квинта (3:2), кварта (4:3).

Рассмотрение так называемых «фигурных чисел», например квадратов или треугольников, выложенных из камешков (точек), и обнаружение арифметических соотношений между последовательностями этих чисел наводило на мысль, что вероятно и геометрические фигуры также могут быть сведены к числам[2].

Но именно пифагорейцам традиция приписывает и открытие несоизмеримости отрезков – открытие, принципиально подорвавшее веру в то, что все в мире может быть измерено и выражено в целых числах. Оказалось, что если мы возьмем квадрат со стороной единица, то диагональ этого квадрата невыразима ни целым числом единиц, ни целой частью единицы. Надежды на рациональную «прозрачность» всего сущего рухнули: в мире вместе с соразмерностью и порядком существует и несоизмеримое, иррациональное. Это открытие было научно-философским выражением дуализма, давно опознанного традиционной народной религией: есть светлые божества, несущие в мир порядок и смысл (Аполлон), а есть другие, выражающие темную, стихийную природу сущего (Дионис)[3]. Этот дуализм прочно вошел в традицию античной мысли и, несмотря на большие достижения античной математики и естествознания, всегда оказывал характерное влияние на развитие науки и философии.

С открытием несоизмеримости была связана еще одна принципиальная для истории науки тема бесконечности. Уже в классическом доказательстве несоизмеримости диагонали квадрата и его стороны обнаруживалось, что процесс нахождения общей меры[4] шел в бесконечность. Греки настороженно относились к бесконечности: весь человеческий опыт конечен, бесконечность невозможно представить, греческие боги и те конечны по своему могуществу. Более того, бесконечность немыслима, так как при этом нарушаются фундаментальные аксиомы науки. Одной из таких аксиом была следующая: часть меньше целого[5]. Но для бесконечности эта аксиома нарушается. Если взять, например, натуральный ряд чисел, то между всеми числами и только четными числами можно установить взаимно-однозначное соответствие по формуле: n ↔ 2n. Четных чисел оказывается столько же, сколько и всех, часть равна целому. Поэтому греки отказались от использования бесконечности в науке. Точнее, они выделили понятия потенциальной бесконечности – бесконечности как процесса (возрастание чисел натурального ряда или неограниченное деление отрезка и его частей), и актуальной бесконечности (все натуральные числа, взятые как единое множество, или отрезок, разделенный «до конца»). Потенциальная бесконечность допускается в науке как метод, как прием. Актуальной же бесконечности отказано в праве существования в науке: «бесконечности нет ни в космосе, ни в уме» (Аристотель)[6].

2. Математическая физика и метафизика

Итак, в лице главных своих мыслителей Античность определилась вполне недвусмысленно: физика не может быть математической в принципе; да и в самой математике господствует дуализм: геометрия, протяженность, континуум не могут быть сведены к числовым арифметическим конструкциям. Как же так получилось, что с XVII века возникает математическая физика, традиция которой непрерывно развивается вплоть до наших дней? Разве пионеры науки Нового времени не знали всех тщательно продуманных аргументов античных философов и ученых?.. Конечно, знали. К этому времени все основные труды греческих авторов уже переведены на латынь и активно изучаются в Западной Европе. Можно ли сказать, что создатели новой науки преодолели аргументацию античных авторов? Вряд ли… Скорее, ими была продолжена новая парадигма, новое направление развития науки, а точнее – новое понимание науки, которое определило и развитие нового типа цивилизации.

Однако вести полемику со старой системой мысли было неизбежно. Главную часть этой трудной работы взял на себя Галилео Галилей. Именно ему принадлежал лозунг: «Книга природы написана на языке математики»[7]. В его знаменитой книге «Диалог о двух главнейших системах мира Птолемеевой и Коперниковой» этот тезис – один из самых важных пунктов дискуссии. Противник галилеевской позиции Симпличио защищает традиционную для того времени аристотелевскую точку зрения: математические соображения хороши лишь в абстрактном пространстве[8], а в реальном материальном мире все обстоит по-другому. В частности, только в математике сфера касается плоскости в одной точке, в действительном же мире касание материальных сферы и плоскости в одной точке невозможно. Порт-пароль Галилея – Сальвиати – отвечает на это: «…Всякий раз, как вы конкретно прикладываете материальную сферу к материальной плоскости, вы прикладываете несовершенную сферу к несовершенной плоскости и говорите, что они соприкасаются не в одной единственной точке. А я вам говорю, что и в абстракции нематериальная сфера, которая является несовершенной сферой, может касаться нематериальной, также несовершенной плоскости, не одной точкой, а частью поверхности. Так что то, что происходит конкретно, имеет место и в абстракции. Было бы большой неожиданностью, если бы вычисления и действия, производимые абстрактно над числами, не соответствовали затем конкретно серебряным и золотым монетам и товарам. Но знаете ли, синьор Симпличио, что происходит на деле и как для выполнения подсчетов сахара, песка и полотна необходимо скинуть вес ящиков, обертки и иной тары; так и философ-геометр [то есть ученый новой математической физики. – В. К.], желая проверить конкретно результаты, полученные путем абстрактных доказательств, должен сбросить помеху материи, и если он сумеет это сделать, то, уверяю вас, все сойдется не менее точно, чем при арифметических подсчетах. Итак, ошибки заключаются не в абстрактном, не в конкретном, не в геометрии, не в физике, но в вычислителе, который не умеет правильно вычислять. Поэтому, если у вас есть совершенные сфера и плоскость, хотя бы и материальные, не сомневайтесь, что они соприкасаются в одной точке [курсив мой. – В. К.]. А если их невозможно получить, то все же утверждение, что sphaera aenea поп tangit in puncto[9], весьма далеко от сути дела»[10]. Что же, разве доказал Галилей утверждение, выделенное курсивом? Нет. Его аргумент касается лишь неправильной сферы и плоскости и их касания в абстрактном геометрическом пространстве. А искомое утверждение так и остается недоказанным. Галилей этим рассуждением как бы «отвел нам глаза» от искомого, а как конкретно «сбросить помеху материи», так и не показал… Более того, этого и нельзя показать. Точная материальная сфера и точная материальная плоскость не могут касаться в одной точке по одной простой причине: касание в одной точке означает принадлежность этой точки одновременно и одному, и другому телу. А для материальных тел это невозможно в силу непроницаемости материи. Галилей в этом рассуждении, как и во многих других местах своей книги, заражает нас своей убежденностью, его диалектическая способность замечательна. Однако преодолеть античные аргументы против математической физики ему фактически не удается.

1

Хотя парадоксом остается то, что именно Платон дал в «Тимее» одну из первых попыток построения математической физики.

2

Например: (n + I)²– n² = 2n + 1 – «разность квадратных чисел равна нечетному числу».

3

См. об этом интересную книгу: Доддс Е. Р. Греки и иррациональное. М., 2000. Особенно гл. 3 «Блага исступленности».

4

Так называемый «алгоритм Евклида».

5

Например, в «Началах Евклида».

6

Подробнее см. в моей книге: Катасонов В. Н. Боровшийся с бесконечным. Философско-религиозные аспекты генезиса теории множеств Г. Кантора. М., 1999.

7

Точнее эта цитата звучит следующим образом: «Философия написана в величественной книге (я имею в виду Вселенную), которая постоянно открыта нашему взору, но понять ее может лишь тот, кто сначала научится постигать ее язык и толковать знаки, которыми она написана. Написана же она на языке математики, и знаки ее – треугольники, круги и другие геометрические фигуры, без которых человек не смог бы понять в ней ни единого слова; без них он был бы обречен блуждать в потемках по лабиринту» (Галилео Галилей. Пробирных дел мастер. Пер. Ю. А. Данилова. М., 1987. С. 41).

8

По Аристотелю, математические положения получаются абстракцией от реальных вещей (лат. abstrahiere – уводить, отвлекать, удалять).

9

Медная сфера не касается в одной точке (лат.).

10

Галилей Г. Диалог о двух главнейших системах мира Птоломеевой и Коперниковой. М.;Л.,1948.С. 161.