Только развитие строгого и абстрактного стиля математического мышления, восходящее к работам Огюстена Луи Коши и других математиков в начале XIX в., привело к тому, что идеалом математиков стало, чтобы их работы были независимы от опыта и здравого смысла.
Вторая причина, почему мы считаем, что успешные физические теории должны быть красивы, заключается просто в том, что ученые стремятся выбирать для исследования только такие задачи, у которых можно ожидать красивых решений. Точно такой же стиль рассуждений присущ и нашему другу – тренеру. Его работа – тренировать лошадей для того, чтобы они выигрывали скачки; он научился определять, какая из лошадей имеет больше шансов на выигрыш, и называет таких лошадей красивыми; но если вы отведете тренера в сторонку и пообещаете никому не передавать то, что он скажет, то он поклянется вам, что единственная причина, почему он занят этим делом – тренировкой лошадей для выигрыша скачек, заключается в том, что лошади, которых он тренирует, чертовски красивы.
Хороший пример сказанного в физике – явление мягких фазовых переходов, например спонтанного исчезновения намагниченности при нагревании постоянного железного магнита до температуры выше 770 °С, известной как точка Кюри. Поскольку переход мягкий, намагниченность куска железа обращается в нуль постепенно, при приближении температуры к точке Кюри. Удивительным в таких фазовых переходах является закон , по которому намагниченность стремится к нулю. Оценивая различные энергии в магните, физики были склонны предполагать, что, когда температура чуть ниже точки Кюри, намагниченность должна быть просто пропорциональна квадратному корню из разности между температурой Кюри и температурой нагрева. Вместо этого экспериментально наблюдается, что намагниченность пропорциональна этой разности в степени 0,37. Иными словами, зависимость намагниченности от температуры оказывается где-то в промежутке между законом пропорциональности квадратному корню (показатель степени 0,5) и кубическому корню (показатель степени 0,33) из разности между температурой Кюри и температурой нагрева магнита.
Степени типа 0,37 называются критическими показателями , иногда с добавлением слов «неклассические» или «аномальные», так как эти показатели отличаются от ожидаемых. Было обнаружено, что существуют и другие величины, ведущие себя аналогичным образом в разного рода фазовых переходах, причем в некоторых случаях критические показатели были теми же самыми. Те явления, где возникают критические показатели, не столь впечатляют, как черные дыры или расширение Вселенной. Тем не менее ряд выдающихся физиков-теоретиков во всем мире занимался проблемой критических показателей, пока наконец она не была решена в 1972 г. учеными из Корнеллского университета (США) Кеннетом Вильсоном и Майклом Фишером. Можно было бы думать, что точное вычисление самой точки Кюри имеет значительно больший практический интерес. Почему же корифеи физики твердого тела считали проблему критических показателей намного более важной?
Я полагаю, что эта проблема привлекала такое внимание потому, что физики чувствовали, что она должна иметь очень красивое решение. Указания на это вытекали прежде всего из факта универсальности явления, из того, что одни и те же критические показатели возникали в совершенно разных задачах. Кроме того, физики давно привыкли к тому, что наиболее существенные свойства физических явлений часто выражаются в форме закона, связывающего какую-то физическую величину со степенями других величин (примером может служить закон обратных квадратов для тяготения). Оказалось, что теория критических показателей обладает такой простотой и неизбежностью, что она стала одной из самых красивых теорий во всей физике. В то же время проблема вычисления точной температуры фазовых переходов необычайно запутанна, и ее решение требует знания сложных деталей устройства железа или других веществ, в которых происходит фазовый переход. Люди занимаются этой задачей либо исходя из практических потребностей, либо за неимением лучшего.
В ряде случаев первоначальные надежды ученых на построение красивой теории не оправдывались в полной мере. Хорошим примером может служить история открытия генетического кода. Фрэнсис Крик в своей автобиографии рассказывает, как после открытия им и Джеймсом Уотсоном структуры ДНК в виде двойной спирали внимание всех специалистов по молекулярной биологии обратилось на расшифровку кода, с помощью которого клетка считывает последовательность химических оснований в двух спиралях ДНК как программу для построения нужных белковых молекул. Было известно, что белки строятся из цепочек аминокислот, что существует только двадцать аминокислот, существенных для функционирования практически всех животных и растений, что информация для выбора каждой последующей аминокислоты в молекуле белка заложена в выборе трех последовательных пар химических единиц, называемых основаниями, и, наконец, что имеются только четыре разных типа таких пар. Таким образом, генетический код содержит запись о трех последовательных комбинациях, каждая из которых выбрана из четырех возможных пар оснований, определяющих выбор каждой следующей аминокислоты из двадцати возможных, входящей в состав белковой молекулы. Молекулярные биологи предлагали кучу красивых принципов, управляющих этим кодом, например, что при выборе трех пар оснований никакая информация не будет растрачена впустую, и что любая информация, не требующаяся для определения аминокислоты, будет использована для поиска ошибок (как в компьютерных сетях, когда от одного компьютера к другому передаются лишние биты информации, чтобы убедиться в точности передачи сообщения). Ответ, найденный в 1960 г., оказался совсем иным. Генетический код во многом случаен: некоторые аминокислоты шифруются более чем одной тройкой пар оснований и, наоборот, некоторые тройки пар ничему не соответствуют. Конечно, генетический код не настолько плох, как полностью случайный код, откуда следует, что код как-то менялся в ходе эволюции, но все же любой специалист по передаче сообщений придумал бы код получше. Причина, конечно, в том, что генетический код не был создан , а развивался за счет случайных воздействий с самого начала возникновения жизни на Земле и был унаследован примерно в одном и том же виде всеми организмами. Ясно, что понимание генетического кода настолько важно, что мы изучаем его независимо от того, насколько он красив, но все же немножко жалко, что код оказался не таким красивым, как хотелось бы.
Иногда, когда нас подводит чувство красоты, это происходит потому, что мы переоцениваем фундаментальный характер того, что собираемся объяснить. Знаменитым примером служит работа молодого Иоганнеса Кеплера, посвященная размерам орбит планет.
Кеплер знал об одном из самых красивых утверждений, полученных греческими математиками, касающемся так называемых платоновских тел. Это трехмерные тела с плоскими гранями, причем все вершины, все грани и все ребра этих тел одинаковы. Очевидным примером является куб. Древние греки доказали, что существует всего пять таких платоновских тел: треугольная пирамида (тетраэдр), куб, восьмигранный октаэдр, двенадцатигранный додекаэдр и двадцатигранный икосаэдр. (Свое название эти тела получили потому, что Платон в Тимее предложил взаимно-однозначное соответствие между этими пятью телами и предполагаемыми пятью основными элементами. Такую точку зрения затем критиковал Аристотель.) Существование платоновских тел – пример необычайной математической красоты; она сродни красоте картановского списка всех возможных непрерывных принципов симметрии.
В своем сочинении Mysterium cosmographicum Кеплер предположил, что существование ровно пяти платоновских тел объясняет, почему существует ровно пять (не считая Земли) планет: Меркурий, Венера, Марс, Юпитер и Сатурн (в те времена Уран, Нептун и Плутон еще не были открыты). Каждой из этих пяти планет Кеплер сопоставил одно из платоновских тел, после чего он предположил, что радиусы орбит каждой из планет пропорциональны радиусам соответствующих платоновских тел, если их вписать одно в другое в нужном порядке. Кеплер писал, что он исправлял нерегулярности в движении планет «до тех пор, пока они не стали соответствовать законам природы».
Современному физику может показаться чудовищным, что один из основоположников современной картины мира мог предлагать столь смехотворную модель Солнечной системы. И дело не только в том, что кеплеровская схема не соответствует наблюдениям планет Солнечной системы (а это на самом деле так), но прежде всего в том, что мы знаем, что подобные спекуляции не имеют отношения к истинным законам, управляющим движениями планет. Но Кеплер не был дураком. Тот способ спекулятивного мышления, который он использовал для объяснения структуры Солнечной системы, очень напоминает способ теоретизирования современных физиков, занимающихся элементарными частицами: мы не ассоциируем что-то с платоновскими телами, но верим в то, что существует, например, соответствие между разными возможными силами в природе и разными симметриями из картановского списка всех возможных симметрий. Кеплер ошибался не тогда, когда использовал подобный способ угадывания истины, а тогда, когда считал (как и многие философы до него), что движение планет представляет собой важное явление.
Конечно, в каких-то отношениях планеты важны. На одной из них мы живем. Но существование планет не входит на фундаментальном уровне в число законов природы. Мы сегодня знаем, что планеты и их орбиты есть результат совокупности исторических случайностей, и, хотя физическая теория может предсказать, какие орбиты стабильны, а какие нет, нет никаких причин предполагать наличие специальных соотношений между радиусами этих орбит, которые отличались бы особой математической простотой и красотой.
Ожидать красивых ответов мы можем только тогда, когда изучаем поистине фундаментальные проблемы. Мы верим, что когда спрашиваем, почему мир такой, какой есть, а затем спрашиваем, почему предыдущий ответ такой, а не иной, то в конце этой цепочки объяснений мы обнаружим несколько простых принципов поразительной красоты. Мы думаем так отчасти потому, что наш исторический опыт учит, что чем глубже мы проникаем в суть вещей, тем больше красоты находим. Платон и неоплатоники учили, что красота в природе есть отражение красоты высшего мира идей. Мы также считаем, что красота современных теорий есть проявление и предвестник красоты окончательной теории. В любом случае мы не признаем ни одну теорию за окончательную, если она не будет красивой.
Хотя до сих пор мы не можем точно почувствовать, когда необходимо в работе обращаться к чувству прекрасного, все же в физике элементарных частиц эстетические суждения, по-видимому, работают все лучше и лучше. Я считаю это свидетельством того, что мы движемся в правильном направлении и, может быть, находимся не так уж далеко от нашей цели.
Глава VII. Против философии

И я когда-то к магам и святым
Ходил, познанья жаждою томим,
Я им внимал; но уходил всегда
Чрез ту же дверь, как и являлся к ним.
Эдвард Фитцджеральд. Рубайят Омара Хайяма

Физикам так помогают в работе субъективные и зачастую расплывчатые эстетические суждения, что можно было бы рассчитывать и на помощь со стороны философии, из которой в конце концов выросла вся наша наука. Может ли философия стать нашей путеводной нитью на пути к окончательной теории?
Ценность философии для физики в наши дни напоминает мне ценность ранних национальных государств для их народов. Нe будет большим преувеличением сказать, что до введения почтовых служб главной задачей каждого национального государства было защитить свой народ от влияния других национальных государств. Точно так же взгляды философов иногда приносили пользу физикам, но главным образом в негативном смысле, защищая их от предубеждений других философов.
Я не собираюсь доказывать, что лучше всего физика развивается без всяких предубеждений. Всегда есть так много вещей, которые нужно сделать, так много общепринятых принципов, которые могут быть оспорены, что мы не могли бы двигаться вперед, не руководствуясь хоть какими-то предубеждениями. Моя мысль заключается в том, что философские принципы, вообще говоря, не обеспечивают нас правильными предубеждениями. В поисках окончательной теории физики напоминают больше собак, чем орлов: мы носимся, вынюхивая все вокруг в поисках следов красоты, которую надеемся обнаружить в законах природы, но вряд ли мы сумели бы увидеть путь к истине с вершин философии.
Конечно, у каждого физика есть какая-то рабочая философия. Для большинства из нас – это грубый, прямолинейный реализм, т.е. убежденность в объективной реальности понятий, используемых в наших научных теориях. Однако эта убежденность достигается в процессе научных исследований, а не в результате изучения философских трудов.
Все сказанное совсем не означает отрицания ценности философии, основная часть которой не имеет никакого отношения к науке. Более того, я не собираюсь отрицать и ценность философии науки, которая в лучших своих образцах представляется мне приятным комментарием к истории научных открытий. Но не следует ожидать, что философия науки может дать в руки современных ученых какое-то полезное руководство на тему о том, как надо работать или что желательно было бы обнаружить.
Должен признать, что это понимают и многие философы. Потратив три десятилетия на профессиональные исследования в области философии науки, философ Джордж Гейл приходит к выводу, что «все эти почти недоступные простым смертным дискуссии, замешанные на схоластике, могут интересовать только ничтожное число ученых-практиков». Людвиг Витгенштейн замечает: «Ничто не кажется мне менее вероятным, чем то, что чтение моих трудов может серьезно повлиять на работу какого-то ученого или математика».
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41