Том 22. Сон разума. Математическая логика и ее парадоксы

И тогда на сцену вышел Эйнштейн. Любой может представить себе, что произойдет с простыней, которую натянули два человека, если в ее центр бросить мяч, однако предположить, что точно так же ведут себя планеты в космосе, смог лишь этот гениальный сотрудник патентной конторы в Берне. Тело столь большой массы, как Земля, искажает пространство вокруг себя, и гравитация есть не что иное, как мера кривизны пространства. Если маленький шарик бросить на простыню, деформированную под весом мяча, он немедленно скатится к ее центру. Аналогично, тело в состоянии свободного падения притянется к поверхности Земли в результате искажения пространства вокруг нее. Если тело находится далеко от Земли и при этом движется, как, например, Луна, то благодаря искажению пространства оно не притянется к Земле, а будет удерживаться на земной орбите. Таким образом, в той геометрии, где гравитация является мерой кривизны пространства, пятый постулат Евклида не выполняется.

Графическое изображение деформации пространства, вызванной силой земного тяготения.

Эйнштейна совершенно не волновало, что его теория относительности разрушила мечты о евклидовом космосе, поскольку со временем он понял, что геометрия носит сугубо формальный характер. В первой главе книги «О специальной и общей теории относительности» — научно-популярном изложении результатов своих исследований, опубликованном в 1920 году, — Эйнштейн объясняет, что геометрия основана на ряде понятий («точка», «плоскость» и «прямая»), которые мы четко представляем себе, а также на определенных простых предложениях, аксиомах, которые кажутся нам истинными, если трактовать их согласно нашим представлениям о понятиях геометрии, к которым они относятся. Исходя из этих основных принципов остальные предложения доказываются методом дедукции: если все промежуточные рассуждения корректны, то истинность вывода зависит исключительно от истинности исходных посылок. Таким образом, чтобы ответить на вопрос, какую форму имеет наш мир, необходимо знать, верны пять постулатов Евклида или нет. Однако найти ответ на этот вопрос методами геометрии нельзя. Более того, этот вопрос не имеет смысла.

Эйнштейн продолжал: бесполезно пытаться доказать, действительно ли через две точки можно провести только одну прямую. Все, что нам известно, — это то, что в геометрии идет речь о понятиях «точка» и «прямая линия», которые связаны следующим образом: две различные «точки» определяют единственную «прямую».

Чтобы спор об истинности аксиом имел смысл, сначала нужно установить их соответствие с реальностью: если всякий раз, когда Евклид упоминает «точку» и «прямую линию», мы будем трактовать эти понятия привычным нам способом, то аксиома «через две точки можно провести прямую» будет корректной, и мы сможем подтвердить ее истинность экспериментально. Однако ничто не указывает, что в геометрии эти понятия нужно понимать точно так же, как и в обычной жизни, — напротив, геометрия есть не более чем множество абстрактных идей и отношений между ними.

Одна из последних фотографий Альберта Эйнштейна, сделанная около 1950 года.

Рассмотрим пример, который впервые упоминается в статьях итальянского геометра Эудженио Бельтрами (1835–1900). Пусть пространство, в котором находятся объекты, заключено внутри круга (не включая его границу). Предложим следующее простое соответствие: когда Евклид говорит о «точке», мы будем представлять точки внутри круга, а когда он говорит о «прямой линии», мы будем представлять себе отрезки, начало и конец которых лежат на границе круга. В такой трактовке две «точки» определяют единственную «прямую линию» и, следовательно, первый постулат Евклида будет выполняться. Перед тем как рассмотреть пятый постулат, напомним, что две «прямые» параллельны, если они никогда не пересекаются.

Возьмем произвольную «точку» внутри круга, например его центр, и произвольную «прямую линию». Соединив «точку» с концами отрезка («прямой линии»), получим две «прямые», которые проходят через нее и параллельны исходной прямой, так как гипотетические точки пересечения этих прямых находятся на границе круга, а она не принадлежит пространству! Следовательно, в модели Бельтрами постулат о параллельности прямых не выполняется.

Неевклидова модель Эудженио Бельтрами.