первого единого, это, по-видимому, вызывает затруднение у них" (курсив мой.
- П.Г.)54.
очередь, возможно в том случае, если, как и подчеркивает Аристотель, числа
имеют некоторую величину, так что могут мыслиться занимающими пространство.
И не в том смысле, что то или иное число можно изобразить в качестве
геометрической фигуры - как, например, 4 - это площадь квадрата со
стороной, равной 2, а именно в том смысле, что само число, как единица,
двойка, тройка и т.д., пространственно, а значит, тело состоит,
складывается из чисел55.
как телесные единицы, и не случайно пифагореец Экфант, по сообщению Аэтия,
"первый объявил пифагорейские монады телесными"56.
атрибут, без которого они не могли бы быть первыми началами всего сущего.
То, что пифагорейцы действительно мыслили числа как неделимые единицы, из
которых составлены тела, можно заключить из следующей полемики с ними
Аристотеля: "То, что они (пифагорейцы. - П.Г.) не приписывают числу
отдельного существования, устраняет много невозможных последствий; но что
тела у них составлены из чисел и что число здесь математическое, это - вещь
невозможная. Ведь и говорить о неделимых величинах неправильно, и <даже>
если бы это было допустимо в какой угодно степени, во всяком случае единицы
величины не имеют, а с другой стороны, как возможно, чтобы пространственная
величина слагалась из неделимых частей? Но арифметическое число во всяком
случае состоит из <отвлеченных> единиц; между тем они говорят, что числа -
это вещи; по крайней мере, математические положения они прилагают к телам,
как будто тела состоят из этих чисел" (курсив мой. - П.Г.)57.
момента: неотделенность чисел от вещей и соответственно составленность
вещей из неделимых единиц - чисел58. Если судить по приведенным отрывкам,
то пифагорейская математика, по меньшей мере в какой-то период или у
некоторых ее представителей, имела в качестве своего методологического
фундамента математически-логический атомизм, при котором числа
рассматривались как геометрические точки с определенным положением в
пространстве.
историк математики Оскар Беккер. "У истоков греческой математики, - пишет
он, - вероятно, начиная еще с VI века, обнаруживается своеобразный способ
рассмотрения, который можно охарактеризовать как полуарифметический -
полугеометрический. Он состоит в использовании камешков (f¤joi) одинаковой
величины и формы (круглых и квадратных), которыми выкладываются фигуры"59.
однозначную характеристику; Г.Г. Цейтен называет его "геометрической
арифметикой"60. Видимо, этот метод предполагает допущение, что тела состоят
из множества такого рода точечных единиц-монад. При этом, как сообщает
Аристотель, единица (mon¦j) рассматривалась пифагорейцами как точка, не
наделенная особым положением (stigmh =JetoV), а точка (stigm ) - как
единица, имеющая положение (mon=V JЪsin Ьcousa)61.
открытие сыграло важную роль в становлении математики как теоретической
науки, ибо вызвало целый переворот в математическом мышлении и заставило
пересмотреть многие из представлений, которые вначале казались само собой
разумеющимися62.
только там и тогда, где и когда уже возникли основные контуры математики
как связной теоретической системы мышления. Ведь только тогда может
возникнуть удивление, что дело обстоит не так, как следовало ожидать, если
уже есть представление о том, как должно обстоять дело. Не случайно
открытие несоизмеримости принадлежит именно грекам, хотя задачи на
извлечение квадратных корней, в том числе и EMBED Equation.2 ¶§,
решались уже в древневавилонской математике, составлялись таблицы
приближенных значений корней. По-видимому, открытие несоизмеримости было
сделано именно потому, что пифагорейцы с энтузиазмом искали подтверждения
главного тезиса их учения "все есть число".
либо арифметически определить такую дробь, квадрат которой равен 2 (т.е.
арифметически вычислить сторону квадрата, площадь которого равна 2); либо
геометрически при отыскании общей меры стороны и диагонали квадрата; либо,
наконец, в теории музыки, пытаясь разделить октаву пополам, т.е. найти
среднее геометрическое между 1 и 2. В любом случае задача предстала перед
ними в виде отыскания величины, квадрат которой равен 263.
EMBED Equation.2 ¶§, пифагорейцы доказывали, опираясь на главную, с их
точки зрения, "онтологическую" характеристику чисел, а именно на деление их
на четные и нечетные; доказательство велось от противного: если допустить
соизмеримость диагонали и стороны, то придется признать нечетное число
равным четному64. Признанию несоизмеримости, однако, предшествовали,
по-видимому, попытки преодолеть возникшее затруднение, ибо обнаружение
невыразимости в числах отношения диагонали к стороне квадрата наносило удар
по основному убеждению пифагорейцев, что "все есть число". Открытие
иррациональности, т.е. отношений, не выражаемых <целыми> числами, вызвало,
видимо, первый кризис оснований математики и нанесло удар по философии
пифагорейцев. Ибо целое число - ¦riJm"V - лежало, согласно Пифагору и его
последователям, в основе мироздания; поэтому все пропорции в мире должны
были быть выразимы в целых числах. Эта - исторически первая - теория чисел
теперь оказалась поставленной под вопрос.
отменил математической "программы" изучения природы, а только внес в эту
программу свои коррективы.
геометризации математики; появилось стремление геометрически выразить
отношения, которые, как оказалось, невыразимы с помощью арифметического
числа.
алгебра": величины изображаются через отрезки и прямоугольники, с помощью
которых можно было соотносить между собой не только рациональные числа, но
и несоизмеримые величины.
размышлением по поводу самих оснований пифагорейской математики. Может
быть, именно открытие несоизмеримости впервые поставило под вопрос
первоначальную пифагорейскую интуицию, что тела состоят из неделимых
точек-монад.
аксиомы Евдокса (ее называют также аксиомой Архимеда), которая легла в
основу теории отношений несоизмеримых величин. Эта аксиома приводится
Евклидом в четвертом определении V книги "Начал": "Говорят, что величины
имеют отношение между собой, если они, взятые кратно, могут превзойти друг
друга". А вот как формулирует Архимед эту аксиому в работе "О шаре и
цилиндре" (пятое допущение, или постулат Архимеда): "...б(льшая из двух
неравных линий, поверхностей или тел превосходит меньшую на такую величину,
которая, будучи складываема сама с собой, может превзойти любую заданную
величину из тех, которые могут друг с другом находиться в определенном
отношении"65.
для развития и математики, и науки в целом не исчерпывается указанными
последствиями, хотя внешне выражается прежде всего в них.
греческую науку сознательно задуматься о своих предпосылках. Ведь те
понятия числа, точки, фигуры и т.д., которыми оперировали пифагорейцы
первоначально, еще не были логически прояснены и продуманы. Именно в этом,
кстати, упрекают пифагорейцев и Платон, и (еще больше) Аристотель. В самом
деле, числа у них не отделены от вещей, говорит Аристотель. Но ведь и
нельзя сказать, чтобы они у них сознательно и обоснованно отождествлялись с
вещами! Вопрос об онтологическом статусе чисел в этом плане просто не
возникал, а потому здесь и царила некоторая непроясненность,
неопределенность. Далее, Аристотель говорит, что у пифагорейцев фигуры
состоят из чисел, как из неделимых пространственных единиц. Но и здесь мы
имеем дело с такой же первоначальной непроясненностью: число выступает то
как единица, не отнесенная к пространству, к чувственному миру, то как
неделимая частица самого этого мира - такова у пифагорейцев точка. Ибо
именно так предстает пифагорейцу-математику единица, когда он дает
"полуарифметическое - полугеометрическое" (по словам Беккера) начертание
"тройки" (рис. 2) и "десятки" (рис. 5).
математического исследования, к попытке не только найти новые методы работы
с величинами, но и понять, что такое величина.
поставил Зенон из Элеи, выявив противоречия, связанные с понятием
бесконечности, и после него невозможно было вернуться к прежнему,
дорефлексивному оперированию математическими понятиями. Благодаря элеатам
началась логическая работа над исходными понятиями науки - напряженная
работа на протяжении V, IV и III вв. до н.э., завершившаяся созданием трех
главных программ научного исследования: математической, атомистической и
континуалистской.
философии и науки - с V по III в. до н.э. - можно выделить как бы два
направления философско-теоретической работы. Одно из них представлено теми
философами и учеными, которые прежде всего заняты проблемами обоснования