Шаги за горизонт
Шрифт:
в) несмотря на эту ненадежность, замкнутая теория остается частью нашего естественнонаучного языка и поэтому составляет интегральную часть действующего понимания мира.
Завершая анализ, вернемся еще раз к тем историческим процессам, которые — в результате изменившегося на исходе средневековья представления о реальности — привели в конечном счете к возникновению всей физики нового времени. Эти процессы выступают как последовательность мыслительных структур, замкнутых теорий, которые сформировались как бы из кристаллического зародыша некоторых опытных проблем и впоследствии, когда кристалл полностью вырос, вновь отделились от опыта на правах чисто интеллектуальных образований; но мир отныне был освещен ими для нас на все века. Историческое развитие физики кажется поэтому при всех различиях не лишенным сходства с историей становления других духовных сфер, например искусства; ибо цели, которыми в конечном счете вдохновляются другие сферы духовной жизни, состоят именно в том, чтобы раскрыть мир — в том числе и наш внутренний мир — посредством творений человеческого духа.
Критерии правильности замкнутой теории в физике [70]
На одном из коллоквиумов, некоторое время назад состоявшихся в Институте Макса Планка в рамках изучения условий жизни научно-технического мира и посвященных обсуждению философских основ квантовой теории,
70
62 Первая публикация: Heisenberg W. Die Richtigkeitskriterien der abgeschlossenen Theorien in der Physik//Einheit und Vielheit. Festschrift f"ur C. F. v. Weizs"acker zum 60. Geburtstag. Herausg. von E. Scheibe u. G. S"ussmann. G"ottingen, 1972, S. 140–144.
71
63 Вейцзеккер Карл фон (род. 1912 г.) — немецкий физик-теоретик, ученик В. Гейзенберга. В послевоенные годы много занимался философскими вопросами науки.
Прежде чем пытаться ответить на данный вопрос, следует еще раз кратко пояснить понятие завершенной теории. Под завершенной теорией мы понимаем систему аксиом, определение и законов, с помощью которых становится возможным правильно и непротиворечиво описать, т. е. представить в математической форме, большой круг феноменов. Слово «непротиворечиво» относится здесь к математической связности и замкнутости выстраиваемого из основных допущений формализма, слово «правильно» — к эмпирии; оно означает, что прогнозы, вытекающие из математического формализма, должны подтверждаться экспериментами. В этом смысле ньютоновская механика, например, — прототип завершенной теории. Другие, более поздние примеры: статистическая теория теплоты — прежде всего в том виде, какой ей придал Гиббс, — специальная теория относительности (включая электродинамику) и, наконец, квантовая и волновая механика, особенно ее математическая аксиоматизация, осуществленная Нейманом [72] . Каждая из этих теорий обладает ограниченной областью применения, в существенных чертах своих очерченной уже понятийной структурой теории. Вне этой области теория неспособна отражать явления, потому что ее понятия уже не охватывают происходящих там природных процессов.
72
64 И. фон Нейман (1903–1957) — американский математик венгерского происхождения. С 1927 г. развивал в ряде работ математически строгую формулировку квантовой механики, представленную в кн.: Нейман И. фон. Математические основы квантовой механики. М., 1964 г.
Каков же источник нашего убеждения в окончательной правильности теории? Почему мы уверены, что никакие малые изменения уже не смогут улучшить теорию? Здесь можно прежде всего обратиться к историческим доводам и указать на то, что даже старейшая из завершенных теорий, ньютоновская механика, никогда не подвергалась усовершенствованию путем малых изменений. Там, где можно без оговорок применять понятия «масса», «сила», «ускорение», до сих пор без всяких ограничений действует закон «масса X ускорение = сила». Если мы слышим возражение, что квантовую механику можно считать усовершенствованием ньютоновской механики, то следует заявить, что речь тут идет не о второстепенном усовершенствовании, но о радикальной перестройке понятийных оснований. Поведение электрона в атоме, например, невозможно понять с помощью мыслительного инструментария ньютоновской механики, здесь необходим совершенно иной понятийный аппарат квантовой механики.
Второй, пожалуй еще более сильный, аргумент в пользу окончательности завершенной теории — ее компактность и многократное экспериментальное подтверждение. Из относительно немногочисленных и простых основополагающих допущений получается бесконечное множество решений, среди которых выбирается какое-то одно в зависимости от внешних условий изучаемого природного процесса. До сих пор теория подтверждалась экспериментами в каждом отдельном случае, причем было проведено уже очень много экспериментов. Видеть тут строгое доказательство теории, конечно, нельзя: ведь в каком-то будущем эксперименте всегда может обнаружиться противоречие с теорией. Этим обстоятельством Поппер [73] надеется даже обосновать свое утверждение, что теория поддается лишь фальсификации, но никогда не верификации; правда, согласно Вейцзеккеру, здесь следует возразить, что в каждый эксперимент, по видимости противоречащий теории, входят предпосылки, считающиеся заведомо данными, тогда как реальность может оказаться иной, так что фактически таким экспериментом фальсифицируется не теория, а одна из ее предпосылок. Решение о правильности теории оказывается, таким образом, длительным историческим процессом, за которым стоит не доказательность цепочки математических выводов, а убедительность исторического факта. Завершенная теория так или иначе ведь никогда не является точным отображением природы в соответствующей области, она есть некая идеализация опыта, осуществляемая с помощью понятийных оснований теории и обеспечивающая определенный успех.
73
65 Карл Р. Поппер (род. 1902 г.) — австрийский философ, с 1946 г. живет и работает в Англии. В книге «Логика научного исследования» (Popper К. Logik der Forschung. Wien, 1935; сокращенный русский перевод в кн.: Поппер К. Логика и рост научного знания. М., «Прогресс», 1983, с. 33—235) сформулировал так называемый принцип фальсификационизма, согласно которому именно опровержимость составляет критерий научности знания, а отбор и рост объективного знания путем рациональной критики выдвигаемых теоретических гипотез — механизм развития науки.
Вышеупомянутая компактность теории и осуществляемая с ее помощью идеализация действительности могут быть истолкованы в том смысле, что убедительная сила завершенной теории в конечном счете определяется ее простотой и красотой. Однако не следует переоценивать влияние эстетического критерия. Ибо в существующих завершенных теориях, если присмотреться, просты лишь понятийные основания, но не математическая структура. Ньютоновская механика, например, имеет форму системы связанных нелинейных дифференциальных уравнений, далеко не простых по своей математической структуре; вспомним хотя бы сложнейшую проблему нескольких тел в астрономии. В центре статистической термодинамики Гиббса стоит понятие канонического распределения, для формализации которого может быть использовано простое математическое поведение показательной функции; но за ее пределами о математической простоте нет и речи. Уж скорее в квантовой теории мы еще как-то можем говорить о простой математической структуре, потому что здесь в основе лежит все здание хорошо разработанного учения о линейных преобразованиях. Однако и в квантовой механике проблемы, связанные с дельта-функцией Дирака [74] , указывают пределы математической простоты. Компактность завершенной теории, таким образом, относится больше к ее логическому и понятийному, чем к формально-математическому аспекту. Недаром в истории возникновения завершенных теорий прояснение физического смысла понятий, как правило, предшествовало полному пониманию математической структуры.
74
66 Функция Дирака (x) — сингулярная функция, равная нулю везде, кроме точки x = 0, где она равна бесконечности. Введена Дираком в 1926 г., подвергалась критике И. фон Нейманом за нестрогость, впоследствии получила и строгое математическое обоснование, и широкое распространение, особенно в релятивистской квантовой теории.
Эмпирический коррелят компактности — внутренняя связь многих экспериментов, т. е. факт, что отклонение опыта от теории в одном эксперименте неизбежно повлечет за собой такое же отклонение во многих других экспериментах. Понимание этого, между прочим, пришло лишь в Новое время; для античной или средневековой мысли между падением яблока с дерева и, скажем, движением Луны вокруг Земли не существовало никакой связи. Ньютон впервые отдал себе отчет в том, что яблоко ведь можно и подбросить, т. е. что между падением и броском не может существовать принципиальной разницы, что яблоко можно заменить и более тяжелыми телами и что в конечном счете Луну тоже можно рассматривать в качестве подброшенного тела. Космический корабль нашего времени есть, так сказать, практически реализованное промежуточное звено между яблоком и Луной. Если, таким образом, внутренние связи между многими явлениями, получившие выражение в завершенной теории, подтверждаются в бесчисленных экспериментах, то мы уже не вправе сомневаться в том, что их формулировка «окончательно верна», однако с тем вышеупомянутым ограничением, что речь идет об идеализации, опирающейся на определенную понятийную систему.
Все рассмотренные до сих пор критерии оставляют, однако, без ответа еще одну важную часть поставленной Вейцзеккером проблемы. В самом деле, почему получается так, что правильная завершенная теория уже в первый момент своего возникновения, прежде всего в глазах ее создателя, обладает огромной убедительной силой задолго до того; как ее понятийные, а тем более математические основы получают всестороннее прояснение, и задолго до того, как появляется возможность говорить о ее подтверждении большим числом экспериментов? Так, Ньютон еще явно не располагал математической теорией связанных нелинейных дифференциальных уравнений, а из эмпирических данных у него были в распоряжении практически только законы падения Галилея и Кеплеровы законы движения планет; тем не менее он написал свои «Начала». В первые годы нашего века Лоренц и Пуанкаре открыли свои знаменитые преобразования и поверили в них еще прежде того, как понятийная революция теории относительности позволила их осмыслить, несмотря на то, что из области эмпирических фактов у них в распоряжении был, собственно, только эксперимент Майкельсона. В чем же источник этой непосредственной убедительной силы?
Решающей предпосылкой тут, по-видимому, является то, что физики, упорно занимаясь соответствующей областью опыта, очень ясно ощущают, что, во-первых, отдельные феномены внутри этой области опыта тесно связаны между собой и не могут быть осмыслены в отрыве друг от друга, но что, во-вторых, именно их взаимосвязь не поддается истолкованию в рамках прежних понятий. Попытки осуществить такое истолкование снова и снова приводили этих физиков то к допущениям, содержащим внутренние противоречия, то к совершенно необозримому числу разграничений между отдельными конкретными случаями, то к непроглядному лесу полуэмпирических формул, один вид которых показывает, что они не могут быть верны. Вспомним о попытках уточнить ньютоновскую механику введением квантовых условий Бора — Зоммерфельда, о положениях принципа соответствия Бора, допускавших лишь качественное употребление, или о тех сложных формулах для инертной массы движущегося электрона, которые будто бы вытекали из прежней электродинамики. Когда в таких условиях среди интенсивных поисков новых понятийных или формальных решений вдруг всплывает верный проект завершенной теории, то он с самого начала обладает огромной убедительной силой уже потому, что его нельзя сразу опровергнуть. Исследователь, основательно занимающийся соответствующей областью опыта, имеет, пожалуй, оправданное убеждение, что он в состоянии с порога опровергнуть ложный проект окончательной теории. Если новый проект кажется подлинным выходом из тупика, в который завели прежние трудности, если он не наталкивается сразу на неразрешимые противоречия, то ему ничто не мешает быть правильным. Ведь подвергаемые анализу понятийные системы образуют некое дискретное, заведомо не непрерывное множество. И всегда присутствующая возможность блужданий и ошибок на начальной стадии развития теории в перспективе их позднейшего устранения не мешает принципиальной уверенности в том, что правильный подход к построению завершенной теории найден.
Чтобы подкрепить свое утверждение о легкой опровержимости ложных подходов, расскажу — коль скоро в юбилейном сборнике уместны подобные воспоминания — один анекдот из жизни Лейпцигского семинара 1930–1932 годов, в котором принимали участие фон Вейцзеккер, многие ныне известные атомные физики, а также математик ван дер Варден [75] . За чаем после семинара было принято обсуждать вопросы, не входившие в узкий круг проблем атомной физики, и однажды речь зашла о теории чисел и о знаменитом законе Ферма, согласно которому в уравнение ап+bn = сп невозможно подставить целые числа на место a, b и с, если показатель степени п тоже целочисленный и если он больше 2. Я спросил тогда, не может ли случиться так, что какой-нибудь математик объявит об опровержении закона Ферма и приведет конкретный пример подстановки, якобы удовлетворяющей вышеприведенному уравнению, но изберет для a, b, с и особенно для п столь большие значения, что никто не сумеет вычислить соответствующие степени, т. е. никто не сможет доказать неправильность уравнения. Ван дер
75
67 Вал дер Варден (Верден) Б. Л. (род. 1903 г.) — голландский математик, в 30-е годы работал в Лейпциге, где в то же время преподавал В. Гейзенберг. Работы по алгебре, теории групп (в том числе в квантовой механике, см. прим. 50), истории математики.