Признанию несоизмеримости, однако, предшествовали, по-видимому, попытки преодолеть возникшее затруднение, ибо обнаружение невыразимости в числах отношения диагонали к стороне квадрата наносило удар по основному убеждению пифагорейцев, что "все есть число". Открытие иррациональности, т.е. отношений, не выражаемых числами, вызвало, видимо, первый кризис оснований математики и нанесло удар по философии пифагорейцев. Ибо целое число - ўriJm"V - лежало, согласно Пифагору и его последователям, в основе мироздания; поэтому все пропорции в мире должны были быть выразимы в целых числах. Эта - исторически первая - теория чисел теперь оказалась поставленной под вопрос.

Однако удар, нанесенный раннепифагорейской концепции числа, отнюдь не отменил математической "программы" изучения природы, а только внес в эту программу свои коррективы.

Видимо, последствием открытия иррациональности было усиление тенденции к геометризации математики; появилось стремление геометрически выразить отношения, которые, как оказалось, невыразимы с помощью арифметического числа.

Вместо геометрической арифметики теперь развивается "геометрическая алгебра": величины изображаются через отрезки и прямоугольники, с помощью которых можно было соотносить между собой не только рациональные числа, но и несоизмеримые величины.

Надо полагать, что переход к геометрической алгебре сопровождался также и размышлением по поводу самих оснований пифагорейской математики. Может быть, именно открытие несоизмеримости впервые поставило под вопрос первоначальную пифагорейскую интуицию, что тела состоят из неделимых точек-монад.

Попытки справиться с несоизмеримостью в конце концов привели к формулировке аксиомы Евдокса (ее называют также аксиомой Архимеда), которая легла в основу теории отношений несоизмеримых величин. Эта аксиома приводится Евклидом в четвертом определении V книги "Начал": "Говорят, что величины имеют отношение между собой, если они, взятые кратно, могут превзойти друг друга". А вот как формулирует Архимед эту аксиому в работе "О шаре и цилиндре" (пятое допущение, или постулат Архимеда): "...б(льшая из двух неравных линий, поверхностей или тел превосходит меньшую на такую величину, которая, будучи складываема сама с собой, может превзойти любую заданную величину из тех, которые могут друг с другом находиться в определенном отношении"65.

Нам представляется, однако, что общее значение открытия иррациональности для развития и математики, и науки в целом не исчерпывается указанными последствиями, хотя внешне выражается прежде всего в них.

Дело в том, что это открытие впервые, быть может, заставило рождающуюся греческую науку сознательно задуматься о своих предпосылках. Ведь те понятия числа, точки, фигуры и т.д., которыми оперировали пифагорейцы первоначально, еще не были логически прояснены и продуманы. Именно в этом, кстати, упрекают пифагорейцев и Платон, и (еще больше) Аристотель. В самом деле, числа у них не отделены от вещей, говорит Аристотель. Но ведь и нельзя сказать, чтобы они у них сознательно и обоснованно отождествлялись с вещами! Вопрос об онтологическом статусе чисел в этом плане просто не возникал, а потому здесь и царила некоторая непроясненность, неопределенность. Далее, Аристотель говорит, что у пифагорейцев фигуры состоят из чисел, как из неделимых пространственных единиц. Но и здесь мы имеем дело с такой же первоначальной непроясненностью: число выступает то как единица, не отнесенная к пространству, к чувственному миру, то как неделимая частица самого этого мира - такова у пифагорейцев точка. Ибо именно так предстает пифагорейцу-математику единица, когда он дает "полуарифметическое - полугеометрическое" (по словам Беккера) начертание "тройки" (рис. 2) и "десятки" (рис. 5).

Открытие несоизмеримости стало первым толчком к осознанию оснований математического исследования, к попытке не только найти новые методы работы с величинами, но и понять, что такое величина.

Однако во весь рост проблему континуума перед философами и математиками поставил Зенон из Элеи, выявив противоречия, связанные с понятием бесконечности, и после него невозможно было вернуться к прежнему, дорефлексивному оперированию математическими понятиями. Благодаря элеатам началась логическая работа над исходными понятиями науки - напряженная работа на протяжении V, IV и III вв. до н.э., завершившаяся созданием трех главных программ научного исследования: математической, атомистической и континуалистской.

Характерно, однако, что на всем протяжении этого бурного периода в развитии философии и науки - с V по III в. до н.э. - можно выделить как бы два направления философско-теоретической работы. Одно из них представлено теми философами и учеными, которые прежде всего заняты проблемами обоснования науки и логического уяснения и разработки ее понятий и методов. К нему принадлежат Зенон, Демокрит, Платон, Аристотель, Теофраст и др. Другое направление представлено в первую очередь математиками-"практиками" - такими, как Архит Терентский, Евдокс Книдский, Менехм, Теэтет.