Роджер Пенроуз - Новый ум короля: О компьютерах, мышлении и законах физики
Рис. 5.33. Пространственно-подобная поверхность для задания начальных условий в общей теории относительности
Детерминизм в СТО можно сформулировать так: начальные данные на любом заданном одновременном пространстве S определяют поведение системы во всем пространстве-времени. (В частности, это верно для теории Максвелла, которая действительно является «специально релятивистской» теорией.) Однако можно высказать и более сильное утверждение. Если мы хотим знать, что произойдет в некоторой точке Р, лежащей где-то в будущем по отношению к пространству S, то для этого нам необходимы начальные данные не на всем S, а только в некоторой ограниченной (конечной) области пространства S — потому, что «информация» не может распространяться быстрее света, так что любые точки пространства S, лежащие слишком далеко для того, чтобы световые сигналы из них могли достигать Р, не оказывают на Р никакого влияния (рис. 5.34)[135].
Рис. 5.34. В специальной теории относительности то, что происходит в точке Р, зависит только от данных, заданных в конечной области одновременного пространства. Так происходит потому, что никакое воздействие не может достичь точки Р быстрее света
Это гораздо более удовлетворительный результат по сравнению с той ситуацией, которая возникает в ньютоновском случае, где в принципе потребовалось бы иметь информацию о всем бесконечном «слое», для того, чтобы иметь возможность предсказать ближайшее будущее хотя бы для одной точки. На скорость, с которой может распространяться ньютоновская информация, не существует никаких ограничений, и действие ньютоновских сил поэтому распространяется мгновенно.
«Детерминизм» в общей теории относительности — вопрос гораздо более сложный, чем в СТО, и я ограничусь здесь лишь несколькими замечаниями. Прежде всего, для задания начальных условий нам необходимо воспользоваться пространственноподобной поверхностью S (а не просто одновременной поверхностью). Тогда оказывается, что уравнение Эйнштейна задают локально детерминистское поведение гравитационного поля в предположении (как обычно), что поля материи, дающие вклад в тензор ЭНЕРГИЯ, ведут себя детерминистским образом. Однако здесь возникают значительные осложнения. Сама геометрия пространства-времени (включая ее «причинную» структуру — расположение световых конусов) теперь становится частью того, что требуется определить. Априори расположение световых конусов нам не известно, так что мы не можем сказать, какие части поверхности S необходимы для однозначного определения поведения системы в некотором будущем событии Р. Но могут сложиться такие экстремальные ситуации, когда всех точек поверхности S для этого окажется недостаточно, и, соответственно, глобальный детерминизм будет утрачен! (Здесь затрагиваются непростые вопросы, имеющие отношение к одной важной нерешенной пока проблеме в общей теории относительности, которая известна под названием «космической цензуры» и связана с образованием черных дыр (Типлер и др. [1980]); см. главу 7, подгл. «Черные дыры») Маловероятно, чтобы любое подобное «крушение детерминизма», обусловленное «экстремальными» гравитационными полями, имело непосредственное отношение к тому, что происходит на «человеческих» масштабах — но тем не менее это недвусмысленно указывает на отсутствие ясности в вопросе о детерминизме в рамках общей теории относительности.
Вычислимость в классической физике:
где мы находимся?
На протяжении всей этой главы я старался не упускать из виду проблему вычислимости и, проводя различие между вычислимостью и детерминизмом, стремился показать, что первая может иметь не меньшее значение, коль скоро речь заходит о «свободе воли» и умственной деятельности. Но само понятие детерминизма в рамках классической теории оказалось не настолько четко определенным, как принято было думать. Мы видели, что при изучении классического уравнения Лоренца для движения заряженной частицы возникает целый ряд тревожных вопросов. (Вспомним «убегающие решения» Дирака.) Потом было показано, что и в общей теории относительности с детерминизмом сопряжены определенные трудности. Когда в таких теориях нет детерминизма — в них заведомо нет и вычислимости. Тем не менее ни в одном из названных случаев не создается впечатление, что отказ от детерминизма может существенным образом повлиять на нашу философию. В подобных явлениях еще «нет места» для нашей свободы воли: во-первых, потому, что классическое уравнение Лоренца для точечной частицы (в том виде, как его решил Дирак) нельзя считать пригодным с физической точки зрения для использования на том уровне, где возникают эти проблемы; и, во-вторых, потому, что масштабы, на которых классическая общая теория относительности приводит к такого рода проблемам (черные дыры и т. д.), в принципе не сравнимы с масштабами нашего собственного головного мозга.
Спрашивается: что мы сейчас знаем о вычислимости в классической теории? Разумно предположить, что в общей теории относительности мы сталкиваемся с теми же проблемами, что и в СТО — если не считать тех различий в вопросах причинности и детерминизма, о которых было только что сказано. Там, где будущее поведение физической системы определяется начальными данными, оно в то же время должно (из соображений, изложенных при рассмотрении ньютоновской теории) быть вычислимо на основе тех же начальных данных[136](не считая «бесполезного» типа невычислимости, с которым столкнулись Пур-Эль и Ричардс в случае волнового уравнения, о чем уже говорилось выше; эта ситуация не реализуется при гладко изменяющихся данных). Действительно, трудно представить, каким образом в любой из рассмотренных мной до сих пор физических теорий могут возникнуть какие-либо существенные «невычислимые» элементы. Можно заведомо предсказать, что «хаотической» поведение является типичным для большинства из этих теорий, где весьма малые изменения начальных данных способны вызвать громадные расхождения в последующем поведении. (Именно так, насколько можно судить, обстоит дело в общей теории относительности; см. Мизнер [1969], Белинский и др. [1970].) Но, как я уже упоминал выше, довольно трудно понять, каким образом этот тип невычислимости (т. е. непредсказуемости) может быть «использован» в устройстве, с помощью которого мы могли бы попытаться «подчинить» себе возможные невычислимые элементы в физических законах. Если «разум» способен каким-то образом использовать невычислимые элементы, то последние должны, видимо, лежать вне классической физики. Нам придется еще раз вернуться к этому вопросу позднее — после того, как мы в общих чертах познакомимся с квантовой теорией.
Масса, материя и реальность
Произведем небольшую «ревизию» той картины мира, которую дала нам классическая физика. Во-первых, там существует пространство-время, выполняющее важнейшую функцию арены, на которой разыгрываются всевозможные физические процессы. Во-вторых, имеются физические объекты, задействованные в этих процессах, но ограниченные точными математическими законами. Физические объекты, о которых идет речь, бывают двух типов: частицы (корпускулы) и поля. Об истинной природе и отличительных особенностях частиц сказано немного, за исключением того, что у каждой частицы имеется своя мировая линия и каждая частица обладает индивидуальной массой покоя, (возможно) электрическим зарядом и т. д. С другой стороны поля описываются очень точно: электромагнитное поле удовлетворяет уравнениям Максвелла, а гравитационное поле — уравнениям Эйнштейна.
В описании частиц мы сталкиваемся с определенной двусмысленностью. Если частицы имеют столь малые массы, что их собственным влиянием на поля можно пренебречь, то такие частицы называются пробными частицами, и их движение под действием полей задается однозначно. Выражение для силы Лоренца описывает реакцию пробных частиц на электромагнитное поле, законы движения по геодезическим линиям — на гравитационное поле (или соответствующую комбинацию в случае присутствия обоих полей). Поэтому частицы надлежит рассматривать как точечные, т. е. имеющие одномерные мировые линии. Но в тех случаях, когда влиянием частиц на поля (и, следовательно, на другие частицы) пренебрегать нельзя, т. е. когда сами частицы становятся источниками поля, их следует рассматривать как объекты с ненулевой протяженностью в пространстве. Иначе поля в непосредственной близости от каждой частицы обращаются в бесконечность. Такие протяженные источники создают распределение заряда-тока (ρ, j), необходимое для уравнений Максвелла, и тензор ЭНЕРГИЯ, входящий в уравнения Эйнштейна. Наряду с этим пространство-время, вмещающее в себя все частицы и поля, обладает изменчивой структурой, которая сама по себе описывает гравитационные явления. «Арена» принимает участие в том самом действии, которое на ней разыгрывается!
