Лекция Римана 1854 года дождалась публикации лишь в 1868-м – через два года после его смерти и через год после книги Бальцера, пролившей свет на работы Бойяи и Лобачевского. Последствия наработок Римана мало-помалу показали, что Евклид совершил ошибки нескольких разновидностей: он сделал множество негласных допущений, другие толком не доформулировал, а кроме того, попытался определить больше, чем было возможно.
Ныне мы видим огрехи евклидовой аргументации. Проще всего критиковать Евклида за искусственное разграничение между постулатами и «общими понятиями». Глубже лежит наша современная попытка аксиоматизировать любые допущения и ничто не принимать за истину всего лишь на основании «очевидности» или «здравого смысла». Это на самом деле вполне новомодный подход – победа Гаусса над Кантом, – и критиковать Евклида за то, что он не произвел этот рывок, затруднительно.
Еще одна структурная проблема евклидовой системы – непризнание необходимости в неопределимых понятиях. Представим словарное определение пространства как «безграничной емкости или места, распространяющегося во всех направлениях». Осмысленно ли это определение, или оно лишь подменяет расплывчатым термином «место» искомый термин «пространство»? Если у нас нет уверенности, что мы отчетливо понимаем значение «места», можем поглядеть в словаре и его определение. Словарь утверждает, что «место» есть «часть пространства, занятая тем или иным объектом». Эти два слова – «место» и «пространство» – частенько определяются друг через друга.
Хоть и придется повозиться, но поскольку любое слово в словаре определяется другими, обнаружится, что такая подмена происходит с любым определением. Единственный способ избежать логического круга – допустить существование в конечном языке неких словарно неопределимых понятий. Ныне мы понимаем, что и математические системы обязаны включать подобные неопределимые понятия, и стараться включать минимальное их число, необходимое для того, чтобы система оставалась осмысленной.
С неопределимыми понятиями следует обращаться бережно, поскольку легко впасть в заблуждение, вложив смысл в понятие, сначала не доказав этого, даже если этот смысл кажется очевидным из физической реальности. Сабит совершил эту ошибку, приняв за «очевидное» замечание о том, что линия, равноудаленная от прямой, есть прямая. Как мы уже убедились, ничто в системе Евклида, кроме самого постулата параллельности, нам этого не гарантирует. Применяя неопределимые понятия, мы должны отбросить любые коннотации, навязываемые нам словоупотреблением. Перефразируя великого гёттингенского математика Давида Гильберта [Хилберт] [177] , заметим, что непременно должна быть возможность заменить «точки», «прямые» и «окружности» на «мужчин», «женщин» и «пивные кружки». Тогда, математически говоря, эти понятия должны насытиться смыслом из самих утверждений – например, первых трех постулатов Евклида:
Евклид делал и другие ошибки – сугубо логические, и они привели его к доказательствам теорем, в которых некоторые стадии оказались необоснованными. Например, в самом первом предложении он заявляет, что равносторонний треугольник может быть построен на любом отрезке прямой. В доказательстве он строит два круга, центры каждого из которых находятся на концах отрезка, и у каждого радиус равен длине этого отрезка. Далее он берет точку, в которой эти окружности пересекаются. Хотя рисование окружностей нам эту точку ясно покажет, Евклид не дает никаких формальных гарантий существования этой точки. По сути, его системе не достает постулата, обещающего непрерывность линий или окружностей, т. е. что в них нет разрывов. Кроме того, он не сумел распознать и другие допущения, применяемые им в доказательствах, например, что точки и прямые существуют, что не все точки лежат на одной прямой и что на любой прямой есть как минимум две точки.
В другом доказательстве он неявно допустил, что, если три точки лежат на одной прямой, мы можем определять одну из них как лежащую между двумя другими. Ничто в его постулатах или определениях не дает нам доказать это. На деле это допущение – своего рода требование прямизны: оно не допускает кривых, поскольку такие линии могут образовывать замкнутую петлю – к примеру, круг, – и тогда ни одну точку на ней нельзя считать лежащей между двумя другими.