Такое сравнение вызывает больше вопросов, чем дает ответов. Во-первых, что такое красивая теория? Каковы те характеристики физических теорий, которые вызывают у нас ощущение красоты? Более трудный вопрос: почему срабатывает ощущение красоты у физиков? Истории, рассказанные в предыдущей главе, продемонстрировали, что такое личное и субъективное чувство, как наше ощущение красоты, помогает не только развивать физические теории, но и судить об их справедливости. Почему мы обладаем таким даром эстетической оценки? Попытка ответить на этот вопрос вызывает к жизни еще более трудный вопрос, хотя он, возможно, и звучит тривиально: а чего собственно хотят добиться физики?
Что такое красивая теория? Работник одного большого американского музея однажды очень рассердился на то, что я употребил слово «красота» в разговоре о физике. Он сказал, что профессионалы в его области перестали употреблять это слово, так как поняли, насколько трудно определить его смысл. Очень давно физик и математик Анри Пуанкаре признал: «Очень трудно определить понятие математической красоты, но это же относится и к любому другому типу красоты».
Я не собираюсь пытаться определить, что такое красота, так же как не взялся бы определять понятия любви или страха. Такие вещи не определяются; просто, когда вы их чувствуете, вы знаете, о чем идет речь. Позднее, после того, как эти чувства испытаны вы можете иногда их как-то описать словами, что я и попытаюсь сделать.
Под красотой физической теории я, безусловно, не имею в виду механическую красоту расположения математических символов на печатном листе. Поэт-метафизик Томас Траерн специально заботился о том, чтобы слова его поэм образовывали на листе бумаги красивый узор22). Но к физике эти игры не относятся. Я также хотел бы отделить тот тип красоты, который я имею в виду, от качества, которое математики и физики иногда называют элегантностью. Доказательство или вычисление элегантно, если с его помощью достигается мощный результат при минимальном количестве не имеющих отношения к делу усложнений. Для красивой теории совершенно не обязательно, чтобы ее уравнения имели элегантные решения. Уравнения общей теории относительности невероятно трудно решить за исключением простейших ситуаций, но это ни в коей мере не противоречит красоте самой теории. Эйнштейн говорил, что ученые должны оставить элегантность для портных.
Частью того, что я называю красотой, является простота, но простота идей, а не механическая простота, которую можно оценить, подсчитав число уравнений или символов. Теории тяготения Ньютона и Эйнштейна содержат уравнения, определяющие гравитационные силы, создаваемые любым заданным количеством вещества. В ньютоновской теории таких уравнений три (что соответствует трехмерности нашего пространства), в теории Эйнштейна их четырнадцать