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