В 1949 г. Эйнштейна обеспокоило открытие одного из его близких друзей и коллег, венского математика Курта Гёделя из Института перспективных исследований в Принстоне, где работал и Эйнштейн. Гёдель нашёл внушающее тревогу решение уравнений Эйнштейна, допускавшее нарушение основных принципов здравого смысла: его решение подразумевало определённые формы путешествий во времени. Впервые в истории идея путешествий во времени обрела математический фундамент.
В некоторых кругах Гёделя прозвали «спойлером» (от англ. spoiler — вредитель, пакостник). В 1931 г. он приобрёл славу (сомнительную), доказав вопреки всем ожиданиям, что продемонстрировать самосогласованность арифметики нельзя. При этом он вдребезги разбил мечту двух тысячелетий, восходящую ещё к временам Евклида и древних греков, которой полагалось увенчать достижения математиков: мечту о сведении всей математики к небольшому самосогласованному своду аксиом, из которых можно вывести всё.
Проявив математическую ловкость, Гёдель доказал, что в арифметике всегда будут теоремы, корректность или некорректность которых невозможно продемонстрировать с помощью арифметических аксиом, т. е. арифметика всегда будет несовершенной. Результатом действий Гёделя стал, возможно, самый ошеломляющий и неожиданный поворот в развитии математической логики за целое тысячелетие.
Математика, некогда считавшаяся ввиду её точности и определённости самой чистой из наук, не испорченной вульгарностью нашего материального мира, утратила свою определённость. После Гёделя стало казаться, что математика плывёт по течению. (Грубо говоря, поразительное доказательство Гёделя помогло увидеть, что в логике присутствуют любопытные парадоксы. Возьмём, к примеру, утверждение «это высказывание ложно». Если высказывание истинно, значит, утверждение ложно. Если высказывание ложно, утверждение истинно. Или, например, если я сказал, что я лжец, тогда я лгу только в том случае, если говорю правду. Гёдель сформулировал утверждение «истинность этого высказывания не может быть доказана». Если утверждение корректно, значит, нельзя доказать, что оно корректно. Искусно сплетая замысловатую паутину подобных парадоксов, Гёдель показал, что существуют истинные утверждения, которые невозможно доказать арифметически.)
Развеяв одно из самых заветных мечтаний всех математиков, Гёдель не оставил камня на камне от здравого смысла, который было принято ассоциировать с уравнениями Эйнштейна. Он продемонстрировал, что теория Эйнштейна содержит удивительные патологии, в том числе путешествия во времени.
Сначала Гёдель предположил, что Вселенная наполнена медленно вращающимся газом или пылью. Предположение выглядело разумно, так как газопылевые скопления присутствуют в отдалённых областях Вселенной. Однако решение Гёделя внушало серьёзные сомнения по двум причинам.
Во-первых, это решение противоречило принципу Маха. Гёдель показал, что при одинаковом распределении пыли и газа возможны
Что ещё важнее, Гёдель доказал допустимость определённых форм путешествий во времени. Если проследить путь частицы во Вселенной Гёделя, в конце концов она вернётся обратно и встретится с самой собой в прошлом. Гёдель писал: «Совершая круговой рейс на ракете по достаточно широкой кривой, можно побывать в этих мирах в любой области прошлого, настоящего и будущего и вернуться обратно»{97}. Так Гёдель обнаружил первую замкнутую временеподобную кривую в общей теории относительности.
Ранее Ньютон считал, что время движется подобно прямой стреле, летящей вперёд точно к цели. Ничто не может сбить стрелу с пути или заставить её изменить траекторию после того, как стрела выпущена. Однако Эйнштейн показал, что время больше похоже на могучую реку, текущую вперёд, но зачастую прокладывающую извилистый путь по узким долинам и равнинам. В присутствии материи или энергии направление движения реки на время меняется, но в целом её движение остаётся равномерным: река никогда не останавливается внезапно и не поворачивает вспять рывком. Но Гёдель показал, что река времени может равномерно двигаться в обратном направлении, замыкаясь в круг. Ведь в реках есть и бурные течения, и водовороты. Главное течение реки может быть равномерным, а вдоль берегов всегда образуются заводи, где вода совершает круговое движение.
От выводов Гёделя было невозможно отмахнуться, так как он пользовался уравнениями поля, выведенными Эйнштейном, и находил странные решения, в которых время замыкалось в круг. Так как Гёдель играл по правилам и нашёл законное решение уравнений, Эйнштейну пришлось избрать обходной путь и отказаться от предложенного решения ввиду его несоответствия экспериментальным данным.