Под красотой физической теории я, безусловно, не имею в виду механическую красоту расположения математических символов на печатном листе. Поэт-метафизик Томас Траерн специально заботился о том, чтобы слова его поэм образовывали на листе бумаги красивый узор. Но к физике эти игры не относятся. Я также хотел бы отделить тот тип красоты, который я имею в виду, от качества, которое математики и физики иногда называют элегантностью. Доказательство или вычисление элегантно, если с его помощью достигается мощный результат при минимальном количестве не имеющих отношения к делу усложнений. Для красивой теории совершенно не обязательно, чтобы ее уравнения имели элегантные решения. Уравнения общей теории относительности невероятно трудно решить за исключением простейших ситуаций, но это ни в коей мере не противоречит красоте самой теории. Эйнштейн говорил, что ученые должны оставить элегантность для портных.

Частью того, что я называю красотой, является простота, но простота идей, а не механическая простота, которую можно оценить, подсчитав число уравнений или символов. Теории тяготения Ньютона и Эйнштейна содержат уравнения, определяющие гравитационные силы, создаваемые любым заданным количеством вещества. В ньютоновской теории таких уравнений три (что соответствует трехмерности нашего пространства), в теории Эйнштейна их четырнадцать. Само по себе это не может считаться эстетическим преимуществом ньютоновской теории перед эйнштейновской. На самом деле именно теория Эйнштейна более красива, отчасти из-за простоты ее главной идеи об эквивалентности тяготения и инерции. В этом сходятся все ученые и, как мы видели, во многом благодаря такой оценке теория Эйнштейна получила быстрое признание.

Есть и другое качество, кроме простоты, делающее физическую теорию красивой – это ощущение неизбежности, которую нам внушает теория. Слушая музыкальное произведение или читая сонет, вы иногда получаете огромное эстетическое наслаждение от ощущения, что в этом произведении ничего нельзя изменить, что ни одна нота и ни одно слово не должны быть иными. В «Святом семействе» Рафаэля расположение каждой фигуры совершенно. Может быть, это не самая любимая ваша картина, но когда вы на нее смотрите, у вас не возникает желания, чтобы что-то было написано иначе. Это же частично верно (и никогда не более, чем частично верно) и в отношении общей теории относительности. Если вам известны общие физические принципы, принятые Эйнштейном, вы понимаете, что не существует другой существенно отличающейся теории тяготения, к которой он мог бы прийти. Как писал сам Эйнштейн об общей теории относительности, «главной привлекательной чертой теории является ее логическая полнота. Если хоть один из ее выводов окажется неверным, теорию следует отвергнуть; похоже, что подправить ее, не разрушив всю структуру, невозможно».

Это менее верно для теории Ньютона. Ньютон вполне мог предположить, что гравитационная сила уменьшается обратно пропорционально кубу, а не квадрату расстояния, если бы только это соответствовало требованиям астрономических данных, но Эйнштейн не мог включить в свою теорию закон обратных кубов, не разрушив ее концептуальную основу. Поэтому четырнадцать уравнений Эйнштейна неизбежны и, следовательно, красивы, чего нет в трех уравнениях Ньютона. Думаю, что именно это имел в виду Эйнштейн, когда говорил, что левая часть уравнений тяготения в общей теории относительности, содержащая гравитационное поле, красива и как будто вырезана из мрамора, в то время как правая часть уравнений, описывающая материю, все еще уродлива, будто сделана из обыкновенной деревяшки. Все дело в том, что способ включения гравитационного поля в уравнения Эйнштейна почти неизбежен, но в общей теории относительности нет ничего, что объясняло бы, почему материя входит в уравнения именно в таком, а не ином виде.

То же ощущение неизбежности возникает (опять же, только частично) при рассмотрении современной стандартной модели сильных и электрослабых сил, действующих между элементарными частицами.