Среди основополагающих аксиом эвклидовой геометрии есть одна аксиома, посвященная вопросу о параллельных и хорошо известная каждому школьнику. Эта аксиома — пятый постулат — утверждает, что через точку, расположенную вне прямой линии, можно провести лишь единственную прямую, параллельную данной. Это утверждение, согласующееся с нашим повседневным опытом, в течение длительного времени считалось вполне очевидным и не вызывало никаких сомнений. Правда, неоднократно делались попытки доказать пятый постулат, вывести его из других аксиом; однако эти попытки не приносили успеха, хотя подобными исследованиями занимались такие выдающиеся математики, как Лагранж, Лаплас, Даламбер, Фурье, Гаусс и многие другие.
Так продолжалось до тех пор, пока проблемой не заинтересовался наш соотечественник Н. И. Лобачевский (1792–1856). Он предпринял попытку построить такую геометрию, все аксиомы которой были бы тождественны обычным, но пятый постулат заменен другим: через точку, лежащую вне прямой, можно провести сколько угодно линий, ей параллельных.
Лобачевский рассуждал так: если подобное предположение неверно, оно неизбежно приведет к противоречию, и утверждение Эвклида о параллельных прямых будет тем самым доказано.
Однако никаких противоречий не возникло: оказалось, что с помощью системы аксиом, выбранной Лобачевским, тоже может быть построена вполне непротиворечивая геометрия.
Как известно, открытие Лобачевского совершило подлинный переворот в математических представлениях. Оно не только указало принципиально новые пути для развития самой математики, но. и дало чрезвычайно важный толчок к новому пониманию роли математических и, в частности, геометрических методов в изучении окружающего нас мира.
Если эвклидова геометрия не единственная возможная геометрическая система, то вполне вероятно, что и геометрические свойства Вселенной могут выходить за рамки этой системы.
По существу, это был первый шаг к новой картине мира, построенной впоследствии теорией относительности.
В 1962–1964 гг. П. Коэн осуществил последний и самый важный шаг в решении проблемы континуума. Ему удалось доказать, что система аксиом Цермелло — Френкеля остается непротиворечивой и в том случае, если заменить аксиому выбора другой аксиомой, противоположной по содержанию. В этой системе аксиом не выполняется и континуум-гипотеза Кантора, что также не приводит ни к каким противоречиям.
Многие считают, что открытие Коэна является одним из самых выдающихся достижений естественных наук во второй половине текущего столетия, и его можно сравнить с такими научными свершениями, как, скажем, открытие квазаров и пульсаров в астрономии или крушение закона «четности» в физике.
