У интуиции есть своя логика. Гёдель. Теоремы о неполноте.

Заметным следствием бесед с Эйнштейном стали статьи Гёделя по теории относительности — в отличие от остальных его работ они не имеют прямой связи с математической логикой.

Первая, написанная на английском языке, называлась "Пример нового типа космологических решений эйнштейновских уравнений гравитационного поля" и была опубликована в журнале Reviews of Modern Physics за 1949 год (том 21, номер 3, страницы 447-450). В этой статье Гёдель представил решение уравнений Эйнштейна, которое заключается в описании вращающейся, гомогенной, закрытой и стабильной (то есть нерасширяющейся) системы с замкнутыми времени подобными кривыми. Теоретически эти кривые позволяли путешествия во времени и фактически сделали бы так, что в такой Вселенной времени не существовало бы в том значении, в котором мы обычно его понимаем, поскольку прошлое и будущее были бы неразличимы.

Хотя такое описание не противоречит уравнениям Эйнштейна, оно касается не реального мира. И все же Вселенная Гёделя вызывала определенный интерес. Ученый писал: 

"Сам факт совместимости с законами природы вселенных, в которых невозможно различить абсолютное время и, следовательно, в которых не может существовать объективного промежутка времени, проливает свет на значение времени также в тех вселенных, в которых можно определить абсолютное время". 

Эти слова взяты из "Замечания об отношении между теорией относительности и идеалистической философией", опубликованного также в 1949 году в качестве сообщения в сборнике, изданном Артуром Шлиппом, посвященном работе Эйнштейна. Эта книга была частью коллекции "Библиотека современных философов", вклад в которую Гёдель внес еще в 1944 году сборником, посвященным Бертрану Расселу. В отличие от других работ эта статья была написана языком, доступным широкой публике, без использования математических формул. В ней Гёдель рассмотрел некоторые философские следствия из теории относительности в ее связи с природой времени, "этой таинственной и, казалось бы, противоречивой сущности, которая, с другой стороны, похоже, составляет основу существования мира и нашего собственного существования" (цитата из этой статьи).

В работе Гёдель утверждает, что относительность обеспечивает "безошибочное доказательство философской концепции, в которой, как и у Парменида, Канта и современных идеалистов, отрицается объективность изменений и считается, что изменение — это иллюзия или видимость, вызванная нашим особенным методом восприятия". Гёдель объясняет эту идею,

Гёдель(слева) и Эйнштейн во время одной из многочисленных прогулок в Принстоне с 1940 по 1954 год.

В 1951 году Гёдель (вместе с американским физиком-теоретиком Джулианом Швингером) был награжден премией Альберта Эйнштейна. Слева направо: Эйнштейн, Льюис Штраус (председатель совета Института перспективных исследований в Принстоне), Гёдель и Швингер.

основываясь на том факте, что изменение существует только относительно объективного промежутка времени, но понятие "объективного промежутка времени" несправедливо в релятивистской вселенной, в которой у каждого наблюдателя есть свое собственное "сейчас", не сравнимое с "сейчас" других наблюдателей. Следовательно, если нет объективного времени, нет изменений.

Гёдель продолжает: "Джеймс Джинс сделал вывод, что нет причин отказываться от интуитивной идеи существования абсолютного времени, длящегося объективно. Я не думаю, что ситуация оправдывает этот вывод", — говорит он и объясняет это расхождение во взглядах, основываясь на результатах, полученных в своей предыдущей статье. Если существуют вселенные без объективного времени, совместимые с уравнениями относительности, а наша Вселенная, конечно же, совместима с ними, то мы не можем точно сделать вывод о том, что в нашей Вселенной есть объективное время.

В 1952 году была опубликована третья и последняя работа Гёделя об относительности. Она называлась "Вращающиеся вселенные в общей теории относительности" и на самом деле была рефератом его выступления на Международном математическом конгрессе в Кембридже (Массачусетс) в 1950 году. В ней ученый излагает новые решения уравнений Эйнштейна, вновь основанные на вращающихся Вселенных, хотя в этом случае не все они имеют замкнутые времениподобные кривые.

Хотя решения Гёделя не описывают реальную Вселенную, они подтолкнули поиск неортодоксальных решений уравнений Эйнштейна, и в этой области Гёдель опять был первым.