Поле деятельности Эйнштейна не ограничивалась общей теорией относительности. Тридцать лет он цеплялся то за одну, то за другую гипотезу, иногда отказываясь от той или иной возможности, чтобы вернуться к ней годы спустя. Например, он пытался расширить пространство-время с четырех до пяти измерений. Это дополнительное пространственное измерение было свернутым и практически ненаблюдаемым. Его геометрия, или кривизна, играла роль электромагнитного поля, отвечая на заряд и токи в точности так, как в середине XIX века было предсказано Джеймсом Клерком Максвеллом.
Авторство идеи о пятимерной Вселенной принадлежало не Эйнштейну. Ее выдвинули двое молодых ученых: младший приват-доцент из Кенигсбергского университета Теодор Калуца и работавший под руководством Нильса Бора молодой и шедский ученый Оскар Клейн. Вместе они предложили способ практически идеально имитировать электромагнетизм при помощи пятимерного пространства-времени. Вселенные Калуцы и Клейна, на которые Эйнштейн потратил почти двадцать лет своей жизни, наполнены странной формой материи, бесконечным количеством частиц различной массы, распределенных в пространстве и искажающих остальную геометрию пространства-времени. Эйнштейн надеялся, хотя так и не смог этого доказать, что эти дополнительные поля могут быть неразрывно связаны с волновыми функциями, введенными Шрёдингером в его квантовую физику. От этих гипотез он отказался в конце 1930-х, но, что интересно, построения Калуцы-Клейна снова выйдут на сцену в 1970-х, когда в теоретической физике начнется поиск универсальной теории.
Намного больше времени Эйнштейн посвящал попыткам объединения гравитационных взаимодействий и электромагнетизма. Он ввел в геометрическую основу общей теории относительности язык, предложенный Риманом за много десятилетий до ее появления. Исходная теория при описании геометрии и динамики пространства-времени использовала десять неизвестных функций, определяемых из предложенных Эйнштейном уравнений поля. Именно такое количество связанных друг с другом неизвестных было одной из основных причин сложности работы с теорией. Но новую версию, по замыслу Эйнштейна, нужно было расширить, добавив еще шесть функций, три из которых относились к электрической части, а три к магнитной. Сложность состояла в том, чтобы объединить эти шестнадцать функций, сохранив однозначность и предсказуемость теории. В случае успеха результат привел бы к грандиозным выводам одновременно и из общей теории относительности, и из теории электромагнитных взаимодействий. Эйнштейн хотел сделать это красиво с математической точки зрения, но за десятки лет так и не смог найти нужный путь.
Эйнштейн знал, что поиск большой универсальной теории должен был стать доминирующим в физике конца XX века, но пока ему предстояло заниматься этим нереально сложным делом в одиночку. В то время как он без посторонней помощи сражался со своей новой и дьявольски сложной теорией, остальной мир с интересом следил за ним. Время от времени Эйнштейн попадал на первые страницы центральных газет. В ноябре 1928 года заголовок New York Times объявил: «Эйнштейн на пороге большого открытия», а спустя несколько месяцев появилось короткое интервью Эйнштейна с такой припиской: «Эйнштейн поражен суматохой вокруг новой теории. Держит сто журналистов в напряжении целую неделю». Этот уровень внимания и напряженного ожидания сопровождал его и следующие двадцать пять лет. В 1949 году в New York Times снова объявили: «Новая теория Эйнштейна дает ключ к тайнам Вселенной», а несколько лет спустя, в 1953-м, провозгласили: «Эйнштейн предлагает новую теорию для объединения космических законов». Несмотря на внимание популярных газет, среди коллег Эйнштейн начинал чувствовать себя в некотором роде чужаком, а его попытки унификации не находили широкого отклика.
Сбежав из Германии из-за негативного отношения к своей деятельности, Эйнштейн обнаружил, что его новая родина, Соединенные Штаты, также не проявляет к общей теории относительности особого интереса. Молодые ученые с хорошим потенциалом, способные продвинуть ее вперед, были поглощены квантовой физикой, пытаясь применять ее к фундаментальным частицам и взаимодействиям.
В некотором смысле их можно было понять. Ранее общая теория относительности уже принесла ряд успешных открытий, например она обосновала прецессию перигелия Меркурия и гравитационное отклонение света. Она привела к открытию расширяющейся Вселенной, сильно повлияв на наше мировоззрение. Но это было в прошлом. Кроме того, создалось впечатление, что теория относительности может давать только фантастические математические предсказания, такие как решения Шварцшильда или Оппенгеймера и Снайдера для коллапсирующих или сколлапсировавпшх звезд. Доказательством подобных странных решений, существовавших где-то там, в пространстве, была только сама теория. Но в реальности их никто не видел, поэтому имело смысл считать их математическим казусом. А квантовая физика поддавалась экспериментальным измерениям в лабораториях и могла служить для создания каких-то вещей. Однако было ясно, что общая теория относительности может давать и еще более странные результаты, что смог показать логик Курт Гёдель.
Путь из дома в институт Эйнштейн не всегда совершал в одиночку. Часто этого эксцентричного и неаккуратно выглядящего профессора с всклокоченными волосами и добрым взглядом сопровождала маленькая фигурка, всегда укутанная в тяжелое пальто, с глазами, скрытыми за толстыми линзами очков. Пока Эйнштейн рассеянно двигался к главному зданию института, этот человек плелся следом, спокойно выслушивая монологи Эйнштейна и отвечая ему высоким голосом. Эйнштейн наслаждался прогулками с этим странным маленьким человеком и доверял ему. Его другом стал Курт Гёдель, ученый, ответственный за пересмотр современной математики. К изумлению Эйнштейна, Гёдель смог значительно расширить общую теорию относительности.
Гёдель приехал из Вены, которая в начале столетия представляла собой интеллектуальный центр. В ее кофейнях, которые стали домом для Эрнста Маха, Людвига Больцмана, Рудольфа Карнапа, Густава Климта и целого ряда гениальных мыслителей, процветал свободный дух дискуссий. Наиболее престижным из неформальных сообществ был получивший Мировую известность «Венский кружок». Туда попадали только по приглашениям, и Гёдель оказался в числе немногих избранных.
В отличие от Эйнштейна Гёдель получал в школе отличные отметки по всем предметам, а в университете считался выдающимся студентом. Он заигрывал с физикой, но представлял, как соединить ее с математикой в одну логичную конструкцию. Он оперативно изучал разработки, которые с удивительной скоростью штамповали философы и математики в попытках создать нерушимую теорию математики, в которой не будет места нерациональности, допущениям и обходным маневрам. Именно такой план продвигал правивший в Геттингене Давид Гильберт.
Гильберт был убежден, что всю математику можно построить из набора постулатов, или аксиом. С его точки зрения, тщательно и систематически применяя правила логики, любой математический факт во Вселенной можно вывести из не более чем полудюжины аксиом. Исключений быть не должно. Проверка любого математического факта от 2 + 2 = 4 до последней теоремы Ферма должна была иметь логическое доказательство. Именно программа Гильберта являлась движущей силой математики, когда на нее обратил внимание Гёдель.
Погруженный в жизнь Вены, спокойно посещающий собрания «Венского кружка» и наблюдающий за бесконечными обсуждениями способов распространить программу Гильберта на всю природу, которые вели логики и математики, Гёдель медленно и неуклонно подбирался к собственной фундаментальной гипотезе. И в какой-то момент одним махом полностью разрушил планы Гильберта, сформулировав теорему о неполноте.
Эта теорема утверждала крайне простые вещи. Любое Математическое описание системы начинается с набора аксиом и правил. Гёдель показал, что при любом наборе первоначальных постулатов всегда останутся аспекты, которые невозможно вывести: недоказуемые неопровержимые формулы. Обнаруженную формулу можно добавить в существующий набор аксиом. Но теорема Гёделя показала наличие бесконечного количества таких недоказуемых неопровержимых формул. По мере того как вы находите все новые истины, которые невозможно доказать, и добавляете их к своим аксиомам, ваша простая и элегантная дедуктивная система раздувается до гигантских размеров, оставаясь тем не менее неполной.
Теорема Гёделя парализовала программу Гильберта и выбила из седла многих его коллег. Сам Гильберт сначала с раздражением отказался признавать результат Гёделя, но в конечном итоге он его принял и безуспешно попытался встроить в свою программу. Другие философы опубликовали ничем не обоснованную критику, от которой Гёдель дистанцировался. Английский философ Бертран Рассел так никогда и не смог нормально воспринять результаты Гёделя. Доминировавший в философских течениях первой половины XX века Людвиг Витгенштейн просто отверг теорему о неполноте как неуместную. Но Гёдель верил, что она таковой не была.