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