Шаги за горизонт

Вышеупомянутая компактность теории и осуществляемая с ее помощью идеализация действительности могут быть истолкованы в том смысле, что убедительная сила завершенной теории в конечном счете определяется ее простотой и красотой. Однако не следует переоценивать влияние эстетического критерия. Ибо в существующих завершенных теориях, если присмотреться, просты лишь понятийные основания, но не математическая структура. Ньютоновская механика, например, имеет форму системы связанных нелинейных дифференциальных уравнений, далеко не простых по своей математической структуре; вспомним хотя бы сложнейшую проблему нескольких тел в астрономии. В центре статистической термодинамики Гиббса стоит понятие канонического распределения, для формализации которого может быть использовано простое математическое поведение показательной функции; но за ее пределами о математической простоте нет и речи. Уж скорее в квантовой теории мы еще как-то можем говорить о простой математической структуре, потому что здесь в основе лежит все здание хорошо разработанного учения о линейных преобразованиях. Однако и в квантовой механике проблемы, связанные с дельта-функцией Дирака[74], указывают пределы математической простоты. Компактность завершенной теории, таким образом, относится больше к ее логическому и понятийному, чем к формально-математическому аспекту. Недаром в истории возникновения завершенных теорий прояснение физического смысла понятий, как правило, предшествовало полному пониманию математической структуры.

Эмпирический коррелят компактности — внутренняя связь многих экспериментов, т. е. факт, что отклонение опыта от теории в одном эксперименте неизбежно повлечет за собой такое же отклонение во многих других экспериментах. Понимание этого, между прочим, пришло лишь в Новое время; для античной или средневековой мысли между падением яблока с дерева и, скажем, движением Луны вокруг Земли не существовало никакой связи. Ньютон впервые отдал себе отчет в том, что яблоко ведь можно и подбросить, т. е. что между падением и броском не может существовать принципиальной разницы, что яблоко можно заменить и более тяжелыми телами и что в конечном счете Луну тоже можно рассматривать в качестве подброшенного тела. Космический корабль нашего времени есть, так сказать, практически реализованное промежуточное звено между яблоком и Луной. Если, таким образом, внутренние связи между многими явлениями, получившие выражение в завершенной теории, подтверждаются в бесчисленных экспериментах, то мы уже не вправе сомневаться в том, что их формулировка «окончательно верна», однако с тем вышеупомянутым ограничением, что речь идет об идеализации, опирающейся на определенную понятийную систему.

Все рассмотренные до сих пор критерии оставляют, однако, без ответа еще одну важную часть поставленной Вейцзеккером проблемы. В самом деле, почему получается так, что правильная завершенная теория уже в первый момент своего возникновения, прежде всего в глазах ее создателя, обладает огромной убедительной силой задолго до того; как ее понятийные, а тем более математические основы получают всестороннее прояснение, и задолго до того, как появляется возможность говорить о ее подтверждении большим числом экспериментов? Так, Ньютон еще явно не располагал математической теорией связанных нелинейных дифференциальных уравнений, а из эмпирических данных у него были в распоряжении практически только законы падения Галилея и Кеплеровы законы движения планет; тем не менее он написал свои «Начала». В первые годы нашего века Лоренц и Пуанкаре открыли свои знаменитые преобразования и поверили в них еще прежде того, как понятийная революция теории относительности позволила их осмыслить, несмотря на то, что из области эмпирических фактов у них в распоряжении был, собственно, только эксперимент Майкельсона. В чем же источник этой непосредственной убедительной силы?