Морис Клайн - Математика. Утрата определенности.

Хотя греческая культура не была полностью свободной от внешних влияний (греческие мыслители, совершая путешествия в Египет и Вавилон, знакомились там с достижениями местной науки) и хотя математике в современном смысле этого слова (даже в столь благоприятной интеллектуальной атмосфере древней Греции) еще предстояло пройти период созревания, то, что создали греки, значительно отличалось от того, что они по крупицам собрали из опыта своих предшественников.

Провозгласив своей целью поиск математических истин, греки не могли опираться на грубые, эмпирические, ограниченные, несвязные и во многих случаях приблизительные результаты, накопленные до них главным образом египтянами и вавилонянами. Сама математика, основные факты о числах и фигурах, должна была стать сводом абсолютных истин — и математические рассуждения, направленные на постижение истин о физических явлениях, например о движениях небесных тел, должны были приводить к неоспоримым результатам. Высокие цели намечены, но как их достичь?

Первый принцип, которого неуклонно придерживались греки, состоял в том, что математика должна иметь дело с абстракциями. Для философов, творцов греческой математики, носителями истины могли быть лишь перманентные, неизменяемые сущности и отношения. К счастью, человеческий разум, работу которого стимулируют наши органы чувств, может подняться до более высоких концепций — идей, вечных реалий и истинных объектов мышления. Предпочтение, отдаваемое греками абстракции, имело под собой и другую причину. Чтобы обрести мощь, математика должна охватывать в едином абстрактном понятии существенные черты всех физических реализаций этого понятия. Так, математическая прямая должна отражать наиболее существенные особенности натянутых нитей, краев линеек, границ сельскохозяйственных угодий и траекторий лучей света. Математическая прямая не должна, следовательно, иметь толщину, цвет, молекулярную структуру или испытывать натяжение. Греки вполне отчетливо и явно утверждали, что их математика имеет дело с абстракциями. В «Государстве» Платон говорит о геометрах следующее:

Разве ты не знаешь, что, хотя они используют видимые формы и рассуждают о них, мыслят они не о самих формах, а об идеалах, с которыми не имеют сходства; не о фигурах, которые они чертят, а об абсолютном квадрате и абсолютном диаметре… и что в действительности геометры стремятся постичь то, что открыто лишь мысленному взору?

Итак, математика должна заниматься прежде всего изучением таких абстрактных понятий, как точка, прямая и целое число. Другие понятия, например треугольник, квадрат и окружность, можно определить через основные понятия, которые, как отметил Аристотель, должны оставаться неопределимыми, ибо в противном случае у нас не было бы отправной точки. О степени изощренности греческой математики можно судить хотя бы по тому, что определяемые там понятия должны были иметь аналоги в реальности либо по доказанному, либо по построению. Так, нельзя было ввести по определению трисектор угла и доказывать о нем теоремы: трисектор мог бы и не существовать. И так как грекам не удалось решить задачу о трисекции любого угла при тех ограничениях, которые они накладывали на геометрические построения, то они так и не ввели понятия трисектора. {7}

Свои рассуждения о математических понятиях греки начинали с аксиом — истин, столь очевидных, что в справедливости их невозможно усомниться. Такие истины грекам были известны. Платон обосновал принятие аксиом своей теорией воспоминаний — анамнезисом. Как уже упоминалось, Платон считал объективно существующим мир идей. До того как человек появляется на свет, его душа обретается в мире идей и впитывает впечатления. Побуждаемая к воспоминаниям, душа затем восстанавливает накопленные ранее впечатления, чтобы признать истинность аксиом геометрии. Никакой земной опыт ей для этого не требуется. Аристотель подошел к проблеме иначе. Истинность аксиом, утверждает он во «Второй аналитике» ([8] гл. 18), мы познаем посредством безошибочной интуиции. Кроме того, аксиомы необходимы нам как основа для рассуждений. Если бы в своих рассуждениях мы использовали факты, истинность которых неизвестна, то для установления их истинности потребовались бы новые рассуждения, и так до бесконечности. В результате мы бесконечно «спускались» бы в наших доказательствах — но нигде не могли бы остановиться. Среди аксиом Аристотель различал общие понятия и постулаты. Общие понятия истинны во всех областях мысли. К их числу относятся такие утверждения, как «Если от равного отнять равные [части], то остаются равные же [части]» ([8], с. 199). Постулаты применимы к такой специфической области, как геометрия. Таково, например, утверждение «Две [разные] точки определяют прямую и притом только одну». Аристотель считал, что постулаты не обязательно должны быть самоочевидными, но если они не очевидны, то их истинность надлежит подтверждать выводимыми из них следствиями. Математики же требовали самоочевидности постулатов.