Вопрос стоял так; противоречит или не противоречит аксиома выбора другим исходным аксиомам теории множеств? После многолетних усилий ряда ученых в 1938–1948 гг. Курт Гёдель наконец нашел ответ на этот вопрос: аксиома выбора независима от других аксиом теории множеств и не вступает с ними в противоречие. А это означало, что континуум-гипотезу Кантора нельзя опровергнуть.
Но тем самым сложилась ситуация, весьма напоминающая знаменитую историю с пятым постулатом Эвклида и чреватая далеко идущими последствиями.
Среди основополагающих аксиом эвклидовой геометрии есть одна аксиома, посвященная вопросу о параллельных и хорошо известная каждому школьнику. Эта аксиома — пятый постулат — утверждает, что через точку, расположенную вне прямой линии, можно провести лишь единственную прямую, параллельную данной. Это утверждение, согласующееся с нашим повседневным опытом, в течение длительного времени считалось вполне очевидным и не вызывало никаких сомнений. Правда, неоднократно делались попытки доказать пятый постулат, вывести его из других аксиом; однако эти попытки не приносили успеха, хотя подобными исследованиями занимались такие выдающиеся математики, как Лагранж, Лаплас, Даламбер, Фурье, Гаусс и многие другие.
Так продолжалось до тех пор, пока проблемой не заинтересовался наш соотечественник Н. И. Лобачевский (1792–1856). Он предпринял попытку построить такую геометрию, все аксиомы которой были бы тождественны обычным, но пятый постулат заменен другим: через точку, лежащую вне прямой, можно провести сколько угодно линий, ей параллельных.
Лобачевский рассуждал так: если подобное предположение неверно, оно неизбежно приведет к противоречию, и утверждение Эвклида о параллельных прямых будет тем самым доказано.
Однако никаких противоречий не возникло: оказалось, что с помощью системы аксиом, выбранной Лобачевским, тоже может быть построена вполне непротиворечивая геометрия.
Как известно, открытие Лобачевского совершило подлинный переворот в математических представлениях. Оно не только указало принципиально новые пути для развития самой математики, но. и дало чрезвычайно важный толчок к новому пониманию роли математических и, в частности, геометрических методов в изучении окружающего нас мира.
Если эвклидова геометрия не единственная возможная геометрическая система, то вполне вероятно, что и геометрические свойства Вселенной могут выходить за рамки этой системы.
По существу, это был первый шаг к новой картине мира, построенной впоследствии теорией относительности.
В 1962–1964 гг. П. Коэн осуществил последний и самый важный шаг в решении проблемы континуума. Ему удалось доказать, что система аксиом Цермелло — Френкеля остается непротиворечивой и в том случае, если заменить аксиому выбора другой аксиомой, противоположной по содержанию. В этой системе аксиом не выполняется и континуум-гипотеза Кантора, что также не приводит ни к каким противоречиям.
Многие считают, что открытие Коэна является одним из самых выдающихся достижений естественных наук во второй половине текущего столетия, и его можно сравнить с такими научными свершениями, как, скажем, открытие квазаров и пульсаров в астрономии или крушение закона «четности» в физике.
Ведь из работы Коэна следует, что может быть построена вполне непротиворечивая математика, в которой ни аксиома выбора, ни континуум-гипотеза не выполняются. И если обычная математика — это математика упорядоченного мира, то новая, о которой идет речь, — это математика мира, не поддающегося упорядочению. Вопрос: в какой степени такая математика отражает свойства реальной Вселенной, существуют ли в природе физические условия, которые ей соответствуют?
Заранее предугадать ответ на этот вопрос, разумеется, невозможно, его может дать только дальнейшее изучение реального мира.
Но сам по себе вопрос этот вполне законный. Хотя математические теории часто развиваются по своей внутренней логике и потому кажутся иной раз совершенно оторванными от реальности, в конечном счете в их основе лежат те или иные объективные факты. И поэтому тесная связь между математическими представлениями и развитием физической картины мира — связь, которую мы обнаруживаем буквально на всех этапах истории естествознания, далеко не случайна.
Совершенно отчетливо проглядывает эта связь и в исследовании проблемы бесконечности Вселенной, в изучении геометрических свойств окружающего нас мира.
Глава III. МАТЕРИЯ И ГЕОМЕТРИЯ
Когда Вселенной не было?
Шестого июня 1964 года на четвертой странице газеты «Комсомольская правда» под рубрикой юбилейного сотого выпуска «Клуба любознательных» была напечатана статья под необычным названием: «Когда Вселенной не было…»
Статья была подписана весьма авторитетными учеными — известным советским физиком-теоретиком академиком Яковом Борисовичем Зельдовичем и его молодым сотрудником, тогда кандидатом, а ныне доктором физико-математических наук Игорем Дмитриевичем Новиковым. Речь шла о теории так называемой «расширяющейся Вселенной».
«…В некоторый момент в прошлом, — говорилось в статье, — плотность вещества Вселенной была бесконечной. Вся бесконечная Вселенная была точкой! Как ни трудно свыкнуться с таким представлением о прошлом мире, но большинство ученых считает, что расширение Вселенной началось с такого сверхплотного состояния. Больше того, можно назвать даже дату, когда наша Вселенная начала развиваться из точки…»
Через несколько дней сотрудница отдела писем выложила на стол заведующего отделом науки целую груду конвертов. Большинство авторов задавали вопросы по существу, интересовались подробностями, просили разъяснить непонятные места, справлялись о литературе.
Но были и такие, которые весьма озабоченно и даже с некоторой угрозой вопрошали: как же так? Что значит — когда Вселенной не было? Как понимать подобное утверждение? Уж не хотят ли уважаемые авторы статьи сказать, что в самом деле было такое время, когда Вселенной не существовало? Ведь это же чистой воды идеализм!.. Возрождение религиозных представлений о сотворении мира!..
Действительно, фраза «когда Вселенной не было…» звучит для нашего слуха несколько странно. Ведь слово «Вселенная» олицетворяет для нас мир, всю материю, все существующее.
Но если бы авторы негодующих писем заглянули в современную научную литературу по физике — их возмущение, вероятно, возросло бы многократно. Они встретили бы там и такие выражения, как «рождение» Вселенной, «возраст» Вселенной, «границы» Вселенной и т. п.
Однако на сей раз запал правоверных защитников атеизма, увы, пропал зря. Разумеется, и Зельдович, и Новиков, и другие советские ученые, работающие в области изучения Вселенной, отнюдь не меньшие материалисты, нежели авторы тревожных писем.
В чем же дело?
Действительно, на протяжении столетий астрономы фактически отождествляли понятие «Вселенная» с понятием «материя».
И в этом случае утверждение о начале Вселенной во времени действительно противоречило бы и фундаментальным законам физики, и одному из основных положений материализма о вечности материи.
Однако по мере развития естествознания и диалектико-материалистической философии, все отчетливее становится ясно, что наука не может изучать «всю материю», материю «саму по себе», во всем многообразии ее качеств и свойств, а объектом ее исследования являются лишь определенные аспекта, стороны, фрагменты материального мира. А это и означает, что Вселенная как объект научного исследования — не есть весь материальный мир, «Вселенная в целом». Впрочем, возможно, этот факт еще не скоро повлиял бы на изменение терминологии — терминология вещь довольно консервативная. Но тут сыграло роль одно обстоятельство.
В последние десятилетия астрономическая наука весьма тесно сблизилась с физикой — на передний план выдвинулось изучение физических процессов, протекающих в космосе. Не удивительно, что это новое многообещающее поле деятельности привлекло к себе внимание многих физиков, в особенности физиков-теоретиков. «Явившись» в астрономию, физики принесли с собой и свою привычную терминологию, и привычные способы описания явлений.