Книга написана известным английским ученым-астрофизиком и популяризатором науки Роджером Пенроузом на основе престижных Теннеровских лекций (прочитанных им в 1995 г.) и материалов вызванной этими лекциями полемики. Поэтому она включает в себя разделы, написанные крупными английскими учеными Нэнси Картрайт и Абнером Шимони, а также знаменитым физиком -теоретиком Стивеном Хокингом. Книгу отличают оригинальность идей автора, разнообразие обсуждаемых проблем (парадоксы квантовой механики, астрофизика, теория познания, проблемы художественного восприятия) и исключительно высокий научный и философский уровень изложения.
Оригинальные, яркие и вызывающие идеи Роджера Пенроуза относительно процессов, протекающих в гигантском мире Вселенной, в микромире квантовой физики и в мозгу человека, не раз становились предметом острой полемики и дискуссии. Некоторые из этих идей уже знакомы читателям по его предыдущим книгам:
В полемику с автором в этой книге вступили трое ученых, связанных с различными научными дисциплинами, — известные специалисты по философии науки Абнер Шимони и Нэнси Картрайт, а также знаменитый физик-теоретик и астрофизик Стивен Хокинг. В последней главе книги Роджер Пенроуз, продолжая эту исключительно интересную дискуссию, отвечает своим оппонентам. Читатель получает возможность ознакомиться с собственной, весьма нестандартной (иногда даже шуточной) точкой зрения крупнейшего физика-теоретика на самые важные проблемы современной науки.
Об авторах
РОДЖЕР ПЕНРОУЗ Роузболловский профессор[1], профессор математики Оксфордского университета
АБНЕР ШИМОНИ почетный профессор философии и физики Бостонского университета НЭНСИ КАРТРАЙТ профессор философии, логики и науковедения Высшей Лондонской школы экономики и политики (LSE)
СТИВЕН ХОКИНГ Лукасианский профессор[1] Кембриджского университета
Заимствованные рисунки
С разрешения Cordon Art-Baarn-Holand © 1989. 1.17, 1.19.
Предисловие переводчика
Сложность и многообразие вопросов, рассматриваемых в книге Р. Пенроуза, требуют предварить ее перевод хотя бы весьма краткими замечаниями. Во-первых, как убедительно демонстрирует сам автор, квантовая механика далека не только от завершенности, но и от единства методологического подхода. За десятки лет споров о принципах квантовой физики накопилась огромная по объему литература по многим из рассматриваемых вопросов (например, о знаменитом коте Шредингера уже написаны целые библиотеки). В этом чудовищном массиве информации философские, методологические и научные противоречия естественным образом давно переросли (или переродились) в лингвистические и терминологические. Читатель может получить некоторое представление о современном состоянии вопроса по статье М. Б. Менского «Квантовая механика: новые эксперименты, новые приложения и новые формулировки старых вопросов» (Успехи физических наук, том 170, № 6, 2000, с. 631) и вызванной ею дискуссии (УФН, 2001; т. 171, №4, с. 437-462; УФН, 2001; т. 171, № 6, с. 625 -647).
Особые трудности возникают при переводе разделов, относящихся к предлагаемой Р. Пенроузом гипотезе о квантовом характере человеческого сознания. Термины, связанные с психологией (типа русских
Эти обстоятельства весьма осложняют перевод небольшой по объему книги, но переводчик и редактор все же надеются, что им удалось сохранить оригинальный и вольный стиль автора и достаточно верно передать сложный ход его рассуждений.
Предисловие.
За последнее десятилетие появилось немало книг, в которых выдающиеся ученые современности пытаются объяснить широкому читателю сущность и исключительный интерес проводимых ими исследований в различных областях знаний. Наиболее известными из них стали знаменитая «Краткая история времени» Стивена Хокинга (которая имела столь поразительный успех, что ее издание стало заметным явлением в истории мировой научно-популярной литературы), книга Джеймса Глейка «Хаос» (в которой успешно показано, что сложнейшие научные изыскания иногда похожи на захватывающий детектив) и «Мечты об окончательной теории» Стивена Вайнберга, сделавшая понятными и интересными самые последние достижения в физике элементарных частиц.
Даже среди таких известных работ предыдущая книга Роджера Пенроуза «Новый разум короля» (1989 г.) выделяется своей неординарностью. В то время как другие авторы обычно пытаются просто передать смысл и значение достижений современной науки, Роджер рискнул предложить читателям совершенно новую, временами ошеломляющую возможность существования какой-то, (пока даже не сформулированной до конца) теории фундаментальных процессов, позволяющей объединить почти не связанные друг с другом теории, относящиеся к самым разнообразным наукам (физике, математике, биологии, нейрофизиологии и даже философии). Неудивительно, что книга «Новый разум короля» вызвала ожесточенную полемику, в результате чего автору пришлось в 1994 г. опубликовать книгу «Тени разума», в которой он попытался не только ответить своим многочисленным критикам, но и развить дальше предложенные идеи. В 1995 г. Р. Пенроуз был приглашен прочесть известные Теннеровские лекции, где он представил общий обзор своей концепции и призвал к дискуссии своих наиболее известных оппонентов, Абнера Шимони, Нэнси Картрайт и Стивена Хокинга. Три лекции цикла составили первые три главы предлагаемой читателю книги, содержащие краткое введение в круг идей, детально разработанных автором в упомянутых выше книгах. Следующие три главы (4 — 6) содержат аргументы упомянутых участников дискуссии, а в последней главе 7 Пенроуз комментирует полученные замечания и подытоживает результаты дискуссии.
Собственно говоря, написанные Пенроузом разделы достаточно красноречивы, и поэтому мое предисловие имеет целью лишь подготовить читателя к обсуждению некоторых довольно сложных проблем современной науки, рассматриваемых ниже. Р. Пенроуз считается одним из самых блестящих математиков современности, но его исследования всегда имели весьма строгое физическое обоснование. Международное признание и славу он снискал своими достижениями в астрофизике и космологии, относящимися к релятивистской теории гравитации, причем многие работы были выполнены им совместно со Стивеном Хокингом. Одна из сформулированных им теорем в этой области доказывает, что (в соответствии с классической релятивистской теорией гравитации) внутри так называемых черных дыр возникают физические сингулярности пространства-времени, т.е. в некоторых точках искривленность пространства (или соответственно плотность материи) становится бесконечно большой. Вторая теорема о «бесконечности» утверждает, что классическая релятивистская теория гравитации неизбежно приводит к сингулярностям такого типа в космологических моделях, связанных с Большим Взрывом. Эти теоремы показывают, что используемые нами теории еще весьма далеки от завершенности, поскольку в замкнутых и зрелых физических построениях такие сингулярности не должны возникать.
Эти работы представляют собой лишь часть обширного вклада Р. Пенроуза в различные разделы физики и математики. Физикам хорошо знаком процесс Пенроуза (при котором частицы поглощают энергию вращения в черных дырах), и они широко пользуются созданными им диаграммами для описания поведения вещества в окрестности черных дыр. Красивая геометрия (временами напоминающая живопись) многих таких явлений наглядно представлена самим автором в первых трех главах книги. Некоторые аспекты рассматриваемых проблем уже широко известны публике по «невозможным» построениям и картинам знаменитого художника Мориса Эшера и так называемым «мозаикам» самого Пенроуза. Интересно, что М. Эшера на создание некоторых гравюр (именно тех, на которых сделана попытка изобразить «невозможное») вдохновила одна из статей, написанных Р. Пенроузом и его отцом Л. С. Пенроузом. В гл. 1 гиперболические геометрические построения Пенроуза проиллюстрированы известной серией гравюр М. Эшера «Предельные окружности». В связи с этим нельзя не упомянуть созданные самим Пенроузом «мозаики», или «изразцы», которые позволяют полностью покрыть бесконечную плоскость небольшим числом разновидностей простых геометрических фигур заданного типа. Основная и самая интересная математическая сторона проблемы состоит в том, что узор, позволяющий решить эту задачу, является неповторяющимся. Эта геометрическая задача неожиданно возникает в гл. 3 книги в связи с возможностью определения строгих вычислительных операций для компьютеров.
Пенроузу удалось не только разработать ряд блестящих математических подходов, но и успешно применить их для решения сложнейших конкретных задач современной физики. Рассматриваемые им вопросы всегда оказываются очень важными и интересными. Сейчас физики уверены, что теория Большого Взрыва дает нам достаточно верную картину возникновения Вселенной, однако она еще далека от завершенности, и мы пока не знаем многих фундаментальных законов, определяющих ее основные особенности в возрасте от одной тысячной секунды после рождения до наших дней. Для воссоздания полной картины нам еще предстоит определить начальные условия, однако все известные нам законы физики относятся лишь к достаточно «старой» Вселенной, возраст которой превышает упомянутый рубеж в одну тысячную долю секунды. Поэтому мы еще должны разумным образом экстраполировать известные нам закономерности. Мы уже достаточно хорошо представляем себе требуемые начальные условия, но очень мало знаем о порождающих их причинах, и эта проблема остается центральной для всей современной космологии.
Обычно в космологии используют модель раздувающейся (инфляционной) Вселенной, однако даже в этой модели для описания некоторых особенностей процесса необходимо ввести параметры, характерные для ранней, так называемой планковской эпохи развития Вселенной (10-43 с), когда в этот исключительно короткий период произошли важнейшие события, последствия которых и пытается описать современная наука.
Принимая в целом привычную картину Большого Взрыва, Роджер Пенроуз отказывается от инфляционной модели и предполагает, что на самой ранней стадии развитие Вселенной определялось еще неизвестными нам физическими законами, связанными с квантовой теорией гравитации. Он считает, что многочисленные попытки построения такой теории не увенчались успехом именно потому, что задача была неправильно поставлена теоретически. Его аргументы связаны прежде всего с проблемой определения энтропии Вселенной, рассматриваемой в качестве единого объекта. Поскольку энтропия (очень упрощенно — степень неупорядоченности системы) возрастает со временем, Вселенная должна была возникнуть из весьма упорядоченного состояния с очень низкой энтропией. Вероятность случайного появления такого состояния исчезающе мала, вследствие чего Пенроуз предположил, что задача может быть решена только в рамках точной теории квантовой гравитации.
В гл. 2 рассматриваются общие проблемы квантования и квантовой физики, которая (вместе со своим релятивистским обобщением — квантовой теорией поля) уже давно и очень успешно применяется для описания свойств отдельных атомов и частиц, а также для объяснения экспериментальных результатов в ядерной физике. Однако лишь в последние годы мы стали понимать глубокий физический смысл этой теории. Пенроузу удалось блестяще продемонстрировать, что в ее внутренней структуре заложены весьма непростые (интуитивно неочевидные) представления, не имеющие аналогов в классической механике. Например, нелокальность означает, что при возникновении пары частица—античастица каждая из них сохраняет «память» о процессе рождения в том смысле, что эти частицы не могут считаться полностью независимыми друг от друга. Роджер объясняет это тем, что «квантовая запутанность объектов представляет собой удивительное явление, лежащее где-то между их разделением и объединением». Квантовая механика позволяет нам даже получать информацию о процессах, которые не произошли, но могли быть реализованы. Различие между классической и квантовой механикой особенно ярко проявляется в очень необычной (с привычной точки зрения) задаче о так называемом испытании бомб в эксперименте Элицура—Вайдмана.
Интуитивно неприемлемые особенности являются неотъемлемой частью квантовой механики, однако она ставит перед нами и более глубокие проблемы. Пенроуза особо интересует вопрос о том, каким образом в физике удается связать квантовые явления с поведением систем на макроскопическом уровне. В этой весьма противоречивой ситуации многие физики используют квантовомеханические правила просто в качестве вычислительных приемов, позволяющих получать удивительно точные решения. Такой подход, несмотря на его эффективность (правильно применяя некоторые методы, вы получаете безусловно верные ответы), в сущности означает лишь грубый и лишенный изящества переход от простого и линейного мира квантовых явлений к реальному миру экспериментатора. Переход осуществляется посредством так называемого «коллапса волновой функции» или «редукции вектора состояний». Пенроуз уверен, что при этом стандартном квантовомеханическом приеме теряется весьма значительная часть картины физического мира, и нам необходимо разработать совершенно новую теорию, которая будет как-то включать в себя указанную «объективную редукцию волновых функций». Такая теория при соответствующих предельных переходах будет сводиться к обычной квантовой механике и квантовой теории поля, но она должна описывать и новые физические явления (в частности, она должна позволить нам решить задачу квантования гравитационного поля и дать описание раннего периода развития Вселенной).
В гл. 3 Пенроуз пытается выявить общие черты, присущие математике, физике и человеческому сознанию. Если задуматься, то в самом деле поразительно, что в самых, казалось бы, логичных и абстрактных областях физики и математики не удается создать программы для привычных нам дискретных компьютеров (даже для самых точных и обладающих наибольшим объемом памяти). Все компьютеры практически не могут, например, доказывать математические теоремы, как это делают обычные люди-математики. Все это, с другой стороны, прекрасно согласуется с одним вариантом знаменитой теоремы Гёделя, которая в трактовке Пенроуза означает, что математические выводы (и, вообще говоря, все процессы, связанные с мышлением и поведением) осуществляются «невычислимым» образом. Такое заключение представляется весьма плодотворным хотя бы потому, что интуитивно мы и сами чувствуем, что почти все наши акты «сознательного восприятия» нельзя свести к вычислимым операциям. Большая часть упомянутой выше предыдущей книги Пенроуза «Тени разума» была посвящена именно такой интерпретации теоремы Гёделя, имеющей особое значение для всех логических построений автора.
Пенроуз неожиданно усматривает много общего между принципиальными проблемами квантовой механики и процессов сознания. Например, он считает, что нелокальность и квантовая когерентность могут объяснить нам когерентность работы человеческого мозга, а «невычислительный» характер процессов сознания может быть связан, по его мнению, с объективным коллапсом волновых функций макроскопических переменных. Пенроуз не только формулирует эти весьма общие принципы работы мозга, но и пытается непосредственно выявить в мозгу структуры, соответствующие указанным физическим процессам.
Разумеется, введение в книгу лишь очень слабо может отразить оригинальность, богатство и блеск предлагаемых автором идей и понятий, однако хотелось бы еще раз обратить внимание читателя на основные направления, играющие важную роль для понимания. Автора прежде всего поражает замечательная способность математики реально описывать фундаментальные процессы природы. Пенроуз убежден, что наш физический мир в каком-то смысле является проявлением платоновского мира математических идеалов. В наше время, конечно, никто не пытается вывести математику из попыток описания окружающего мира или из подгонки экспериментально наблюдаемых закономерностей к математическим формулам. В действительности мы сейчас пытаемся понять структуру Вселенной, исходя из некоторых весьма общих принципов и из законов самой математики.
Неудивительно, что предложенные в книге столь смелые гипотезы стали предметом ожесточенной полемики, в которую оказались вовлечены ученые самых разных специальностей и интеллектуальной направленности. Абнер Шимони во многом соглашается с Пенроузом (например, он признает незавершенность привычной формулировки квантовой механики и соглашается с тем, что некоторые квантовомеханические представления вполне подходят для описания работы мозга), однако он сравнивает Роджера Пенроуза с «альпинистом, который лезет не на ту гору», и готов предложить собственные конструктивные подходы к решению указанных задач. Нэнси Картрайт задается фундаментальными для философии вопросами о том, какие науки вообще должны лечь в основу понимания природы сознания и какова при этом роль физики. Она же поднимает в дискуссии весьма острую тему совместимости (или возможности сведения друг к другу) законов различных научных дисциплин. Наиболее критическим является раздел, написанный Стивеном Хокингом, старым другом и коллегой Пенроуза. По многим признакам именно позиция Хокинга ближе всего к точке зрения «среднего физика». Он предлагает автору прежде всего самому разработать процедуру детального восстановления (редукции) волновых функций. Впрочем, Хокинг вообще не считает, что мнение физиков о проблемах сознания имеет какую-то особую ценность. Появление таких замечаний вполне закономерно, и Пенроуз пытается опровергнуть их в своем общем ответе, составившем заключительную главу книги.
Одну из поставленных перед собой задач Пенроуз, безусловно, решил с блеском — он создал некий манифест или программу развития теоретической физики XXI века. В трех первых главах книги ему удалось представить связную картину того, как должна быть «устроена» совершенно новая физика, основанная на общей идее невычислимости некоторых операций и объективного восстановления волновых функций, что и является основной идеей книги. Правильность предлагаемых концепций в конечном счете будет определяться тем, смогут ли Пенроуз и его последователи действительно создать физическую теорию нового типа. В любом случае, даже если работы по этой программе не приведут к быстрым успехам, ее основные идеи, по моему глубокому убеждению, окажут плодотворное влияние на будущее развитие теоретической физики и математики.
Глава 1. Пространство-время и космология
Предлагаемая читателю книга называется «Большое, малое и человеческий разум», и поэтому в полном соответствии с названием две ее первые главы посвящены самым большим и самым малым объектам в окружающей нас физической Вселенной, которую я с предельной схематичностью и простотой изобразил в виде «сферы» на рис. 1.1. Я не буду тратить время на чисто «ботанические» описания того, что и как происходит в разных частях Вселенной, а попробую обратить ваше внимание на анализ и понимание реальных законов, управляющих ее поведением. Основная причина, по которой я разделил физические законы на части, относящиеся к «большому» и «малому», заключается в том, что общие закономерности физических процессов в очень большом и очень малом масштабах представляются весьма различными. Центральной темой гл. 3, где речь идет о человеческом сознании, является именно это бросающееся в глаза различие между законами природы для разномасштабных явлений. Поскольку я буду говорить о физическом мире на языке описывающих его физических теорий, я просто обязан сказать хоть что-то и о другом мире — мире Платона, философском представлении мира идей, абсолютов и математических истин. Конечно, платоновский мир содержит и другие абсолютные понятия (такие как Добро и Красота), но я в данном случае буду говорить лишь о математических принципах и понятиях. Некоторым людям трудно представить себе существование этого мира вообще, и они предпочитают считать математические понятия просто какими-то идеализированными формами объектов нашего физического мира, и в этом случае, конечно, «математический мир» следует рассматривать всего лишь как порождение нашего физического мира (рис. 1.2).
Я лично полагаю (и, мне кажется, большинство математиков и физиков-теоретиков придерживаются примерно той же точки зрения), что математика имеет другие, более серьезные основания и представляет собой некую структуру, управляемую собственными вневременными законами. Поэтому, возможно, многие физики и математики предпочли бы считать физический мир порождением «вневременного» математического мира идей. Соответствующая картина (рис. 1.3) при всей ее простоте очень важна для рассматриваемых в этой книге проблем (в особенности это относится к материалу гл. 3).
Наиболее замечательной характеристикой законов природы является то, что они подчиняются математическим закономерностям с исключительно высокой точностью. Чем глубже мы понимаем законы природы, тем сильнее чувствуем, что физический мир как-то исчезает, «испаряется», и мы остаемся лицом к лицу с чистой математикой, т. е. имеем дело лишь с миром математических правил и понятий.
Прежде чем перейти к дальнейшему рассмотрению, нам следует оценить временные и пространственные масштабы Вселенной и как-то связать их с местом и ролью человека в общей картине мира. Я сделал попытку объединить масштабы некоторых известных объектов и процессов в единую диаграмму (рис. 1.4), где слева представлены характерные времена, а справа — характерные размеры. В нижнем левом углу рисунка указан минимальный масштаб времени, имеющий какой-то физический смысл. Этот интервал времени, равный 10-43 с, называется
Справа на диаграмме приведены расстояния, соответствующие определенным временным масштабам. Времени Планка (хронону) соответствует фундаментальная единица, называемая
Размеры физических объектов на рисунке изменяются от 10-15 м (характерный размер элементарных частиц) до 1027 м (радиус наблюдаемой Вселенной, приблизительно соответствующий ее возрасту, умноженному на скорость света). Интересно оценить положение, которое на диаграмме занимаем
На шкале размеров мы находимся где-то в середине, будучи чрезвычайно крупными по отношению к длине Планка (и превышая на много порядков размеры элементарных частиц), но очень маленькими в масштабах всей Вселенной. С другой стороны, на временной шкале процессов длительность человеческой жизни выглядит совсем неплохо, и ее можно сопоставлять с возрастом Вселенной! Люди (и в особенности поэты) любят жаловаться на эфемерность человеческого существования, однако наше место на временной шкале вовсе не является жалким или ничтожным. Разумеется, нам следует помнить, что все сказанное относится к «логарифмической шкале», однако ее использование представляется совершенно оправданным при рассмотрении столь гигантских диапазонов значений. Говоря другими словами, число человеческих жизней, укладывающихся в возрасте Вселенной, намного меньше, чем число времен Планка (или даже времен жизни элементарных частиц), укладывающихся в продолжительность жизни человека. В сущности, мы являемся довольно стабильными структурами Вселенной. Что же касается пространственных масштабов, то мы действительно находимся где-то в середине шкалы, вследствие чего нам не дано воспринимать в непосредственных ощущениях ни очень большие, ни очень малые объекты окружающего нас физического мира.
Давайте рассмотрим, какие физические теории описывают объекты столь различных размеров. В схему рис. 1.5 я попытался «втиснуть» всю существующую физику. При этом мне, конечно, пришлось пожертвовать многими незначительными деталями (например, просто выкинуть из картины все уравнения и разделы наук!), однако, на мой взгляд, я сохранил фундаментальные теории.
Наиболее существенным обстоятельством является то, что в физике используются два совершенно разных подхода. Для описания поведения микрообъектов мы используем квантовую механику (я обозначил ее на рисунке словами «квантовый уровень»), о которой подробнее рассказано в гл. 2. Большинство людей полагают, что квантовая механика является странной, загадочной и недетерминистической теорией, но это неверно. На самом деле, если вы рассматриваете события на квантовом уровне, то квантовая теория является совершенно точной и детерминистической. Наиболее известным ее соотношением является уравнение Шредингера, которое определяет поведение физического состояния квантовой системы (его называют просто
При больших масштабах мы используем представления классической физики, которая является совершенно детерминистической. Она включает в себя законы механики Ньютона, законы Максвелла (позволяющие ввести в физику понятия электричества, магнетизма и света), две теории относительности Эйнштейна (специальную теорию относительности, описывающую движение тел при больших скоростях, и общую теорию относительности для систем с мощными гравитационными полями), причем все эти законы выполняются при больших расстояниях с исключительно высокой точностью.
Отмечу также, что на рис. 1.5 я использовал термин «вычислимость» для характеристики и квантовой, и классической физики. В первых двух главах это понятие практически не используется, но оно имеет важное значение для задач, обсуждаемых в гл. 3, где мы и рассмотрим проблему «вычислимости» более внимательно.
Настоящая глава посвящена в основном эйнштейновской теории относительности, ее характерным особенностям, исключительной точности, а также поразительной изящности и элегантности. Однако сначала необходимо рассказать хотя бы очень кратко о ньютоновской физике. Вскоре после того, как Эйнштейн разработал общую теорию относительности, Картан показал, что ньютоновская теория гравитации также позволяет ввести представление о едином пространстве-времени. Физическая картина в механике Галилея и Ньютона позволяет представить пространство-время введением глобальной (всемирной) временной координаты, после чего состояние системы может описываться просто набором последовательных диаграмм (рис. 1.6), в которых различным моментам времени соответствуют сечения четырехмерного пространства-времени. Каждому такому пространственному сечению (т. е. плоскости на рис. 1.6) соответствует обычное евклидово трехмерное пространство. Характерной особенностью ньютоновского пространства-времени является то, что все пространственные «сечения» существуют в нем как бы одновременно.
Таким образом, например, все события, происходящие в полночь понедельника, лежат в нижней горизонтальной плоскости диаграммы; все, что происходит в полночь вторника, — на следующей плоскости и т. д. Временные сечения по оси времени дают просто последовательность евклидовых пространств во времени. Все наблюдатели (независимо от их способа передвижения в пространстве-времени) фиксируют одни и те же события одновременно, поскольку они видят одни и те же «срезы», или «сечения», единого пространства-времени.
Совершенно иначе обстоят дела в специальной теории относительности Эйнштейна, где время и, соответственно, полная картина пространства-времени перестают быть универсальными величинами, как в физике Ньютона. Для демонстрации существенной разницы этих теорий нам необходимо прежде всего ввести одно из важнейших представлений теории относительности — так называемый
Что такое световой конус? Представьте себе вспышку света в заданной точке пространства и в определенный момент времени (это и есть
Такие световые конусы являются важнейшими структурами пространства-времени, и, в частности, именно они ограничивают возможности и пределы причинно-следственных связей в природе. Историю любой частицы можно изобразить линией в пространстве-времени на диаграмме указанного типа, причем эта линия должна лежать внутри светового конуса (рис. 1.8). Все сказанное просто вытекает из условия, что никакая материальная частица не может двигаться быстрее света. Поэтому никакой сигнал не может выйти за пределы светового конуса, что естественным образом ограничивает пределы действия любых причинно-следственных связей.
Естественно, что световые конусы отличаются весьма своеобразными геометрическими свойствами. Представим себе, например, двух наблюдателей, движущихся в пространстве-времени с различной скоростью. В отличие от механики Ньютона, где «плоскости одновременных событий» совершенно одинаковы для всех наблюдателей, в теории относительности нельзя ввести абсолютную одновременность, вследствие чего каждый из этих наблюдателей будет рисовать собственные плоскости «одновременности» в пространстве-времени, как показано на рис. 1.9. Существует известный и хорошо разработанный метод преобразования таких плоскостей друг в друга (так называемые
Мы можем придать группе Лоренца и несколько иную трактовку. Как уже подчеркивалось, световой конус является одной из важнейших структур пространства-времени. Представьте себя наблюдателем, рассматривающим Вселенную из какой-то точки пространства. В ваши глаза попадает свет от далеких звезд, и в соответствии с концепцией пространства-времени наблюдаемые вами события представляют собой пересечения мировых линий звезд с вашим световым конусом прошлого, как это показано на рис. 1.10. Другими словами, в вашем световом конусе прошлого звезды в некоторый момент времени образуют некий рисунок на небесной сфере (рис. 1.10,
Существует прекрасная иллюстрация механизма действия таких преобразований, которая, кстати, одновременно демонстрирует исключительную элегантность и красоту математической физики при описании фундаментальных понятий и представлений. На рис. 1.10,
Для читателя, заинтересовавшегося этой проблемой, я приведу формулу
описывающую преобразование (аберрации) Лоренца, которое переводит окружности в окружности и одновременно сохраняет значения всех углов. Преобразования такого типа называют преобразованиями Мёбиуса. Мне бы хотелось лишь отметить простоту и изящество этой формулы, описывающей столь сложный параметр, каким выступает в данной ситуации величина
Специальная теория относительности во многих отношениях не только значительно проще классической механики, но и выглядит гораздо изящнее с математической точки зрения (в частности, при рассмотрении процессов в рамках теории групп). В специальной теории относительности пространство-время является плоским, а все световые конусы выстраиваются вдоль траекторий, как было показано на рис. 1.8. При переходе к более сложной общей теории относительности (теории пространства-времени с учетом гравитации) ясная физическая картина на первый взгляд «мутнеет» и теряет свою простоту, так как световые конусы оказываются разбросанными по всему пространству (рис. 1.11). Ранее я говорил, что, развивая любую теорию все глубже и глубже, мы должны приходить к более простым математическим выражениям. Представленная мною картина пока выглядит ужасающе сложной, однако если мы проявим немного терпения, то убедимся, что математическая простота и изящество теории возникнут снова.
Напомню вам основные положения эйнштейновской теории тяготения. Прежде всего, она основана на принципе эквивалентности Галилея. На рис. 1.12 я попытался изобразить Галилея, бросающего с вершины знаменитой Пизанской башни большой и маленький камни. Независимо от того, действительно ли Галилей проводил такие эксперименты, он совершенно ясно установил, понял и сформулировал правило, что оба камня долетят до поверхности Земли за одинаковое время, если не учитывать сопротивления воздуха при падении. Если бы вы находились на одном из этих камней, то второй казался бы вам неподвижно висящим в воздухе (для более наглядной демонстрации этого факта я пририсовал телекамеру к одному из камней). В наше время эффект свободного парения очень часто демонстрируют при репортажах с космических кораблей, и недавно я сам видел британского космонавта, свободно «плавающего» в пространстве рядом с огромным космическим аппаратом (полная аналогия с большим и маленьким камнями в опытах Галилея). Именно это явление и называют принципом эквивалентности.
Рассматривая гравитацию в рамках опытов со свободным падением, мы вдруг понимаем, что в этих условиях она как бы полностью исчезает. Однако эйнштейновская теория вовсе
Для дальнейшего изложения мне необходимо ввести еще несколько математических понятий. Мы говорим об искривлении пространства-времени, а процессы такого типа описываются
Риман = Вейль + Риччи
R.... = C... +R'...g..,
где формально величины С и R' являются тензорами кривизны Вейля и Риччи, a g — так называемый метрический тензор.
Кривизна Вейля является объективным показателем упомянутого выше «приливного эффекта», физическую природу которого я поясню сейчас на простом примере. С точки зрения космонавта гравитация исчезает, однако мы понимаем, что это не так. Представьте себе, например, что космонавт окружен сферическим облаком неподвижных относительно него частиц. С течением времени это облако начнет «расплываться» и деформироваться, после чего в результате очень небольшого различия сил тяготения в различных участках сферы (мне хочется особо подчеркнуть, что я могу вполне адекватно описать эффект в рамках ньютоновской механики) сферическое облако через некоторое время превратится в эллипсоид, как показано на рис. 1.13,
Как я уже говорил, искажение отчасти объясняется тем, что частицы, расположенные ближе к Земле, ускоряются сильнее, чем частицы на периферии облака. Кроме того, частицы по «бокам» сферы испытывают небольшие ускорения «внутрь», что также показано на рис. 1.13,
Гравитационный эффект по Эйнштейну представляет собой просто другую форму описанного приливного эффекта. Он определяется, как уже отмечалось,
Вторая составляющая, называемая
Именно так Эйнштейн и сформулировал свою теорию гравитации — он выразил тяготение посредством приливных эффектов, являющихся мерой локального искривления пространства-времени. Представление об искривлении четырехмерного пространства-времени является важнейшим в теории относительности. Я напомню вам рис. 1.11, где схематически были показаны мировые линии частиц и их искажения. Теория Эйнштейна представляет собой чисто геометрическую схему для четырехмерного пространства-времени, причем ее математическая формулировка отличается удивительной красотой.
История открытия общей теории относительности является весьма поучительной и интересной. Эйнштейн полностью сформулировал ее в 1915 г., исходя не из экспериментальных наблюдений, а лишь из некоторых эстетических, геометрических и физических принципов и пристрастий. Основой теории стали принцип эквивалентности Галилея (примером действия которого могут служить описанные выше эксперименты с бросанием камней различного веса, рис. 1.12) и общие идеи неевклидовой геометрии, естественным образом используемые для описания пространства-времени. Об экспериментальных доказательствах теории вначале никто не задумывался, однако после ее окончательной формулировки было предложено три разных варианта проверки. Первый из них связан с известной астрономической задачей (проблема смещения перигелия Меркурия), которую никак не удавалось решить в рамках классической механики Ньютона. Общая теория относительности позволила совершенно точно предсказать величину этого смещения. Далее, из теории следовало, что траектория световых лучей должна искривляться при прохождении через мощные гравитационные поля (например, вблизи Солнца). Для проверки этой гипотезы в 1919 г. под руководством Артура Эддингтона была организована астрономическая экспедиция для наблюдения полного солнечного затмения. Результаты, полученные этой знаменитой экспедицией, соответствовали предсказаниям эйнштейновской теории (рис. 1.14,
Отношение к теории относительности резко изменилось в 1993 г., когда Хульзе и Тейлор получили Нобелевскую премию за исключительно интересные астрономические наблюдения, относящиеся к двойному пульсару PSR 1913+16. Этот астрономический объект (рис. 1.15,
Далее я должен особо подчеркнуть, что в общей теории относительности существует и совершенно специфический эффект, отсутствующий в ньютоновской теории тяготения и заключающийся в том, что вращающиеся относительно друг друга объекты излучают энергию в виде гравитационных волн. Эти волны похожи на световые, но в отличие от последних представляют собой не колебания электромагнитного поля, а возмущения, или «рябь», пространства-времени. Измеренная скорость потери энергии упомянутой двойной нейтронной звезды с высокой точностью совпала с теоретическими расчетами, проведенными в рамках общей теории относительности. На рис. 1.15,
Процесс создания и проверки общей теорией относительности содержит, безусловно, и важный моральный мотив, связанный с тем, что Эйнштейн потратил на создание теории многие годы, практически не обращая внимания на проблемы ее экспериментальной проверки. Существует общераспространенное мнение, что физики ищут образы, или «паттерны», получаемых в эксперименте результатов и ставят своей целью создание красивых теорий, позволяющих описать эти результаты. Считается, что именно поэтому физики и математики предпочитают «держаться вместе». Однако в случае с общей теорией относительности ситуация выглядит совершенно иной. Вне всякой связи с экспериментальными результатами была разработана весьма изящная и элегантная математическая теория, относящаяся к основам физики. Проблема заключается как раз в том, что эта прекрасная математическая структура просто существует в Природе и присутствует в пространстве, а не является чем-то привнесенным, «навязанным» Природе извне. Одна из важнейших идей этой главы состоит в том, что Эйнштейн выявил в мире нечто, уже содержавшееся в нем. При этом обнаруженные им структуры вовсе не относятся к незначительным или маловажным разделам физики, а связаны с наиболее фундаментальными законами Природы и свойствами пространства-времени.
Сказанное возвращает нас к началу книги и рис. 1.3, связывающему мир математики с миром физических явлений. В общей теории относительности мы сталкиваемся со структурой, которая реально определяет с исключительной точностью поведение физического мира. При этом теория, описывающая фундаментальные свойства нашего мира, была получена вовсе не в результате длительных наблюдений за поведением Природы (разумеется, сказанное не означает, что я отрицаю очевидную ценность таких наблюдений). Конечно, основным критерием научной теории является не убедительность доводов, а соответствие фактам. В данном случае мы имеем дело именно с теорией, которая прекрасно согласуется с экспериментальными данными. Точность теории относительности по крайней мере вдвое (как математик я подразумеваю под точностью число знаков после запятой при надежном расчете) выше точности классической механики, т.е. ее расчеты справедливы до 10-14 , в то время как точность ньютоновской механики составляет лишь 10-7. Такое «возрастание» точности наблюдалось в классической механике за период от семнадцатого века (Ньютон знал, что точность его расчетов составляет 10-3) до наших дней (она доведена, как я уже говорил, до10-7).
Разумеется, гипотеза Эйнштейна представляет собой некую физическую теорию, и для нас очень важно установить ее связь со структурой реального мира. Я обещал, что не буду вдаваться в подробности и делать изложение «ботаническим», однако в данном случае речь идет о теории единственной известной нам Вселенной (как о целостном объекте), так что я могу углубиться в рассуждения, не опасаясь обвинений в излишней болтливости. Теория Эйнштейна предлагает нам три типа стандартной модели развития мира (рис. 1.16) в зависимости от того, какова величина одного из главных параметров теории, обозначенного буквой
Полагая космологическую постоянную равной нулю, мы получаем для трех различных значений параметра
Мне хочется подробнее рассмотреть случай с
На что похожи вселенные с параметром
Геометрия Лобачевского может показаться странной и неожиданной, но если вдуматься, то привычная нам евклидова геометрия — тоже совершенно замечательная вещь, хотя бы потому, что она дает нам прекрасные образцы взаимодействия физики и математики. Когда-то древние греки рассматривали ее не как раздел математики, а как описание окружающего мира.
Геометрия действительно описывает мир с поразительной точностью. Я говорю об очень высокой, но не абсолютной точности, поскольку, как мы уже видели, теория Эйнштейна доказала позднее, что наш мир в определенных условиях может быть «искривлен». Вопрос о возможности существования других геометрий всегда волновал ученых. Эта очень старая проблема известна под названием
В такой геометрии сумма углов треугольника не равна 180°. На первый взгляд кажется, что это условие значительно усложняет рассмотрение, поскольку мы привыкли к тому, что в евклидовой геометрии сумма углов любого треугольника всегда составляет именно 180° (рис. 1.18,
Очень важную роль в геометрии играют так называемые действительные (вещественные) числа, абсолютно необходимые для построений евклидовой геометрии. Такие числа ввел древнегреческий математик Евдокс в 4 веке до н.э., и они до сих пор сохраняют свое значение для создания физической картины мира. Позднее мы будем говорить и о комплексных числах, но последние также основаны на представлении о вещественных числах.
Давайте рассмотрим еще одну гравюру Эшера (рис. 1.19), которая демонстрирует особенности геометрии Лобачевского даже нагляднее, чем рис. 1.17 (поскольку на ней использованы «прямые линии», которые всегда выглядят более очевидными). На рисунке показаны дуги окружностей, пересекающие границу под прямым углом. Обитатель мира с геометрией Лобачевского воспринимал бы прямую линию как одну из этих дуг, что хорошо видно на рис. 1.19, где «по-настоящему прямыми» являются лишь линии, проходящие через центр окружности, а все остальные «прямые» в действительности представляют собой изогнутые дуги. Некоторые из этих «прямых» показаны на рис. 1.20, где я дополнительно выделил точку, не лежащую на истинной прямой (т. е. не на диаметре). Обитатель мира Лобачевского может провести через эту точку две (и даже больше) различные линии, которые не будут пересекать диаметр, т. е. в этой геометрии пятый постулат Евклида безусловно не имеет силы. Более того, измерив сумму углов треугольника на рисунке, вы можете вычислить его площадь. Надеюсь, что даже эти обрывочные сведения дают возможность почувствовать необычность и очарование мира с гиперболической геометрией.
Я уже говорил, что мне очень нравится гиперболическая геометрия, созданная Лобачевским. Одной из причин моего пристрастия является и то, что группой симметрий этого пространства выступает уже знакомая нам группа Лоренца, соответствующая симметрии специальной теории относительности и световых конусов, играющих в этой теории столь важную роль. На рис. 1 .21 световой конус показан более подробно. Я нарочно убрал одну из пространственных координат, чтобы продемонстрировать вам наглядную трехмерную картину. Показанный на рисунке световой конус описывается простым уравнением
В такой геометрии (ее называют геометрией Минковского) уравнению
На рис. 1.21 для пространства Минковского показана также стереографическая проекция, подобная рассмотренной выше (рис. 1.10,
Надеюсь, что мой восторг не показался вам чрезмерным. Существует интересная и несколько загадочная психологическая закономерность: если результаты исследования какой-то заинтересовавшей вас проблемы (например, геометрической) выражаются красивой математической формулой, то это поддерживает интерес исследователя и стимулирует дальнейшую работу (совершенно аналогично результаты, не обладающие математическим изяществом, обычно разочаровывают и обескураживают исследователя). Гиперболической геометрии присуща особая математическая красота, и было бы очень приятно (мне лично, по крайней мере), если бы Вселенная была построена столь математически красиво. Разумеется, у меня есть очень много других причин для веры в такое устройство Вселенной. Многим не нравится идея о гиперболической, открытой Вселенной, и они предпочитают модели замкнутых вселенных (типа показанных на рис. 1.16,
Описанные выше три стандартных типа моделей Вселенной, известные под общим названием
Для всех специалистов по космологии существование этого фонового излучения стало убедительным доказательством того, что наша Вселенная когда-то находилась в очень горячем и плотном состоянии. Излучение сообщает нам нечто об исходном состоянии Вселенной и, хотя не дает полной информации, совершенно определенно свидетельствует о том, что событие типа Большого Взрыва действительно когда-то произошло.
Другими словами, наша Вселенная должна быть очень похожа на одну из моделей рис. 1.16.
Измерения, проведенные при помощи спутника СОВЕ, позволили сделать еще одно важное открытие, заключающееся в том, что (хотя обнаруженное космическое фоновое излучение является высокооднородным и прекрасно описывается математически) Вселенная в целом не является совершенно однородной. В распределении излучения по звездному небу остаются очень небольшие, но вполне реальные неоднородности. Фактически мы вынуждены признать, что какие-то крошечные неоднородности присутствовали уже на самой ранней стадии развития Вселенной, а сейчас мы видим лишь их остатки, которые еще не «расплылись» и не превратились в однородное «загрязнение». Скорее всего, наша Вселенная похожа на модели рис. 1.23 (для демонстрации своей непредубежденности и беспристрастности я привожу примеры и открытой, и замкнутой Вселенной).
Развитие неоднородностей в замкнутой Вселенной будет приводить к образованию реальных наблюдаемых структур (звезд, галактик и т. д.), после чего в результате коллапса звезд, стягивания масс галактик к центрам и т. п. начнут формироваться черные дыры со своими сингулярными центрами (картина будет напоминать Большой Взрыв, протекающий в обратном порядке). Однако в целом ситуация не столь проста. Дело в том, что исходное состояние Большого Взрыва было приятно симметричным и однородным, а изображенное на рисунке конечное состояние представляет собой ужасную «смесь», в которой образующиеся черные дыры сбиваются в кучи, производя немыслимый беспорядок в момент Большого Сжатия (рис. 1.23,
Я еще раз обращаю ваше внимание на то, что в стандартных моделях Фридмана существует огромная разница между исходным состоянием и тем состоянием, которое предсказывается теорией для отдаленного будущего. Эта особенность моделей имеет важное значение, поскольку она связана с одним из фундаментальных законов природы — вторым началом термодинамики.
Этот знаменитый закон физики легко объяснить на примерах из обыденной жизни. Каждый из нас может представить или вспомнить простую житейскую ситуацию, когда бокал падает со стола и разбивается, заливая вином ваш любимый коврик (рис. 1.24, последовательность событий слева направо). Проблема заключается в том, что механика Ньютона не содержит никаких запретов на протекание тех же процессов в обратном направлении, хотя никто никогда не видел, чтобы разбитый бокал и пролитое вино соединились снова, заполненный бокал заскочил на стол и т. д. Два разных направления времени указаны на рисунке стрелками, и я вновь повторяю, что по законам механики оба эти направления совершенно равноправны. Разницу между ними устанавливает лишь второе начало термодинамики, в соответствии с которым энтропия системы со временем должна возрастать. Величина, которую я назвал энтропией, значительно возрастает, когда бокал падает и разбивается, вследствие чего процесс и идет в направлении, указанном верхней стрелкой. Грубо говоря, энтропия есть мера беспорядка в системе. Для более глубокого понимания этой идеи нам необходимо ввести представление о так называемом
Фазовое пространство представляет собой пространство с совершенно немыслимым числом измерений, поскольку каждая его точка описывает координаты и импульсы всех частиц рассматриваемой системы. На рис. 1.25 я выбрал отдельную точку в этом огромном пространстве, и эта точка определяет расположение и характер движения всех частиц системы. При изменении координат и импульсов любой из частиц положение системы в фазовом пространстве изменится. Эволюцию всей системы в таком пространстве я изобразил на рисунке извилистой линией.
Ломаная линия на рисунке описывает обычную эволюцию системы частиц и не связана ни с каким представлением об энтропии. Для введения энтропии мы должны нарисовать небольшие «пузыри» вокруг областей, в которые последовательно попадает система, и объединить различные состояния, которые нельзя рассмотреть по отдельности. Выражение «нельзя рассмотреть по отдельности» несколько туманно и требует пояснений. Конечно, на самом деле все зависит от того, кто и насколько подробно рассматривает поведение системы. Это один из тех сложных и запутанных вопросов, которые раздражают физиков-теоретиков, когда речь заходит об энтропии. Для нашего рассмотрения будет вполне достаточно указать, что под «невозможностью рассмотреть по отдельности» мы подразумеваем некоторое так называемое «крупнозернистое» объединение группы состояний. Для нахождения энтропии необходимо проделать следующие операции: провести «крупнозернистое» объединение группы состояний (т. е. собрать состояния в некоторой области фазового пространства и «слепить» их в единое целое), определить объем этой области, взять логарифм от объема, а затем умножить его на так называемую постоянную Больцмана. Второе начало термодинамики устанавливает, что энтропия системы постоянно возрастает. Это утверждение может показаться простым и даже глуповатым — фактически постулируется лишь то, что если системе, находящейся в очень маленьком «ящичке» или отсеке, позволить двигаться произвольно, то она будет перебираться во все более крупные «ящики» (что очень похоже на правду хотя бы потому, что большие ящики имеют огромные размеры и у попавшей в них системы практически нет шансов случайно «забрести» в маленький ящик). Вот, пожалуй, и все, что можно сказать по этому поводу, — система, случайным образом блуждающая по фазовому пространству, будет попадать во все более крупные ящики или объемы. Именно это постулируется вторым законом. Впрочем, давайте еще немного подумаем о том, так ли все просто?
На самом деле смысл второго начала значительно шире, и сказанное выше разъясняет его лишь наполовину. Второе начало утверждает, что если нам известно состояние системы сейчас, то мы можем предсказать для нее наиболее вероятные состояния в будущем. Однако этот же закон приводит к совершенно неправильным ответам, как только мы пытаемся придать ему «обратную силу». Действительно, вернемся вновь к примеру с бокалом на краю стола. Разумеется, существует много вариантов, в результате которых бокал может оказаться в данном месте и в данный момент времени. Предположим, что нас интересует, какой из этих вариантов является наиболее вероятным. Применив наши рассуждения в обратном порядке, мы можем придти к выводу, что осколки бокала и пятно на ковре сами собой собрались в целый и наполненный бокал, который затем «подпрыгнул» и очутился на столе. Объяснение очевидно неправильно — гораздо вероятнее, что бокал поставил на край стола кто-то из присутствующих. Но при попытке понять, почему этот кто-то поставил бокал именно здесь, перед нами возникнет целый ряд новых вопросов. Установление причинно-следственных связей в любом случае будет вызывать все новые вопросы, выявлять новые связи и т. д. Только такой путь мог бы привести нас к прошлым состояниям с уменьшающейся энтропией. Правильный ход событий описывается «актуальной» (иначе говоря, «реальной») кривой рис. 1.26 (а не всевозможными попытками восстановления прошлого), т. е. именно той кривой, которой соответствует постоянное уменьшение энтропии по мере перехода к прошлому.
Возрастание энтропии со временем объясняется тем, что система, перемещаясь в фазовом пространстве, занимает все большие объемы-ящики, однако уменьшение энтропии при переходе к прошлому носит совершенно иной характер. Действительно, давайте задумаемся над тем, какие процессы могли бы соответствовать возврату к прошлому с постоянным уменьшением энтропии? Можно ли при этом вернуться к моменту Большого Взрыва? По-видимому, проблема, порождающая столь явные и сильные противоречия, связана с какой-то весьма специфической особенностью самого Большого Взрыва. Попытки объяснения ситуации пока остаются малоуспешными. Например, выше я как-то отметил, что лично не очень доверяю модной теории раздувающейся (инфляционной) Вселенной. В этой достаточно популярной теории наблюдаемая в огромных масштабах однородность Вселенной объясняется событиями, происходившими на самой ранней стадии ее развития. Предполагается, что в момент, когда возраст Вселенной составлял лишь около 10-36 секунды, произошло какое-то немыслимое по масштабу расширение. Вопрос о том, как выглядела Вселенная на ранней стадии, теряет при этом подходе смысл, поскольку после такого чудовищного мгновенного увеличения объема (приблизительно в 1060 раз!) геометрия Вселенной стала выглядеть практически плоской. Это предположение позволяет обойти многие «острые углы», чем, возможно, и объясняются популярность и привлекательность описываемой теории.
Однако, как это часто бывает в теории, предлагаемое объяснение всего лишь заменяет одну очень сложную проблему другой. Дело в том, что для описанного механизма требуется прежде всего, чтобы Вселенная находилась с самого начала в ужасном «беспорядке», который (даже если его чудовищно увеличивать в объеме!) все равно останется «беспорядком», в результате чего по мере расширения ситуация будет становиться все хуже и хуже (рис. 1.27).
Мне кажется, что приводимые доводы не объясняют наблюдаемую в настоящее время высокую степень упорядоченности Вселенной. Мы нуждаемся в теории, которая могла бы подсказать, на что был похож Большой Взрыв. Очевидно, что будущая теория должна как-то объединить понятия физики макромира и микромира, классической физики и квантовой механики. Более того, будущая теория должна объяснить причины как Большого Взрыва, так и наблюдаемой однородности мира. Возможно, конечно, что теория покончит и со столь понравившейся мне гиперболической вселенной Лобачевского.
Вернемся еще раз к проблеме замкнутости и открытости рассматриваемых вселенных (рис. 1.28) и рассмотрим подробнее процессы формирования черных дыр. Они возникают в результате коллапса материальных объектов, приводящего к образованию сингулярностей, показанных линиями на пространственно-временных диаграммах. Мне хочется предложить вам одну идею, которую я называю
В этом случае общая картина эволюции вселенной будет напоминать рис. 1.28,
Какова вероятность (строго говоря,
Сказанное подводит нас к вопросу о точности, с которой должны быть определены условия «организации» Большого Взрыва. Ситуация выглядит поразительной, и я попытался выразить ее карикатурой (рис. 1.30), на которой Творец выискивает сверхкрошечную точку в фазовом пространстве, соответствующую начальным условиям, при которых будущая вселенная приобретет привычный нам вид. Творцу необходимо определить положение точки в фазовом пространстве с указанной фантастической точностью (1010^123). Число, о котором идет речь, столь велико, что мне не удалось бы выписать его в ряд, даже используя в качестве нулей все элементарные частицы вселенной.
Я начал изложение с проблемы удивительной точности и согласованности физики и математики. Затем я попытался очень кратко рассказать о втором начале термодинамики, которое многие считают «приблизительным» и не оправдавшим возлагавшихся на него надежд (наверное, потому, что оно связано с понятиями случайности и вероятности), но которое на самом деле отражает удивительно точные закономерности. Говоря о вселенной, мы обязаны оценить точность условий создания ее исходного состояния. Эта точность позднее должна быть отражена и в той будущей, еще не созданной теории, которая позволит объединить квантовую теорию и общую теорию относительности. В следующей главе я продолжу рассказ о процессах, объектах и задачах будущей теории.
Глава 2. Тайны квантовой механики
В гл. 1 я попытался показать, что структура окружающего нас физического мира очень сильно зависит от законов математики (как это было показано на рис. 1.3), причем точность, с которой математика описывает фундаментальные физические аспекты, иногда представляется просто поразительной и заставляет вспомнить название знаменитой лекции Юджина Вигнера «Непостижимая эффективность математики в естественных науках». Список блестящих математических описаний природных явлений действительно выглядит весьма впечатляюще. Сюда входят, например:
Особенно важно то, что во всех указанных теориях применение математических методов не только обеспечивает исключительную эффективность и точность описания физической картины, но и представляет интерес для развития самой математики, поскольку некоторые наиболее плодотворные идеи ее развития возникли именно на основе теоретических построений физики. В качестве примера можно указать обширные разделы математики, возникновение и развитие которых было обусловлено физическими исследованиями:
• теория действительных чисел;
• геометрия Евклида;
• математический анализ и теория дифференциальных уравнений;
• геометрия симплексов;
• дифференциальные формы и уравнения в частных производных;
• геометрии Римана и Минковского;
• теория комплексных чисел;
• теория гильбертова пространства;
• теория функциональных интегралов... и т. д.
Одним из наиболее ярких примеров такого рода является, безусловно, дифференциальное и интегральное исчисление, которое Ньютон и ряд других выдающихся математиков разработали в качестве математического
В гл. 1 я уже говорил о масштабах физических объектов, измеряемых в пределах от фундаментальных единиц (длина Планка и время Планка, которые столь малы, что для описания даже самой маленькой элементарной частицы нам необходимо увеличивать их в 1020 раз), через размеры и время жизни человека (интересно, что мы, люди, являемся наиболее устойчивыми структурами физического мира), и наконец до возраста и радиуса Вселенной. При этом я особо подчеркивал важность того, что мы используем два совершенно разных метода для описания объектов физического мира, которые лежат на разных концах пространственно-временной шкалы. Как показано на рис. 2.1 (он просто повторяет рис. 1.5 первой лекции), мы используем квантовую механику для описания малых, квантовых уровней активности и классическую механику на уровне крупных объектов. Я обозначу эти уровни через U (унитарность, квантовый уровень) и С (классический уровень) и еще раз хочу подчеркнуть, что мы имеем дело, по-видимому, с совершенно разными законами в зависимости от масштаба изучаемых объектов.
Мне, как и любому другому физику, представляется очевидным, что если мы правильно понимаем законы квантовой физики, то из нее должны выводиться законы классической физики. Проблема, однако, заключается в том, что на практике мы всегда пользуемся
Во избежание недоразумения мне бы хотелось сразу оговорить одно обстоятельство, связанное с рис. 2.1. Помещая рядом с именами Ньютона, Максвелла и Эйнштейна слова «классический уровень» или «детерминизм», я вовсе не хочу сказать, будто эти ученые сами верили в детерминизм поведения Вселенной. Мы просто не знаем этого точно, хотя почти с уверенностью можно утверждать, что Ньютон и Максвелл, например, не разделяли этой точки зрения, в то время как Эйнштейн ее поддерживал. Пометки «детерминизм» и «вычислимость» относятся лишь к созданным этими учеными теориям, а не к их личной вере. Точно так же к квантовому уровню добавлены слова «уравнение Шредингера», хотя я не думаю, что сам Шредингер считал свое уравнение пригодным для описания «всей физики». Я еще вернусь к этому вопросу, а пока просто напоминаю читателю, что люди и создаваемые ими теории — вовсе не одно и то же.
Двухуровневая картина на рис. 2.1 сразу вызывает очевидные вопросы: «Развивается ли Вселенная только в соответствии с законами квантовой механики? Можно ли объяснить все поведение Вселенной в рамках квантовой механики?» Прежде чем перейти к их обсуждению, я должен хотя бы очень кратко перечислить те проблемы, которые может описывать и объяснять квантовая механика.
•
•
•
•
•
•
•
• ... и т. д., и т. д.
Другими словами, квантовая механика почти вездесуща и давно используется в окружающих нас бытовых приборах и в различных высокотехнологических изделиях (например, в компьютерах). Элементарные частицы описываются
Мне хочется рассказать еще кое-что о квантовой механике. Рассмотрим рис. 2.2, на котором представлена схема типичного квантовомеханического эксперимента. В соответствии с квантовой механикой свет состоит из частиц, называемых
Результаты такого эксперимента могут быть описаны только в рамках квантовой теории, в соответствии с которой фотон
w x (вероятность А) + z x (вероятность В),
где w и z — комплексные числа. Для описанного эксперимента «вероятность А» соответствует траектории
Вероятности событий могут взаимно «погашаться» именно потому, что множители перед вероятностями являются комплексными числами. При рассмотрении поведения фотона в рамках обычной теории вероятностей множители w и z всегда являются действительными. В квантовой механике они представляют собой комплексные числа, что сразу усложняет картину и разрушает простую вероятностную интерпретацию эксперимента. Это же обстоятельство не позволяет также описывать волновую природу частиц введением неких «волн вероятности», поскольку мы имеем дело с
Для комплексных чисел, представленных точками на такой диаграмме, определены разнообразные правила сложения, умножения и т. д. Например, для сложения таких чисел используется правило параллелограмма, в соответствии с которым действительные и мнимые части этих чисел просто складываются по отдельности (рис. 2.3,
Однако проблемы квантовой механики не сводятся только к суперпозиции состояний с использованием комплексных чисел. До сих пор мы говорили лишь о квантовом уровне (правила которого я обозначил выше буквой U), на котором состояние системы действительно задается суперпозицией всех возможных состояний, усредненных посредством некоторых комплексных множителей. Временная эволюция такого квантового состояния называется шредингеровской или
Однако при увеличении масштаба какой-либо характерной величины происходит
В детали этого процесса (который я на рис. 2.1 обозначил буквой R) физики вдаваться не любят, поскольку при этом осуществляются операции, не имеющие ничего общего с упомянутой мною унитарной эволюцией. В суперпозиции двух возможных состояний необходимо рассматривать два комплексных числа и квадраты их модулей (это сводится лишь к вычислению квадратов расстояний до соответствующих точек на диаграмме Аргана), а вероятность этих состояний определяется просто отношением квадратов этих модулей. Однако эту операцию можно осуществить лишь после проведения «измерения» или «наблюдения», и вы можете считать, что этот процесс соответствует эффекту изменения масштаба при переходе от уровня U к уровню С на рис. 2.1. При этом вам необходимо изменить «правила игры», поскольку перестает сохраняться линейность суперпозиции. Именно в этот момент отношения квадратов модулей мгновенно обращаются в вероятности, т. е. при переходе от уровня U к уровню С система становится (вы делаете ее) недетерминированной. На уровне U все было в порядке, и система была детерминирована, но вы сами делаете ее недетерминированной, как только осуществляете «измерение».
Эта схема обычна для квантовой механики, но она весьма необычна для теории, претендующей на звание фундаментальной. Описываемый переход был бы полон глубокого смысла, если бы он выступал в качестве приближения к некой более общей фундаментальной теории, но проблема состоит в том, что именно эта странная процедура рассматривается физиками-профессионалами в качестве основы фундаментальной теории!
Мне хочется рассказать еще кое-что о комплексных числах. На первый взгляд они действительно представляются довольно отвлеченными понятиями, которые витают где-то рядом, а потом неожиданно, как только кому-то вздумается вычислить квадраты их модулей, обращаются в привычные нам вероятности. В действительности они имеют, как я уже пытался показать, очень простой геометрический смысл, который легко продемонстрировать на следующих простых примерах. Для этого мне придется ввести еще некоторые простые обозначения из квантовой механики. Речь пойдет, в частности, о так называемых скобках Дирака, форма записи которых может показаться кому-то из вас даже забавной. Они представляют собой своеобразные профессиональные «стенографические» значки. Например, выражение
| ψ > = w|
В квантовой механике нас интересуют не столько значения каких-то чисел, сколько их отношения. Поэтому в ней существует и правило, в соответствии с которым умножение состояния на любое комплексное число (за исключением нуля, разумеется) не изменяет общей картины. Другими словами, физический смысл имеют лишь отношения комплексных чисел. При переходе R мы должны рассматривать вероятности (т. е. отношения квадратов модулей), однако, оставаясь на квантовом уровне, мы еще можем надеяться на какую-нибудь прямую физическую интерпретацию самих комплексных чисел и их отношений, даже не переходя к вычислению модулей. Для этого можно воспользоваться, например, описанной выше так называемой
Сфера Римана (пока мы будем рассматривать ее в качестве абстрактного, математического объекта) очень удобна для описания квантовых систем, которые могут находиться в двух разных квантовых состояниях или являться суперпозицией таких состояний. В этом примере мне очень нравится то, что для частиц с половинным спином (а такими являются электроны, протоны, нейтроны) различные комбинации спиновых состояний легко могут быть представлены в геометрическом виде. Частицы с полуцелым спином могут находиться в двух спиновых состояниях (эти состояния соответствуют двум направлениям момента собственного вращения), которые можно назвать просто верхним и нижним состояниями. Суперпозицию двух состояний при этом можно символически записать в виде уравнения
Различные комбинации таких спиновых состояний соответствуют вращениям относительно других осей, положение которых зависит от отношения комплексных чисел w и z, дающего нам еще одно комплексное число u = z/w. Направление спиновой оси определяется прямой, проведенной через центр сферы Римана и точку на сфере, соответствующую числу u, так что комплексные числа в данном случае имеют совершенно конкретный физический смысл. Вообще говоря, уловить этот смысл бывает иногда достаточно трудно, но для частиц с полуцелым спином он очевиден.
Мне хотелось бы обратить ваше внимание на следующее обстоятельство. Конкретная направленность спинов (вверх-вниз) в рассмотренном примере несущественна, и спины в принципе могут быть направлены как угодно (влево-вправо, вперед-назад), т. е. исходное значение двухчастичного состояния не играет никакой роли (исключение составляет выделенное начальное состояние с противоположено направленными спинами). В соответствии с одним из законов квантовой механики все спиновые состояния одинаково удобны для рассмотрения, что и было показано выше.
Квантовая механика представляет собой непростой объект. Эта очень красивая и элегантная теория содержит также много таинственного и является, в сущности, весьма загадочной, обескураживающей и парадоксальной наукой. Мне хотелось бы особо подчеркнуть, что тайны можно довольно четко разделить на
Термином
Существуют, однако, проблемы совсем другого типа, которые можно назвать тайнами-парадоксами или
Я считаю, что мы вполне можем «ужиться» с
Мне бы хотелось еще немного рассказать о
Существует знаменитая теорема Джона Белла, которая утверждает, что смешанная вероятность, соответствующая результатам измерений в точках
Решение о том, какое из направлений поляризации фотонов будет измерено, принималось лишь после того, как фотоны удалялись от источника на значительное расстояние и попадали в детекторы
Я еще раз хочу подчеркнуть, что в таких
Еще один пример
Возможно, следующее утверждение покажется вам очень странным, но квантовая механика позволяет нам провести испытание того, что
Рассмотрим, что происходит с одиночным фотоном, испущенным источником, при попадании на головную часть неисправной бомбы. На первом полупосеребренном зеркале квантовое состояние фотона расщепляется на два отдельных состояния, одно из которых соответствует фотону, пропущенному через полупосеребренное зеркало к неисправной бомбе, а второе — фотону, отраженному по направлению к неподвижному зеркалу (такая суперпозиция возможных траекторий фотона в точности совпадает с суперпозицией, рассмотренной выше для эксперимента с прохождением фотона через две щели на рис. 2.2, а также, что имеет особое значение, наблюдается при сложении спинов). Предположим, что длины траекторий между двумя полупрозрачными зеркалами совершенно одинаковы. Для определения состояния фотона в момент достижения им регистрирующих устройств необходимо сравнить траектории обеих составляющих суперпозиции состояний. Легко заметить, что траектории «взаимопогашаются» в точке В, но одна из них продолжается дальше до точки А, вследствие чего в схеме должен иногда срабатывать только детектор А, в то время как детектор В не должен ничего регистрировать во всех случаях. Это весьма похоже на интерференционную картину, наблюдаемую в экспериментах рис. 2.2, когда интенсивность облучения некоторых участков постоянно равна нулю вследствие взаимного гашения квантовых состояний в этих точках. Таким образом, при тестировании (т. е. облучении) неисправной бомбы детектор А должен срабатывать постоянно, а детектор В — столь ж е постоянно не выдавать никаких сигналов.
Рассмотрим далее ситуацию с тестированием исправной бомбы. В этом случае зеркало на бомбе перестает быть простым отражателем, а его сдвиг превращает саму бомбу в некоторое
Описанный эксперимент может показаться весьма странным, однако в 1994 г. во время визита в Оксфорд Зейлингер рассказал мне, что он и его коллеги действительно провели предложенный выше эксперимент по тестированию бомб (разумеется, бомбы не были боевыми, а наши коллеги-физики не террористы). Зейлингер и его друзья (Квят, Вайнфуртер и Касевич) обнаружили еще один, более эффективный вариант решения этой задачи, при котором тестирование осуществляется вообще без расхода бомб. Я не помню, за счет каких усложнений измерительной установки им удалось этого добиться, но в целом можно констатировать, что задача о тестировании бомб фактически уже решена — при очень небольшом числе взрывов (или даже вообще без взрывов) можно гарантированно выделить из некоторого множества бомб заведомо исправную.
Давайте пока остановимся на этих рассуждениях, так как приведенные примеры, как мне кажется, уже наглядно продемонстрировали совершенно необычный характер тех квантово-механических явлений, которые я выше назвал
Вернемся к знаменитой задаче о коте Шредингера. Схема мысленного эксперимента, представленная на рис. 2.7, не совсем совпадает с первоначальным замыслом самого Шредингера, но это несущественно для общего рассмотрения. Мы вновь имеем дело с источником фотонов и полупрозрачным зеркалом, которое переводит квантовое состояние падающего фотона в некоторую суперпозицию состояний (одно, как и прежде, соответствует проходящему фотону, а второе — отраженному). При срабатывании регистрирующего устройства, расположенного на траектории пропускаемого фотона, выстрел из пистолета убивает несчастного кота. Этого кота можно рассматривать в качестве конечного измерительного устройства, т. е. считать, что мы просто переходим от квантового уровня измерения к макроскопическому (а именно, к коту, который может быть живым или мертвым). Проблема заключается в том, что если вы считаете такой переход (от квантов к коту) законным, то должны также считать, что актуальное (реальное?) состояние кота тоже представляет собой некоторую суперпозицию двух состояний (жизни и смерти). Действительно, если фотон описывается суперпозицией двух состояний (двух траекторий), а детектор — суперпозицией двух состояний (включен/выключен), то было бы естественным (и последовательным) описывать кота суперпозицией двух состояний (жизнь/смерть). Проблема была сформулирована очень давно, но найти ее удовлетворительное решение пока не удалось. Число мнений и предлагаемых решений чуть ли не превосходит число физиков, связанных с квантовой механикой (такое превышение вполне возможно, поскольку многие физики меняли свои мнения в процессе обсуждения). Мне хочется привести весьма общее мнение, высказанное однажды в приятной дружеской беседе за ужином Бобом Уолдом: «Если вы действительно
Вы можете заметить, что многие ревностные сторонники FAPP (например, Зурек) помещены в центре диаграммы рис. 2.8. Впрочем, возможно, мне еще надо объяснить, что я подразумеваю под центром диаграммы. Дело в том, что я разделил «серьезных» физиков на разные группы. Часть из них верит в U-эволюцию, т. е. воспринимает ее в качестве единого процесса (эту точку зрения можно назвать верой в картину
Физики, которые, по моему мнению,
Мне хочется чуть подробнее остановиться на роли математики и некоторых других проблемах, связанных с котом Шредингера. Давайте еще раз рассмотрим ситуацию с котом и попробуем ввести нормировку (вес состояний) при помощи комплексных чисел w и z (рис. 2.9,
Каким образом все это можно согласовать в рамках концепции
Основная проблема состоит в том, что все сказанное фактически оказывается недостаточным для решения поставленной проблемы. Например, остается непонятным, почему наше сознание не воспринимает такие макроскопические суперпозиции. Давайте рассмотрим особый случай, когда величины w и z равны друг другу, т. е. когда состояние системы можно записать в виде некоторого простого алгебраического соотношения, изображенного на рис. 2.10, где показаны живой кот
Давайте вернемся к проблеме квантовых измерений и, в частности, к вопросу о
Предположим, что мы измеряем спиновое состояние частицы, попавшей в наш детектор «здесь», а вторая частица за это время улетела очень далеко, и точка «там» находится где-то на Луне! Пусть далее мой коллега на Луне включил детектор и измерил проекцию спина в направлении вверх/вниз. Если спин этой частицы направлен вниз, то это означает, что у первой частицы он был направлен вверх, поскольку обычно предполагается, что вектор состояний частицы представляет собой смесь равновероятных состояний (спин-вверх и спин-вниз).
Для описания систем с такими смешанными состояниями в квантовой механике применяется стандартный метод, основанный на использовании так называемой
Я не буду рассказывать даже в самых общих чертах о серьезнейшем математическом аппарате теории матриц плотности. Для нашего рассмотрения достаточно знать, что матрица плотности содержит всю информацию, необходимую для расчета вероятностей результатов измерений, производимых над одной частью квантовой системы, в тех случаях, когда информация о другой части квантового состояния недоступна. Например, в нашем случае полное квантовое состояние относится к
Я позволю себе немного изменить рассматриваемую ситуацию и предположу дополнительно, что мой коллега на Луне при измерении спина выбрал направление влево/вправо, а не вверх/вниз, как раньше. В этом случае запись состояний примет вид, показанный на рис. 2.13. В сущности, эта запись совпадает с записью рис. 2.11 (та же алгебраическая схема, основанная на геометрии рис. 2.4), однако в ней использованы другие обозначения состояний. В момент измерения мы еще не знаем результатов, полученных коллегой на Луне, однако ясно, что он с одинаковой вероятностью может получить для спина левое направление (в этом случае я должен получить правое направление) или правое (в этом случае я получаю левое). Матрица плотности
Алгебраически легко проверить, что матрицы плотности действительно одинаковы. Не беда, если вы не знаете, о каких алгебраических приемах я говорю. Вам следует лишь помнить, что матрица плотности — наиболее совершенный аппарат для описания состояния, о части которого вы ничего не знаете. Используемые в этой матрице вероятности имеют обычный смысл, но применяются для квантовомеханического описания, при котором в неявной форме учитываются квантовые вероятности. Короче говоря, если вы ничего не знаете о происходящем «там», матрица плотности даст наилучшее описание состояния «здесь».
Однако из сказанного очень трудно заключить, что матрица плотности описывает
Матрицы плотности гораздо чаще применяются для описания ситуаций типа изображенной на рис. 2.14. Их намного сложнее применять для запутанных состояний, при которых что-то доступно нам и «здесь» (например, живой или мертвый кот), а что-то — коллегам «там» (на Луне или за соседним столом, это не принципиально), и лишь сочетание «здесь» и «там» может дать полное описание среды, связанной с многострадальным котом. Именно поэтому я вынужден при построении полного вектора состояний учитывать живого кота (с некоторым окружением)
Ситуация с котом и его окружением (я по-прежнему буду рассматривать только случай равных амплитуд w и z) математически описывается точно так же, как эксперимент со спином (выражение «живой кот плюс мертвый кот» играет роль «правого» спина, «живой кот минус мертвый кот» — роль «левого» спина), и мы получаем то же состояние (рис. 2.14 с w = z) и ту же матрицу плотности (рис. 2.15 с w = z). Естественно возникает вопрос, являются ли комбинации слов «живой кот плюс мертвый кот» и «живой кот минус мертвый кот» столь же точными и удобными, как привычные термины «живой кот» и «мертвый кот». Это вовсе не представляется очевидным, однако используемая математика достаточна ясна — матрица плотности для кота не изменяется (рис. 2.16), так что даже знание о характере матрицы не помогает нам выяснить вопрос о его состоянии. Другими словами, матрица плотности не содержит данных о жизни и смерти кота, и мы должны найти их где-то еще.
Из всего сказанного остается неясным не только поставленный вопрос о состоянии кота (является ли он живым, мертвым или пребывает в некоторой комбинации этих состояний), но даже и то, каким образом мы можем воспринимать кота живым или мертвым. Более того, в более общем случае неравных друг другу амплитуд w и z остается совершенно неясным, почему вероятности должны составлять именно |w|2 и |z|2. Мне такое описание очень не нравится, и поэтому я вновь обращусь к общей диаграмме состояния физики (рис. 2.1) и попробую улучшить ее, добавив необходимые, на мой взгляд, элементы будущего развития (рис. 2.17). Операция, обозначенная мною ранее буквой R фактически представляет собой лишь приближенную форму более важной и необходимой операции, которую следовало бы обозначить аббревиатурой OR (я подразумеваю Objective Reduction — восстановление объективной картины). Речь идет действительно о восстановлении объективности, ведь, в конце концов, объективно может происходить одно
Но почему возникают все эти проблемы? Моя личная точка зрения сводится к тому, что трудности связаны с какой-то ошибкой в использовании принципа суперпозиции для сильно различающихся
На мой взгляд, сложностей можно избежать лишь при полном отказе от создания таких суперпозиций. Так или иначе, но любая такая суперпозиция должна воплотиться в одно из возможных ИЛИ, что означает наличие некоторого события на уровне пространства-времени (рис. 2.18,
Что связывает длину Планка (10-33 см) с процессом редукции (коллапса) квантового состояния? На рис. 2.19 приведена очень простая схема бифуркации пространства-времени, соответствующая суперпозиции двух пространственно-временных состояний, в одном из которых кот Шредингера является живым, а в другом — мертвым. При этом почему-то кажется, что эти два пространственно-временных состояния могут образовывать суперпозицию. Мы должны спросить сами себя: «Что необходимо изменить в правилах игры, если мы видим, что эти состояния стремятся стать совершенно различными?» Взгляните на рисунок еще раз и отметьте, что в некотором (кстати, вполне разумном) смысле разница этих геометрий имеет порядок планковской длины! Когда геометрии состояний начинают различаться на эту величину, нам следует задуматься самим об изменении правил и законов. Я хочу подчеркнуть, что мы имеем дело с пространствами-временами, а не только с пространствами. При «разделении пространства-времени в планковских масштабах» очень малые пространственные различия соответствуют большим временам, и наоборот, чрезвычайно большие пространственные изменения — малым временам. Основная проблема при этом состоит в том, чтобы оценить и уловить тот момент, когда разница между двумя пространствами-временами становится настолько значительной, что Природа сама отбирает какое-то одно
За какое время Природа осуществляет этот выбор? Мы можем рассмотреть некоторые совершенно определенные ситуации, для которых удовлетворяется ньютоновское приближение в теории Эйнштейна и одновременно четко определено различие двух гравитационных полей, связанных с членами квантовой суперпозиции (т. е. двух комплексных амплитуд, примерно равных по величине). Я могу предложить вам, например, следующий эксперимент. Давайте пожалеем уставшего кота и рассмотрим движение массивного шара в эксперименте, показанном на рис. 2.20. Насколько велика должна быть масса шара, сколь далеко он может отклониться и каково будет пространство-время после редукции вектора состояний? Я буду рассматривать суперпозицию двух состояний как некоторое неустойчивое состояние, немного напоминающее нестабильную частицу типа ядра урана или чего-либо похожего, способного распасться или превратиться в нечто другое, причем это превращение связано с каким-то определенным временным масштабом. Предположение о неустойчивости подразумевает какие-то неизвестные нам физические законы. Для оценки временного масштаба рассмотрим энергию
T = ћ / E
Существует много подходов, приводящих к такой оценке, которые различаются лишь деталями, но сохраняют нечто общее, характерное для всех гравитационных теорий.
Можно привести много доводов в пользу предлагаемой гравитационной модели. Прежде всего отметим, что все другие схемы, которые в явной форме описывают редукцию (коллапс) квантовых состояний за счет введения новых физических явлений, сталкиваются с проблемой сохранения энергии. Кажется, что закон сохранения энергии при квантовой редукции нарушается (возможно, так оно и происходит на самом деле), однако я думаю, что предлагаемая гравитационная модель дает нам прекрасный шанс полностью освободиться от этой сложной проблемы. Я не могу пока объяснить все это в деталях, позвольте изложить некоторые соображения по этому поводу.
В общей теории относительности масса и энергия представляют собой довольно необычные величины. Прежде всего, масса эквивалентна энергии (деленной на квадрат скорости света) и, следовательно, энергия гравитационного потенциала вносит в массу свой вклад (причем отрицательный!). Соответственно, если два массивных объекта достаточно удалены друг от друга, то система в целом оказывается несколько массивнее, чем та же система с более близко расположенными объектами (рис. 2.21). Хотя плотность энергии-массы (измеряемой в единицах тензора энергии-импульса) равна нулю лишь внутри объема массивных объектов, а энергия каждого из них очень слабо зависит от другого, тем не менее некоторая разница в
Вопрос о явных или очевидных временных масштабах очень важен для рассматриваемых нами проблем, и я еще вернусь к нему в гл. 3. Каковы времена распада для реальных систем и какие пространственно-временные суперпозиции этому соответствуют? Считается, например, что время жизни протона (который условно можно считать просто твердым шариком) составляет несколько миллионов лет (оценка представляется весьма разумной, поскольку экспериментально распад одиночных протонов никогда не наблюдался). Для капельки воды время распада может составлять несколько часов (при радиусе ~10-5 см), одну двадцатую секунды (при радиусе ~10-4 см) или одну миллионную долю секунды (при радиусе ~10-3 см). Эти цифры наглядно показывают связь между масштабами и характером физических явлений.
Существует еще одно довольно важное обстоятельство, которое следует упомянуть. Ранее я немного подшучивал над сторонниками подхода FАРР (квантовая механика для всех практических целей), однако в этом подходе содержится и очень важный аспект, а именно: учет окружения, о котором я пока почти ничего не говорил. В реальных ситуациях учет окружения существенно важен для рассматриваемых нами задач. В сущности, мы не имеем права говорить просто «шар здесь» или «шар там», а должны каждый раз говорить о суперпозиции типа «этот шар плюс окружение» или «другой шар плюс его окружение» и т. д. Кроме того, необходимо очень внимательно проверять, связаны ли основные наблюдаемые эффекты с движением именно шаров и других тел или с их окружением. Если какая-то проблема связана с окружением, то наблюдаемый эффект будет случайным, а его описание будет иметь привычный вид. Однако если система достаточно изолированна и ролью окружения можно пренебречь, то в поведении системы, возможно, проявится нечто выходящее за рамки обычной квантовой механики. Было бы очень интересно предложить какие-либо разумные эксперименты этого типа (у меня имеются некоторые идеи на этот счет), которые доказали бы справедливость предлагаемой схемы или, наоборот, продемонстрировали, что привычные квантовые эффекты в этих условиях сохраняются, и мы действительно должны всерьез рассматривать существование суперпозиции состояний таких шаров (или, если угодно, котов).
На рис. 2.22 я попытался обобщить все приведенные выше рассуждения и свести их в некоторую схему. Для этого я расположил различные фундаментальные физические теории в вершинах некоторого абстрактного куба с несколько деформированными гранями (чуть ниже я поясню, что заставило меня использовать такой непривычный художественный прием). Три измерения этого куба соответствуют трем основным физическим константам: гравитационной постоянной
Мы не можем завершить построение указанного куба и получить общую картину связи различных теорий, так как принципы теории гравитации и квантовой механики существенно противоречат друг другу. Это противоречие проявляется даже в случае ньютоновской теории гравитации (где подразумевается, что
Глава 3. Физика и разум
Первые две главы были посвящены окружающему нас физическому миру и математическим приемам (иногда поразительно точным, иногда весьма странным), используемым для его описания. В гл. 3 мне хочется рассказать о
Карл Поппер когда-то ввел в науку представление о так называемом «третьем мире»,
Мне хочется взглянуть на эти проблемы с несколько иной точки зрения. Вместо того чтобы считать (вслед за Поппером) культуру порождением мышления, я предпочитаю рассматривать и связывать миры по схеме рис. 3.3, в которой «третий мир» относится не к культуре, а к миру абсолютов, или платоновских идей, т.е. к представлениям некоторых абсолютных математических истин. Такому подходу соответствует приведенный ранее рис. 1.3, отражающий глубокую связь законов физического мира с точными математическими законами.
В этой главе речь пойдет в основном об отношениях между указанными мирами. Мне кажется весьма спорной сама идея возникновения мышления из каких-либо физических структур или сущностей (кстати, философы всегда относились к этой идее с недоверием). В физике мы говорим о веществах, предметах, частицах, пространстве, времени, энергии и т. п. Для меня всегда оставалось загадкой, каким образом физика, изучающая эти объекты, может быть связана с обычными человеческими чувствами, например с восприятием красного цвета или ощущением счастья. В сущности, таинственными и непонятными представляются все отношения между тремя мирами, показанные пронумерованными стрелками на рис. 3.3. В первых двух главах я уже говорил о связи математики и физики (Тайна 1), которую когда-то знаменитый Е. Вигнер (см. список литературы) назвал непостижимой, необычной и даже странной (я целиком разделяю эту точку зрения). Действительно, давайте попробуем задуматься о том, почему физический мир столь четко следует некоторым математическим законам? Более того, при этом математика (которая, по предположению, управляет поведением физического мира) является сама по себе исключительно полезной и важной наукой, если рассматривать ее просто в качестве
В этой главе я буду говорить о Тайне 2, связанной с отношениями физического и мысленного миров, однако в этой связи нам придется задуматься и о Тайне 3: на чем, собственно говоря, основана наша способность воспринимать математические истины? Когда я упоминал о мире платоновских идей в первых двух главах, я говорил в основном о математике и математических понятиях, которые требуются для описания физического мира. Мы чувствуем, что математика необходима для этого описания, однако, с другой стороны, существует распространенное мнение, что сами математические структуры являются всего лишь порождением нашего сознания, т. е. математика представляет собой некий продукт человеческой мысли. Должен сразу отметить, что сами математики (и я лично тоже) относятся к математическим истинам совсем по-другому. Поэтому наличие на рисунке стрелки, связывающей мысленный мир с платоновским (как, впрочем, и других стрелок), не подразумевает, что какие-то из миров просто порождаются другими. В каком-то смысле мы можем говорить о таком порождении, однако стрелки на рис. 3.3 означают лишь то, что между этими мирами существуют некоторые связи.
Гораздо важнее, что на рис. 3.3 представлены три моих собственных предрассудка или предубеждения. Первый из них заключается в том, что весь физический мир в принципе может быть описан математически. Я не утверждаю, что любая математика описывает какие-то физические процессы, а всего лишь думаю, что правильно выбранные разделы математики позволяют очень точно описывать физические явления, т. е. физический мир ведет себя в соответствии с законами математики. Таким образом, некоторая малая часть платоновского мира идей заключает в себе законы физического мира. Точно так же я не утверждаю, что все в физическом мире обладает какой-то ментальностью, а скорее предполагаю, что все существующие мыслительные объекты основаны на каких-то физических сущностях. Это утверждение можно назвать моим вторым предубеждением. И наконец, третье предубеждение состоит в том, что наше восприятие математики (по крайней мере, в принципе) связано с тем, что наше сознание в определенном смысле способно воспринимать какие-то отдельные объекты в мире платоновских идей. Я сознаю, что у некоторых людей последнее утверждение может вызвать недоумение или раздражение, однако все три высказанных предположения требуют обсуждения и размышления. Кстати, только нарисовав эту диаграмму, я осознал, что она отражает мои собственные предубеждения. Я еще вернусь к этим вопросам в конце главы.
Позвольте мне начать с некоторых общих соображений о
На рис. 3.4 я попытался выделить и обобщить некоторые характеристики этих двух миров. С правой стороны отмечено, что
В качестве характеристик физических законов я выписал в правой части рис. 3.4 некоторые термины (предсказуемость и вычислимость), возможность использования которых напрямую зависит от того, описывается ли окружающий нас мир
Так чем же является
Существуют различные точки зрения на отношения между процессами сознательного мышления и способностью к вычислениям. Четыре основных подхода к этой проблеме (которые я обозначил через
В первом подходе
В соответствии со второй точкой зрения
Сам я придерживаюсь точки зрения
И наконец, всегда существуют сторонники подхода
Выше я уже говорил, что лично являюсь убежденным сторонником подхода
Поскольку я упомянул рис. 2.17, позвольте вернуться к нему и дать некоторые дополнительные пояснения. В частности, я бы хотел обсудить используемый на рисунке термин
Для перехода от квантового уровня к классическому обычно используется процедура, обозначенная мною
Таким образом, моя версия сильного С-утверждения выглядит следующим образом: мы должны искать в физике «невычислимость», позволяющую связать квантовый и классический уровни описания. Конечно, такая постановка вопроса представляется чрезвычайно сложной и трудной, ведь я говорю о необходимости построения не просто новой физики, а физики, относящейся к описанию работы мозга.
Прежде всего давайте подумаем о том, насколько вообще правдоподобно или вероятно существование чего-то невычислимого в нашем понимании. Позвольте мне привести в качестве примера очень простую и симпатичную шахматную задачу. Вы знаете, что компьютеры уже неплохо играют в шахматы. Однако самый мощный современный шахматный компьютер «ДипСот», решая приведенную на рис. 3.5 задачу, начинает делать очень глупые ходы. Легко видеть, что в этой позиции черные имеют огромное материальное преимущество (две лишние ладьи и слона), которое, однако, не имеет никакого значения для исхода партии, поскольку белые пешки «намертво» блокируют черные фигуры. Пока белый король спокойно «бродит» за барьером из своих пешек, белые просто не могут проиграть. Однако компьютер «ДипСот» первым же ходом за белых взял черную ладью, после чего положение белых стало безнадежным. Причина, конечно, состоит в том, что компьютер запрограммирован на действие (ход за ходом) до некоторой глубины расчета, после чего он вновь начинает считать пешки и т. п. В принципе приведенный пример не очень удачен, так как если бы компьютер мог считать на очень много ходов вперед, он не ошибся бы (в конце концов, шахматы относятся именно к «вычислимым» играм). Однако заметьте, что человек-шахматист практически сразу видит барьер из пешек, понимает его непроницаемость и значение, после чего легко находит стратегию игры. Компьютер не обладает таким общим «пониманием» и начинает просто рассчитывать ход за ходом. Этот пример демонстрирует огромную разницу между простым вычислением и способностью к пониманию.
Разумеется, вы можете обучить ЭВМ использованию пешечного барьера, но проблема имеет более сложный и глубокий характер. В еще одном шахматном примере (рис. 3.6) белым следует поставить слона на b4 и, используя его вместо пешки, вновь создать непреодолимый пешечный барьер (вместо весьма заманчивого, но безнадежного взятия черной ладьи на а5). Задача очень похожа на предыдущую, но компьютер (даже если он умеет создавать пешечный барьер) опять начинает ошибаться, поскольку эта задача требует значительно более высокого уровня понимания. Вы можете возразить, что при желании в программу можно ввести все уровни понимания, и вы были бы правы, если бы рассмотрение относилось только к шахматным задачам. Повторю, что шахматы относятся к «вычислимым» играм, поэтому при достаточно мощном компьютере и хорошей программе можно (по крайней мере, в принципе) рассчитать до конца все вероятности. Пока это никому не удалось проделать, однако нас устроит и принципиальная возможность получения такого решения в будущем. Тем не менее, я надеюсь, вы почувствовали, что в термине «понимание» содержится нечто, не сводящееся к прямому расчету. Совершенно определенно можно сказать, что человеческий подход к решению даже таких простых шахматных задач существенно отличается от компьютерного.
Можно ли привести еще более сильные доводы в пользу того, что наше понимание содержит в себе нечто большее, чем набор вычислительных операций? Мне не хочется тратить слишком много времени на доказательство этого утверждения, однако это настолько важно для всей моей концепции, что я приведу еще в качестве примера несколько чисто математических задач. Читателю, заинтересовавшемуся проблемой связи мышления и вычислительных операций, я рекомендую прочитать мою книгу «Тени разума», где первые 200 страниц посвящены детальному и всестороннему обзору аргументации сторон в многочисленных дискуссиях по этому поводу.
Давайте поговорим о
•
Под числом я подразумеваю
0 = 02 + 02 + 02,
т.е. 0 действительно можно представить в виде суммы трех квадратов. Перейдем затем к единице и выпишем все возможные комбинации чисел, равных или меньше 1, в результате чего получим
1 = 02 + 02 + 12.
В табл. 3.2 я выписал результаты всех этих скучных и утомительных операций до числа 7, которое (как легко видеть из таблицы, где просто перечислены все комбинации) нельзя записать в виде суммы трех квадратов. Таким образом, число 7 является ответом для нашей задачи — оно представляет собой наименьшее число, которое нельзя представить в виде суммы трех квадратов. Этот пример довольно типичен для вычислительного метода решения простой по формулировке задачи.
Мы можем считать, что нам несколько повезло с задачей, поскольку вычисления привели к ответу довольно быстро, однако ясно, что в других задачах расчет может занимать очень много времени или даже продолжаться до бесконечности. Например, предположим, что я несколько изменил условия и нам необходимо:
•
Еще в XVIII веке знаменитый математик Лагранж доказал теорему о том, что каждое число может быть записано в виде суммы квадратов четырех чисел. Поэтому если вы начнете поиск нужного числа по предложенному выше методу, то ваш компьютер будет бестолково «тарахтеть» целую вечность, но так и не найдет ответа. Это пример задачи, решение которой простым вычислением может продолжаться бесконечно.
Доказательство теоремы Лагранжа довольно сложно, поэтому я приведу гораздо более доступный и легкий пример. Предположим, что мы хотим:
•
Компьютер может искать такое число вечность, хотя мы с вами прекрасно знаем, что сумма двух четных чисел всегда дает четное число. Но вот вам пример гораздо более сложной задачи:
•
Как вы считаете, справится ли когда-нибудь компьютер с этим расчетом? Вообще-то считается, что эта задача (называемая проблемой Гольдбаха) не имеет решения, но она столь сложна, что у математиков нет единого мнения об ее истинности. Я нарочно подобрал три задачи разной степени сложности (очень простую, достаточно сложную и настолько сложную, что никто не знает ее ответа), чтобы сформулировать следующий вопрос:
•
Например, подумайте, сработало ли в мозгу Лагранжа нечто похожее на компьютерную программу, прежде чем он пришел в конечном счете к заключению о возможности представления каждого числа суммой квадратов четырех чисел? Для ответа на этот вопрос вовсе не надо представлять себя Лагранжем, достаточно просто проследить за ходом его рассуждений. Заметьте, что меня совершенно не интересует проблема оригинальности мысли, я хочу лишь рассмотреть проблему самого процесса познания, вследствие чего и использовал в формулировке вопроса слово «убедиться» (подразумевая возникновение или создание какого-то понимания).
В науке вообще (а в логике, в частности) утверждения о том, что некоторые вычисления являются бесконечными, носят название
Я начну доказательство с некоторого обобщения рассмотренных выше задач, а именно попытаюсь выявить зависимость связанных с их решением вычислений от чисел
•
Нам уже известно, что для
•
В этом случае нам нет даже необходимости говорить о зависимости от
•
Если утверждение Гольдбаха верно, то вычисления будут длиться бесконечно для всех
Важнейшей характеристикой вычислений такого типа является их зависимость от чисел натурального ряда
Вычисления, связанные с конкретным числом
С0(n), С1(n), С2(n), С3(n), ..., Сp(n), ... .
Предположим, что этот набор содержит
Предположим далее, что мы имеем какую-то вычислительную (т. е. алгоритмическую) процедуру
Собственно говоря, в этом и заключается роль процедуры
Предположим далее, что
Но в данном случае
А(n, n) = Сk(n).
Положив n = k, мы тут же получаем
А(k, k) = Сk(k),
что в сочетании с условием (1) сразу приводит к заключению:
Вспомнив, что
Вы можете подумать об общем смысле этого доказательства. Оно ясно демонстрирует, что математическое понимание и/или интуиция не могут быть закодированы в виде какого-то вычислительного процесса,
«Другими словами, абсолютно безупречно работающая машина не может обладать интеллектом. Об этом свидетельствует ряд теорем, которые, однако, ничего не говорят о том, каким уровнем интеллекта может обладать машина, не претендующая на безошибочность и безупречность работы».
Таким образом, согласно Тьюрингу утверждения теоремы Гёделя-Тьюринга совместимы с идеей о том, что математиков можно действительно рассматривать в качестве компьютеров, если алгоритмические операции, выполняемые ими при выводе математических истин,
Рассмотрим далее точку зрения Гёделя, которая в моей схеме относится к
«С другой стороны, на основе всего доказанного сохраняется возможность существования (и, может быть, даже эмпирического создания) машины, способной доказывать теоремы. В реальной жизни такая машина
Это высказывание явно намекает на существование «лазейки», позволяющей непосредственно использовать теорему Гёделя-Тьюринга для опровержения идей вычислимости (или функционализма). Лазейка заключается в том, что математик может пользоваться некоторым здравым и логичным алгоритмом, не будучи полностью уверен в его разумности. Таким образом, Гёдель видел лазейку в
Ни один из этих подходов не кажется мне убедительным. Теорема Гёделя-Тьюринга всего лишь утверждает, что если доказана разумность какой-то алгоритмической процедуры (для доказательства П1-утверждений), то можно немедленно получить некий результат, выходящий за рамки данной процедуры. Мы можем сделать это и сами, используя какую-либо другую алгоритмическую процедуру (о разумности которой мы ничего не знаем). Кроме этого возможно существование некой обучающейся машины, которая поможет нам в этом поиске. Эта проблема (и целая куча связанных с нею задач) довольно подробно рассматривается в моей книге «Тени разума», и поэтому я не буду повторять все доводы и рассуждения, а отмечу только два из них.
Главный вопрос заключается в том, каким образом возникает этот предполагаемый алгоритм? Можно предположить, что в мозгу человека при этом происходит нечто подобное естественному отбору, в то время как в случае робота новый алгоритм создается какой-то специальной структурой, которую можно смело назвать AI (Artificial Intelligence, искусственный интеллект). Я не буду вдаваться в сложные рассуждения по этому поводу, а лишь приведу вам две простые карикатуры из упомянутой книги.
Первая из них (рис. 3.7) относится к связи понимания с естественным отбором. Любой первобытный математик с точки зрения естественного отбора и дарвиновской межвидовой борьбы за существование находится в весьма невыгодном положении (по сравнению, например, с показанным на рисунке саблезубым тигром). Однако на заднем фоне картинки можно видеть сородичей математика, которые успешно охотятся на мамонтов, строят дома, выращивают какие-то злаки и т. п. Все эти операции требуют от первобытных людей развития «понимания», но заметьте, что сам математик в этих действиях непосредственно не участвует. Таким образом, качество и уровень «понимания» могут существенно влиять на процессы естественного отбора видов, хотя сами математические алгоритмы не имеют к этим процессам никакого прямого отношения.
На другой карикатуре (рис. 3.8), связанной с одним из сюжетов книги «Тени разума», показан созданный по некоторому проекту робот с искусственным интеллектом. Сюжет относится к дискуссии между роботом и специалистом по АI, которая достаточно сложна и занимает в книге много места, вследствие чего я не буду ее пересказывать. В свое время моя точка зрения на доводы Гёделя-Тьюринга была подвергнута жестокой критике самыми различными людьми, с самых разных позиций и по самым разным причинам. Дискуссия в книге «Тени разума» между AI-экспертом и роботом представляет собой мою попытку обобщения всех новых доводов и возражений.
Давайте вернемся к началу обсуждения. Доводы самого Гёделя относятся к конкретным утверждениям относительно чисел, но заметьте, что Гёдель говорит лишь о том, что не существует вычислительных процедур, которые позволяют описывать свойства
Я утверждаю, что математическое понимание вообще сводится вовсе не к вычислительной работе мозга, а к чему-то совершенно иному, связанному с нашей способностью осознавать или понимать окружающий мир. Разумеется, вы можете возразить мне, что «невычислимый» характер математического восприятия вовсе не означает, что и другие формы сознания являются «невычислимыми». Однако мне кажется, что предложенная идея достаточно обоснованна хотя бы потому, что не очень умно проводить разграничение между математическими и всеми остальными видами «понимания». Именно эту идею я пытался внушить, демонстрируя вам рис. 3.7. Понимание вовсе не следует считать характерной или даже профессиональной характеристикой математиков, оно является весьма общей чертой, присущей всем человеческим существам, и эта способность принципиально не является вычислительной по своей природе, вне всякой зависимости от математики. Нельзя также провести границу между пониманием и человеческим сознанием вообще, поэтому (несмотря на мои более ранние утверждения, что я ничего не знаю о человеческом сознании) мне кажется, что понимание является просто примером сознания (или хотя бы чем-то похожим на него). Впрочем, я также не могу провести четкую границу между сознанием человека и животного. Я прекрасно пониманию, что эта фраза может многим не понравиться, но я на самом деле думаю, что люди очень похожи на многих животных, и (хотя мы соображаем чуть лучше, чем некоторые наши биологические родственники) они также способны к пониманию и обладают основами сознания.
Поэтому «невычислимость»
Что, в сущности, я подразумеваю под термином «невычислимость»? Я уже много говорил об этом, и мне хочется привести еще один конкретный пример, демонстрирующий невычислимость в моем понимании. Для этого я опишу некоторую
В такой модели рассматриваются лишь дискретные моменты времени (мы можем обозначить их просто 0, 1, 2, 3, 4, ...), каждому из которых соответствует некоторое состояние Вселенной, описываемое некоторым набором так называемых
(S0, S0), (S0, S1), (S1, S1), (S2, S1), (S3, S1), (S4, S1), ..., (S278, S251), (S251, S279), (S252, S279), ...
Рассмотренная модель наглядно демонстрирует различие между вычислимостью и детерминизмом. На рис. 3.11 приведены некоторые примеры заполнения плоскости плитками полиомино различных размеров и форм. Легко видеть, что в случаях
Задача значительно осложняется при попытке заполнения плоскости плитками полиомино более сложной формы, показанными на рис. 3.12 (именно к этой ситуации относится теорема Роберта Бергера). Дело в том, что три типа показанных на рисунке плиток покрывают плоскость целиком, однако эту операцию нельзя осуществить таким образом, чтобы узор повторялся! На каждом этапе процесс заполнения определяется вашим выбором продолжения, в результате чего очень трудно установить порядок действий. Тем не менее операция, безусловно, выполнима, и именно существование таких вариантов заполнения плоскости привело Бергера к формулировке теоремы, из которой следует, что для моделирования развития даже этой игрушечной вселенной невозможно выработать вычислительную программу.
А как обстоят дела с описанием настоящей, большой Вселенной? В гл. 2 я уже немало говорил о фундаментальных недостатках существующей физической картины мира. Подумайте, нет ли в физической теории каких-то проблем, заставляющих вспомнить о невычислимости некоторых операций? У меня есть основания считать, что квантовая теория гравитации в своем правильном виде должна быть именно невычислимой. Я говорю об этом вполне серьезно и продемонстрирую вам, что проблема невычислимости возникает, по крайней мере, в двух независимых направлениях развития квантовой гравитации, причем именно тогда, когда мы рассматриваем квантовые суперпозиции четырехмерных пространств-времен (в большинстве существующих теорий используется лишь суперпозиция трехмерных пространственных состояний).
Рассмотрим сначала так называемую схему Героха-Хартля для квантовой гравитации, которая с самого начала содержит элемент невычислимости, поскольку одним из используемых в ней математических положений является доказанная Марковым невозможность вычислительной классификации четырехмерных топологических складок. Я не буду вдаваться в сложные технические детали, но хочу еще раз подчеркнуть, что невычислимость возникает естественным образом при объединении общей теории относительности и квантовой механики.
В качестве второго примера появления невычислимости в теориях квантовой гравитации можно сослаться на результаты, содержащиеся в препринте одной из работ Дэвида Дейча. К моему глубокому удивлению, в полном тексте статьи, опубликованной позднее, я не обнаружил этих данных! Я специально беседовал с автором на эту тему, и он заверил меня, что опустил эти результаты не из-за их ошибочности, а лишь потому, что они были не очень важны для статьи в целом. Он считает, что забавные суперпозиции пространства-времени (которые мы должны рассматривать хотя бы в качестве гипотетически возможных) возникают вследствие того, что некоторые из потенциально возможных вселенных могут образовывать замкнутые пространственно-временные линии (рис. 3.13). В таких ситуациях всякие каузальные (причинно-следственные) связи полностью теряют смысл, причины и следствия «бегут по замкнутому кругу», а прошлое и будущее просто перемешиваются друг с другом. Хотя все это выглядит совершенно нереальным и противофактическим, оно (как и в задаче гл. 2, связанной с испытанием бомб) может влиять на действительные события. Я не считаю эти рассуждения достаточно серьезными и убедительными, однако они показывают, что какие-то невычислимые операции могут легко обнаружиться и в совершенно правильных теоретических построениях.
Далее мне хотелось бы обсудить еще один достаточно сложный вопрос. Выше я подчеркивал, что детерминизм и вычислимость представляют собой разные понятия, и это подводит нас к проблеме
Такие рассуждения связаны со столь многими и разнообразными проблемами, что я могу только упомянуть некоторые из них, не пытаясь даже как-то отвечать. Например, существует вечный спор о том, насколько наши поступки определяются 7
Следующий вопрос относится к уже упомянутому мной «контакту» с миром платоновских идей. В чем, собственно говоря, состоит этот контакт и каков его характер? В сущности, можно указать огромное количество так называемых «миров» с участием невычислимых элементов — судебное дело, здравый смысл, озарение, эстетическое чувство, сострадание, мораль... Мне представляется, что все эти области жизни и сознания характеризуются наличием элементов невычислимости. До сих пор я говорил о мире платоновских идей главным образом в математическом смысле, однако в идеях Платона есть и другая сторона, которую нельзя игнорировать. Абсолютные платоновские идеи ассоциировались не только с истиной, их другими характеристиками выступали добро и красота. Поэтому любой контакт с платоновскими идеями, доступный человеческому разуму и не сводящийся к вычислительным операциям (или вычисляемому поведению), представляется мне чрезвычайно важным.
А теперь давайте задумаемся о работе нашего собственного мозга. На рис. 3.14 представлен небольшой участок мозга, относящийся к очень важной структуре —
Элементы, обозначенные квадратиками на рис. 3.15 (вы можете считать их, например, транзисторами), способны играть роль нейронов мозга, что позволяет создавать и рассматривать специальные электронные устройства, называемые
Мне бы хотелось рассмотреть еще некоторые вопросы, связанные с работой нейронов. Что делают отдельные нейроны? Являются ли они действительно своеобразными вычислительными элементами и т.п.? Следует помнить, что нейроны представляют собой биологические клетки, а биологическая клетка — настолько сложная и развитая структура, что она способна проделывать хитрые трюки даже в одиночку. Например, показанное на рис. 3.16 одноклеточное существо (инфузория-туфелька, парамеция) способно плыть к источнику пищи, убегать от опасности, преодолевать препятствия и даже учиться, т. е. приобретать «жизненный опыт». Наличие таких свойств, конечно, наводит на мысль о нервной системе, но именно нервной системы инфузория точно не имеет. Было бы просто великолепно, если бы, например, инфузории-туфельки и являлись интересующими нас нейронами! К сожалению, никаких нейронов инфузория иметь не может хотя бы потому, что она представляет собой одну-единственную клетку. Мне бы очень хотелось иметь возможность задать всем этим одноклеточным (включая амебу) простой вопрос: «Как вам всё это удается?»
Предполагается, что выполнение сложных функций этих одноклеточных организмов обеспечивает так называемый
Микротрубки (иногда их называют микроканальцами) являются довольно необычными объектами. Например, реснички, посредством которых передвигается инфузория, представляют собой пучки таких микротрубок. Более того, очень часто микротрубки вовлекаются в процесс митоза (так биологи называют деление клеток). Впрочем, я хотел бы сразу подчеркнуть, что это происходит только с микротрубками в обычных клетках, а не в нейронах, так как нейроны вообще не делятся (возможно, это и является их главной особенностью). Цитоскелет управляется структурой, именуемой
Все это невозможно в нейронах (поскольку, как я уже отмечал, нейроны не могут делиться), поэтому в них микротрубки должны выполнять какие-то другие функции. Что делают микротрубки в нейронах? Похоже, что у них там масса дел (включая перенос молекул-нейропередатчиков внутри клетки), однако они почти точно связаны с уже упоминавшейся силой синапсов. На рис. 3.17 показаны (естественно, с очень большим увеличением) нейрон и синапс, а также упрощенная схема расположения микротрубок и присоединения актиновых волокон. Из рисунка можно понять, что микротрубки могут изменять силу синапса, воздействуя на так называемые
Устройство отдельной микротрубки схематически показано на рис. 3.18. Она построена, главным образом, из довольно своеобразного белкового вещества
Позвольте мне далее предложить собственную несколько неожиданную идею, заключающуюся в том, что квантовая механика может оказаться весьма полезной при рассмотрении процессов такого рода. В описываемых микротрубках меня более всего заинтересовало их строение, т. е. факт, что они представляют собой
Для полноты предлагаемого описания необходимо еще изобразить когерентное квантовое колебание, происходящее в трубках и распространяющееся на большие области мозга. Много лет назад очень общую идею такого типа выдвинул Роберт Фрёлих, предполагавший обнаружить такие структуры именно в биологических системах. Микротрубки представляются мне весьма удобной средой для проявления крупномасштабных квантово-когерентных явлений. Относительно термина «крупномасштабный» я бы хотел напомнить вам описанные в гл. 2 эффекты квантовой нелокальности (типа парадокса Эйнштейна-Подольского-Розена), которые наглядно демонстрируют нерасторжимую связь событий и эффектов, происходящих на очень больших расстояниях друг от друга. Нелокальные эффекты квантовой механики нельзя понять, рассматривая некоторые события в качестве совершенно независимых, поскольку они требуют учета каких-то глобальных связей.
Мне кажется, что сознание тоже представляет собой нечто глобальное, и любой физический процесс, ответственный за сознание, должен носить существенно обобщенный характер. Квантовая когерентность, очевидно, удовлетворяет всем требованиям в этом отношении. Для осуществления крупномасштабной квантовой когерентности необходима высокая степень изоляции, которая обеспечивается стенками микротрубок. Конформационные переходы тубулина могут потребовать дополнительной изоляции, которую создает слой упорядоченных молекул воды, покрывающих внешнюю сторону микротрубок. Эта упорядоченная, или структурированная, вода (ее наличие в живых клетках установлено совершенно точно) может и сама играть достаточно важную роль в процессах квантово-когерентных колебаний внутри трубок. Хотя всё сказанное может показаться чрезвычайно сложным, тем не менее его нельзя считать совершенно бессмысленным.
Квантовые колебания в трубках должны быть как-то связаны с функционированием самих микротрубок (а именно: с механизмом работы клеточных автоматов, который предлагал Хамерофф), однако для нашего рассмотрения важнее связать эту идею с квантовомеханическим поведением. Поэтому следует говорить не о вычислительных операциях в обычном смысле этого слова, а о так называемых квантовых вычислениях, в которых участвуют суперпозиции таких операций. При последовательном и целостном подходе мы должны были бы рассматривать вычисления только на квантовом уровне, однако в нашем случае квантовое состояние в какой-то момент оказывается «запутанным» с окружением, в результате чего мы должны, по-видимому, случайным образом «перескочить» на классический уровень в соответствии со стандартной R-процедурой квантовой механики. Было бы не очень разумно требовать возникновения истинной невычислимости на этом этапе, поскольку тогда должны со всей очевидностью проявиться и невычислимые особенности OR-перехода, требующие полной изоляции. Поэтому я считаю, что в мозгу должно существовать нечто, обеспечивающее изоляцию, достаточную для того, чтобы OR-физика могла сыграть свою важную роль. Короче говоря, для осуществления суперпозиционных вычислений в микротрубках требуется лишь одно: вычисления должны осуществляться в настолько изолированном состоянии, чтобы могли проявиться новые физические закономерности.
Таким образом, я предлагаю следующий механизм: квантовые вычисления осуществляются за достаточно длительное время, в течение которого система должна оставаться изолированной от окружения. За этот временной промежуток (который составляет около секунды и представляет собой один из критериев, о которых я упоминал, описывая стандартные квантовые операции) осуществляются невычислительные операции, в результате которых мы получаем некие результаты, существенно отличные от рассматриваемых в обычной квантовой теории.
Конечно, все приведенные рассуждения содержат много умозрительных и рискованных предположений, однако этот подход предлагает некий реальный прогресс в установлении связи между сознанием и биофизическими процессами. Предлагаемая модель дает значительно более специфическую, содержательную и количественно определенную картину, чем все существующие подходы. Мы можем, например, попытаться найти минимальное число нейронов, требуемых для осуществления OR-перехода. Необходимо также оценить величину временного интервала (или масштаба)
Рассмотрим сначала первую из этих методик, которую можно связать с проблемой свободы воли. В экспериментах Либета и Корнхубера на голове испытуемых укрепляли электроды, позволяющие регистрировать электрическую активность мозга, после чего испытуемому давалась возможность нажимать на заданную кнопку в любой момент времени по собственному желанию. Усредненные результаты многочисленных экспериментов (приведенные на рис. 3.20,
Очень интересные результаты были получены в экспериментах с пассивным осознаванием (которые, кстати, оказались значительно более сложными при осуществлении). Выяснилось, что пассивное осознавание или восприятие чего-либо требует возбуждения мозговой активности длительностью около половины секунды (рис. 3.20,
Мне кажется, что в описанных экспериментах есть нечто, что неявно подразумевает и включает в себя основные представления классической физики. Вспомните предложенную выше задачу об испытании бомб, решение которой сначала кажется противоречащим фактам и здравому смыслу. Однако затем выяснилось, что противофазные события могут влиять на ситуацию даже тогда, когда они не происходят на самом деле. Обычная логика в таких случаях оказывается бессильной, если только ее не используют с особой осторожностью. При рассмотрении задач этого типа следует постоянно помнить о необычном поведении квантовых систем и об удивительных возможностях, связанных с квантовой нелокальностью и квантовой «противофактностью». Квантовую нелокальность очень трудно понять в рамках специальной теории относительности. Я твердо убежден, что ее удастся объяснить лишь после перехода к принципиально новой теории, которая не должна сводиться к незначительной модификации уже существующих построений. Новая теория должна отличаться от квантовой механики так же, как общая теория относительности отличается от ньютоновской теории тяготения, т.е. представлять собой концептуально новую систему идей, в которую квантовая нелокальность должна входить естественным образом.
В гл. 2 я уже отмечал, что, хотя квантовая нелокальность является весьма необычным и даже загадочным эффектом, она может быть вполне адекватно описана математически. Я поясню свою мысль простой картинкой (рис. 3.21), на которой изображен так называемый «невозможный треугольник». Глядя на эту картинку, вы вправе спросить: «А где, собственно, скрыта невозможность?» Можно ли указать место локализации того, что мы называем невозможностью? Секрет изображения невозможного объекта в данном случае связан с тем, что стоит вам закрыть небольшой участок изображения (например, любой из углов), как рисунок становится вполне осмысленным и возможным, так что не следует даже искать ту его специфическую часть, которая содержит нечто невозможное. Невероятность или невозможность в этом случае — свойство всей структуры, рассматриваемой в качестве единого целого. Я подчеркиваю, однако, что такие объекты можно совершенно строго рассматривать с математической точки зрения. Среди прочего их можно разделять на части, склеивать эти части в ином порядке и делать какие-то конкретные математические выводы из детального анализа всего «склеенного» образца. Наиболее подходящим математическим понятием для описания предлагаемого объекта является
И наконец, явное сходство структуры рис. 3.21 и 3.3 вовсе не является случайным, поскольку на рис. 3.3 специально подчеркнут и выделен элемент парадоксальности. Действительно, изображенный механизм взаимодействия трех миров (когда каждый из миров почти полностью возникает из небольшой части другого) является странным и необычным, однако (как и в случае рис. 3.21) дальнейшее изучение может позволить нам получить хотя бы частичное решение общей проблемы. Важно лишь осознать и признать загадочность и странность некоторых явлений, таинственность и сложность которых вовсе не означают, что нам никогда не удастся понять их в будущем.
Литература
Albrecht-Buehler, G. (1981) Does the geometric design of centrioles imply their function?
Albrecht-Buehler, G. (1991) Surface extensions of 3T3 cells towards distant infrared light sources,
Aspect, A., Grangier, P., and Roger, G. (1982). Experimental realization of Einstein—Podolsky—Rosen—Bohm
Beckenstein, J. (1972) Black holes and the second law,
Bell, J. S. (1987)
Bell, J. S. (1990) Against measurement,
Berger, R. (1966) The undecidability of the domino problem,
Böhm, D. and Hiley, B. (1994).
Davenport, H. (1968)
Deeke, L., Grotzinger, В., and Kornhuber, H. H. (1976). Voluntary finger movements in man: cerebral potentials and theory,
Deutch, D. (1985) Quantum theory, the Church—Turing principle and the universal quantum computer,
DeWitt, В. S. and Graham, R. D., eds. (1973)
Dibsi, L. (1989) Models for universal reduction of macroscopic quantum fluctuations,
Fröhlich, H. (1968). Long-range coherence and energy storage in biological systems,
Gell-Mann, M. and Hartle, J. B. (1993) Classical equations for quantum systems,
Geroch, R. and Hartle, J. (1986) Computability and physical theories,
Gödel, К. (1931) Uber formal unentscheidbare Satze der Principia Mathematica und verwandter System 1,
Golomb, S.W. (1966)
Haag, R. (1992)
Hameroff, S.R. and Penrose, R. (1996). Orchestrated reduction of quantum coherence in brain microtubules — a model for consciousness. In
Hameroff, S. R. and Penrose, R. (1996). Conscious events as orchestrated space-time selections.
Hameroff, S. R. and Watt, R. C. (1982). Information processing in microtubules,
Hawking, S. W. (1975) Particle creation by black holes,
Hughston, L. P., Jozsa, R., and Wooters, W. K. (1993) A complete classification of quantum ensembles having a given density matrix,
Kärolyhäzy, F. (1966) Gravitation and quantum mechanics of macroscopic bodies,
Kärolyhäzy, F. (1974) Gravitation and quantum mechanics of macroscopic bodies,
Kärolyhäzy, F., Frenkel, A. and Lukacs, B. (1986) On the possible role of gravity on the reduction of the wave function. In
Kibble, T. W. B. (1981) Is a semi-classical theory of gravity viable? In
Libet, B. (1992) The neural time-factor in perception, volition and free will,
Libet, В., Wright, E.W. Jr. Feinstein, В. and Pearl, D.K. (1979) Subjective referral of the timing for a conscious sensory experience,
Lockwood, M. (1989)
Lucas, J. R. (1961) Minds, Machines and Godel,
Majorana, E. (1932) Atomi orientati in campo magnetico variabile,
Moravec, H. (1988)
Omnes, R. (1992) Consistent interpretations of quantum mechanics,
Pearle, P. (1989) Combining stochastic dynamical state-vector reduction with spontaneous localisation,
Penrose, R. (1989)
Penrose, R. (1989) Difficulties with inflationary cosmology, in
Penrose, R. (1991) On the cohomology of impossible figures (La cohomologie des figures impossibles),
Penrose, R. (1994)
Penrose, R. (1996) On gravity's role in quantum state reduction,
Percival, I. C. (1995) Quantum spacetime fluctuations and primary state diffusion,
Schrödinger, E. (1935) Die gegenwärtige Situation in der Quantenmechanik,
Schrödinger, E. (1935) Probability relations between separated systems,
Searle, J.R. (1980) Minds, Brains and Programs, in
Seymore, J. and Norwood, D. (1993) A game for life,
Squires, E. (1990) On an alleged proof of the quantum probability law,
Turing, A. M. (1937) On computable numbers with an application to the Entscheidungsproblem,
Turing, A. M. (1939) Systems of logic based on ordinals,
von Neumann, J. (1955)
Wigner, E. P. (1960) The unreasonable effectiveness of mathematics in the physical sciences,
Zurek, W. Н. (1991) Decoherence and the transition from quantum to classical,
Глава 4. О мышлении, квантовой механике и актуализации возможностей.
ВВЕДЕНИЕ
Я всегда восхищался общим настроением и духом исследований Роджера Пенроуза, в которых строгая наука сочетается со страстным желанием познать природу вещей. В своем творчестве он следует возвышенному призыву Гильберта: «Мы должны знать, и мы будем знать»[2]. Что касается постановки проблем, то я полностью согласен с автором в формулировке трех его основных тезисов: во-первых, проблема мышления может изучаться научными методами; во-вторых, квантовомеханические идеи каким-то образом соотносятся с классической философской проблемой связи души и тела; и, в-третьих, квантовомеханическая проблема актуализации возможностей действительно относится к чистой физике и требует для своего разрешения модификации существующего формализма квантовой механики. Однако мое согласие с автором ограничивается только этими формулировками. Я скептически отношусь к доводам, выдвигаемым Пенроузом в защиту указанных тезисов, и надеюсь, что моя критика будет учтена им в дальнейших исследованиях.
4.1. О РОЛИ И МЕСТЕ МЫШЛЕНИЯ В ПРИРОДЕ
Приблизительно четверть объема трех первых глав этой книги и добрая половина предыдущей книги Пенроуза «Тени разума» (ниже я буду обозначать ее просто аббревиатурой TP) посвящены доказательствам неалгоритмической природы математических способностей человеческого мозга. В рецензии Хилари Патнам[3] на книгу TP уже подчеркивалось, что в доводах Пенроуза имеются явные пробелы. В частности, он не рассматривает возможность существования такой машины Тьюринга, которая может моделировать математические способности человека, но одновременно является настолько сложной, что человеческое сознание не может ее понять. Мне не показался убедительным ответ Пенроуза[4] на эту рецензию, хотя, должен сознаться, я не настолько знаком с так называемой теорией доказательств математической логики, чтобы судить о дискуссии с полной уверенностью. Однако мне кажется, что обсуждаемые доводы имеют прямое отношение к основной идее Роджера, так что, возможно, как говорят альпинисты, «он лезет не на ту вершину». Его основная идея состоит в том, что мысленные операции содержат нечто, недоступное для любого искусственного разума (т. е. любого компьютера, созданного человеком), но она оказывается несвязанной с предположением о неалгоритмическом характере математической деятельности человека. Интересно, что в TP Пенроуз не только подробно изложил доводы Гёделя, но и добавил две страницы (TP, с. 40-41 ) аргументов, почерпнутых из известной книги Джона Сирла
Сирл доказывает (а Пенроуз подтверждает эту мысль), что математическое понимание применимо и к другим аспектам интеллектуального и психического опыта человека, например к сенсорному восприятию, чувству боли и удовольствия, ощущению желания и даже к интенциям (т. е. к направленности сознания, которая, в сущности, может быть сведена к переработанному опыту общения с реальными или воображаемыми объектами). В философском подходе, основанном на физическом описании мира (его обычно называют физикализмом), выработаны различные стратегии исследования таких явлений[5]. В так называемых двухаспектных теориях психический опыт связан со специфическими состояниями мозга, а в некоторых других теориях — с набором состояний мозга. При этом рассматриваемый класс состояний является настолько «хрупким», что его описание нельзя получить прямыми физическими экспериментами, вследствие чего необходима какая-то «редукция» психических и интеллектуальных понятий в физические. В теориях, основанных на функционализме, психические состояния идентифицируются с формальными программами, которые могут быть реализованы различными физическими системами, включая нейронные сети мозга (возможно, вследствие случайного стечения обстоятельств). Существующие физикалистские теории основаны главным образом на упомянутых двухаспектных подходах, характеризующихся тем, что в них некие сущности (обладающие одним набором свойств) считаются идентичными другим сущностям (обладающим совершенно другим набором свойств). Описание таких систем включает в себя разнообразные сенсорные модальности, а в некоторых случаях — одновременно сенсорные и микрофизические модальности. Обычно рассмотрение таких систем далее сводится к отождествлению ментальных состояний с конкретными состояниями мозга (либо с классом таких состояний или с определенной программой). Я думаю, что именно в этом переходе состоит серьезная ошибка всех указанных подходов. Идентифицируя один объект (характеризующийся некоторой сенсорной модальностью) с другим объектом (характеризующимся другой модальностью), мы «тайком» связываем две причинно-следственные цепочки. Мы имеем два соединения цепочек (одна пара на едином объекте, вторая — где-то в «театре сознания» воспринимающего субъекта), однако нельзя забывать, что они имеют совершенно разные причинно-следственные связи с окружением, а также с сенсорным и мыслительным аппаратом воспринимающего субъекта. Если состояния мозга и воспринимающего сознания действительно идентичны, то физикализм двухаспектного подхода вполне оправдан. В этом случае общий объект является завершением указанных цепочек, и состояние мозга получает необходимое онтологическое преимущество в физическом описании (что и является основным принципом физикализма). Однако при этом другой конец цепочки («театр сознания» воспринимающего субъекта) фактически отсутствует. Можно даже считать, что двухаспектная теория построена на всеобщей молчаливой «договоренности» или условности (аналогично тому, как действие в обычном театре построено на договоренности относительно наличия некой комбинации физических и духовных обстоятельств), однако такой «театр» не может быть введен независимым образом в теории, основанные на физикализме.
Еще один довод против физикализма основан на философской идее, которую я называю феноменологическим принципом (я буду рад, если кто-то предложит или найдет в литературе более подходящее название), в соответствии с которым любая онтология, признаваемая последовательной и ясной философской системой, должна «нести ответственность за свои утверждения», из чего сразу следует, что физикализм является непоследовательной теорией. В онтологии физикалистов можно постулировать онтологическую иерархию (обычно именно это и происходит), где низший, или фундаментальный, уровень содержит элементарные частицы или соответствующие поля, а более высокие уровни — объекты (сущности) из комбинаций элементов низших уровней. Такие комбинации могут быть охарактеризованы двумя методами (названия которых берутся из статистической физики): мелкозернистым описанием, дающим детальную картину микросостояния, или крупнозернистым описанием, при котором усредняются или интегрируются свойства, получаемые при мелкозернистом разбиении. Кроме этого существуют и так называемые смешанные (относительные) описания, зависящие от конкретного типа комбинированных элементов (или составленных из них систем), участвующих в процессе восприятия. Проблема связана с тем, как в эту концепцию могут вписываться чувственные (сенсорные) восприятия. Они могут быть согласованы с мелкозернистым описанием только при условии, что ментальные свойства «скрыты» в каких-то фундаментальных основах физики, что явно противоречит общей программе физикализма. С другой стороны, их нельзя «вписать» и в крупнозернистое описание без введения какого-либо искусственного приема типа двухаспектной теории (о недостатках которой я говорил в предыдущем разделе). И наконец, чувственные восприятия не могут быть связаны и с относительными описаниями, если только между объектом и воспринимающим субъектом не существует причинно-следственной зависимости. Таким образом, чувственные восприятия никак не вписываются в онтологию физикализма.
Предложенные выше доводы могут показаться «простодушными», но их трудно опровергнуть именно вследствие простоты и «здравомыслия». Помимо этого существует и ряд других, достаточно сложных и серьезных аргументов, относящихся к философской несостоятельности онтологии физикализма. Первое возражение связано с тем, что у нас нет никаких доказательств существования какой-нибудь ментальности вне высокоразвитых нервных систем, на что, кстати, указывал ранее и сам Пенроуз: «Если понятие, называемое мышлением, является чем-то внешним по отношению к физическому телу, то совершенно непонятно, почему все его атрибуты столь тесно связаны со свойствами физического мозга» (TP, с. 350). Второе важное возражение заключается в том, что мы имеем огромный фактический материал, неоспоримо доказывающий, что сами нервные структуры являются продуктом эволюции, которая начинается с примитивных организмов, лишенных таких структур. Строго говоря, если справедлива теория так называемой пребиотической эволюции, то генеалогия нервной системы может быть доведена до неорганических молекул и атомов (фундаментальная физика не может, конечно, приписывать неорганическому веществу на этом уровне какие-либо свойства, связанные с сознанием).
Примером онтологии ментализма, в котором учтены все три рассмотренных довода, может служить «философия организма», предложенная Уайтхедом[6], который считал своим предшественником Лейбница с его теорией монад (монадологией). В философии Уайтхеда конечными сущностями выступают «актуальные события», представляющие собой не объекты, а пространственно-временные «кванты» (обычно на очень низком уровне), обладающие ментальными или психическими характеристиками типа «опыт», «субъективное сознание» или «склонность». Значения этих понятий выводятся из характеристик ментальности более высоких уровней, которые мы познаем интроспективно (путем самоанализа или самонаблюдения), однако в крайне приблизительной или экстраполированной форме. Физические элементарные частицы, которые Уайтхед рассматривал в качестве временной цепочки событий, могут быть в этой схеме почти точно описаны понятиями обычной физики, поскольку «жизненный опыт» частиц является крайне скудным, смутным, однообразным и монотонным. Однако даже при описании таких частиц небольшая часть информации все же теряется, так как «понятие физической энергии, являющееся основой современной физики, должно рассматриваться лишь как часть более общего понятия составной или сложной энергии (эмоциональной и целенаправленной и способной к конечному синтезу в субъективной форме), которая и проявляет себя в каждом завершенном событии»[7]. Эволюция высокоразвитых сообществ таких «событий» позволяет примитивным зачаткам разума развиваться, превращаясь в интенсивный, согласованный и полностью осознающий себя разум: «Неорганическая материя продолжает функционировать независимым образом и внутри живых организмов. Кажется, что именно за счет координации таких функций и внешнего проявления внутренних завершенных событий достигается наблюдаемое разумное поведение живых организмов»[8].
Фамилии Уайтхеда нет в авторском указателе TP, а в другой книге Пенроуза
В следующем разделе я попробую частично ответить на поставленные вопросы и сформулировать в общих чертах модернизированный «уайтхедизм»[10], основанный на квантовомеханических представлениях.
4.2. ПРИМЕНИМОСТЬ ИДЕЙ КВАНТОВОЙ МЕХАНИКИ К ПРОБЛЕМЕ СВЯЗИ СОЗНАНИЯ И ТЕЛА
Одна из основных идей квантовой механики состоит в том, что комплексное состояние системы (которое соответствует ее максимально полному описанию) не исчерпывается списком реальных (актуальных) характеристик системы, но включает в себя ее некоторые потенциальные возможности и характеристики. Если свойство
Еще одной важной особенностью квантовой механики выступает наличие запутанности. Если
Модернизированный уайтхедизм, о котором я кратко упомянул в конце предыдущего раздела, учитывает потенциальные возможности и запутанность квантовых состояний довольно своеобразным путем. Потенциальные возможности рассматриваются в качестве «средства», позволяющего преодолеть «пропасть» между миром материи (обладающей только зачатками сознания, протоментальностью) и миром высокоразвитого сознания. Даже крупные организмы со сложным мозгом могут не обладать сознанием, поэтому переход между сознанием и бессознательностью должен рассматриваться не в качестве онтологического перехода, а как изменение состояния, при котором осуществляется преобразование свойств от определенности к неопределенности, и наоборот. В случае простой системы (типа электрона) такой переход можно рассматривать как трансформацию «полной неопределенности» в «слабое мерцание разума». Именно на этом этапе приобретает особое значение концепция запутанности состояний. В системе из многих тел запутанность состояний создает значительно более богатые возможности для проявления наблюдаемых свойств, чем в случае отдельной частицы. Спектр наблюдаемых «коллективных» свойств смешанной системы оказывается значительно шире, чем у составляющих ее частиц. Вследствие квантовой запутанности элементарных систем (каждая из которых обладает лишь очень небольшим набором ментальных свойств) составная система проявляет весьма широкий спектр свойств, что позволяет материи постепенно пройти весь путь развития от полной бессознательности до высокоразвитого сознания.
Естественно возникает вопрос о том, каким образом модернизированный уайтхедизм может быть связан с идеями Пенроуза о квантовом состоянии систем многих тел. Обе упомянутые концепции (наличие потенциальных возможностей и существование квантовой запутанности состояний) широко используются Пенроузом при рассмотрении многих вопросов (гл. 2 и 3 данной книги, а также гл. 7 в TP). Проявление потенциальных возможностей может быть напрямую связано с его предположением о «квантовых вычислениях», осуществляемых нейронной системой таким образом, что каждая «ветвь» суперпозиции осуществляет вычисления независимо от других (см. TP, с. 355-6). Запутанность (которую Пенроуз предпочитает называть когеренцией) предположительно тоже играет важную роль на многих стадиях таких вычислений. В частности, предполагается, что микротрубки на границах клеток играют организующую роль в работе нейронов, для чего автор даже специально постулирует наличие запутанных состояний в микротрубках (TP, с. 364-5). Предполагается также, что запутанные состояния присутствуют не только в микротрубках отдельных нейронов, но и в предполагаемом конечном состоянии ансамбля нейронов. Крупномасштабная необходимость существенно важна для идей Пенроуза, поскольку «отдельное сознание может возникать только в случае, когда какая-то квантовая когеренция существует в некоторой части мозга» (TP, с. 372). Пенроуз считает, что эта идея вполне разумна в свете последних открытий в области сверхпроводимости и сверхтекучести, среди которых можно выделить последние достижения в высокотемпературной сверхпроводимости и расчеты Фрёлиха, подтверждающие возможность наличия крупномасштабных запутанностей в биологических системах при обычных температурах (TP, с. 367-8). Еще одна идея Пенроуза связана даже не с современной квантовой механикой, а с ее предполагаемым будущим вариантом, некоторые черты которого он пытается предсказать (этот вопрос рассматривается подробнее ниже, в разд. 4.3). Идея заключается в том, что объективная редукция суперпозиции состояний (обозначаемая аббревиатурой OR) позволяет отбирать актуальное значение некоторой переменной
В своих теориях Пенроуз не использует (намеренно или по невнимательности) одну из важнейших идей упомянутого мною модернизированного уайтхедизма, а именно: предположение о том, что ментальность является онтологически фундаментальным свойством Вселенной. Подход Пенроуза подозрительно напоминает квантовую версию физикализма (о нем я говорил выше, в разд. 4.1), в которой мыслительные способности рассматриваются как структурные свойства состояний мозга или как вычислительные программы нейронных ансамблей. Пенроуз вводит новые ингредиенты в программу физического (или физикалистского) обоснования ментальности, а именно: крупномасштабную квантовую когеренцию и возможную модификацию квантовой динамики, для учета редукции суперпозиций. Однако эти «ухищрения» вовсе недостаточны для серьезного ответа на несколько наивные и простые возражения против физикализма, предложенные выше в разд. 4.1. Проявления нашей умственной деятельности не «укладываются» в онтологию физикализма, даже если физикализм основан на квантовой механике. Предложенная Уайтхедом философия организма на самом деле является принципиально нефизикалистской, поскольку в ней ментальные свойства приписываются всем (даже самым элементарным) объектам Вселенной, что значительно расширяет и обогащает возможности физического описания таких объектов. В модернизированной версии уайтхедизма, предложенной мною выше, квантовая механика используется не в качестве «суррогатной» базы обоснования онтологии ментальности, а лишь как некий интеллектуальный инструмент, позволяющий рассматривать всю гамму проявлений ментальности, от полной бессознательности элементарных частиц до развитого сознания высших организмов.
Противоречивость позиций может быть сформулирована и другим образом. Квантовая теория содержит в себе некий набор понятий (таких, как состояние, наблюдаемая величина, суперпозиция, вероятность перехода и запутанность состояний). Физикалисты успешно используют этот набор в двух совершено разных онтологиях — онтологии частиц в обычной, нерелятивистской квантовой механике (описание электронов, атомов, молекул и кристаллов) и онтологии физических полей (квантовая электродинамика, хромодинамика и общая квантовая теория поля). Затем физикалисты просто принимают на веру, что квантовая теория может быть применима и к онтологиям совершенно иного типа, таким как онтология мозга, дуальная онтология или онтология элементов и сущностей, обладающих протоментальностью. Обычно физикалисты очень успешно применяют квантовую механику для описания явлений в сложных системах (включая макроскопические) микрофизическими понятиями и характеристиками. Мне кажется, что Пенроуз осуществляет похожую операцию, изящно используя квантовые представления для описания ментальных явлений в рамках физикалистской онтологии. В отличие от этого подхода модернизированный уайтхедизм использует аппарат квантовой теории для онтологии, которая обладает ментальностью
Если когда-нибудь модифицированная версия уайтхедизма (или любая другая квантовая теория сознания) действительно станет зрелой и единой научной дисциплиной, мы должны будем всерьез заняться психологическими явлениями. Дело в том, что ряд психологических эффектов явно имеет «квантовый привкус». В качестве примеров можно привести переходы от периферического к фокальному зрению, переходы между сознательным и бессознательным состояниями, «распространение» сознания на тело в целом, возникновение намерений и желаний, аномалии во временных характеристиках психических явлений и, наконец, даже странные совпадения и неоднозначности в символике фрейдовского психоанализа. В некоторых серьезных исследованиях (например, в книгах Локвуда[11] и Стаппа[12]) специально исследуются проблемы взаимосвязи квантовой теории с такими психологическими явлениями. Пенроуз и сам рассматривает некоторые такие проблемы при обсуждении, например, экспериментов Корнхубера и Либета по активному и пассивному механизмам сознания (см. также TP, с. 385-7).
Реальное применение квантовомеханических подходов к исследованиям мозга потребует также изучения математической структуры пространства психических состояний и множества наблюдаемых переменных. Ранее этим структурам уделялось явно недостаточное внимание, например, в стандартной квантовой механике и квантовой теории поля их определяют самым разным образом, используя представления пространственно-временных групп, эвристические оценки (основанные на классической механике и классической теории поля) или экспериментальные измерения. Эрвин Шредингер (в одной из статей знаменитого цикла 1926 г. по волновой механике) предложил замечательную и исключительно плодотворную аналогию — геометрическая оптика соотносится с волновой оптикой так, как механика частиц соотносится с гипотетической волновой механикой. Было бы интересно продолжить эту аналогию в следующей форме — не относится ли классическая физика к квантовой так, как классическая психология относится к гипотетической квантовой психологии? Использование этой интересной аналогии значительно осложняется тем, что «структуры классической психологии» мы представляем себе гораздо хуже, чем структуры классической механики.
Я рискну высказать еще одну идею. Предположим, что квантовые понятия действительно можно использовать в психологии, но соответствующие этому подходу геометрические структуры значительно отличаются от привычных. Можно представить себе пространство состояний мозга, но должно ли оно иметь знакомую нам структуру проективного пространства Гильберта? В частности, должно ли быть определено в этом пространстве внутреннее произведение двух психических состояний, соответствующее вероятности перехода между ними? Не обнаружатся ли в природе структуры «слабее» квантовых? В очень интересных работах Миелника[13] предлагается некая минимальная квантовая концепция, в рамках которой «смешанные» состояния могут быть выражены различными методами через так называемые выпуклые сочетания чистых состояний (в отличие от классической статистической механики, где смешанные состояния могут быть определены через чистые одним-единственным образом). В качестве примера возможного использования идей Миелника можно привести феноменологию цветового восприятия, поскольку известно, что создать «восприятие» белого цвета удается несколькими комбинациями различным образом окрашенных световых лучей.
4.3. ПРОБЛЕМА АКТУАЛИЗАЦИИ ПОТЕНЦИАЛЬНЫХ ВОЗМОЖНОСТЕЙ
В гл. 2 Роджер Пенроуз отнес проблему актуализации потенциальных возможностей (называемую также проблемой редукции волнового пакета и проблемой измерения) к классу
Вопрос заключается лишь в том, на какой стадии измерения это происходит, поскольку существует много вариантов актуализации. Например, она может происходить на физической стадии из-за того, что макроскопическая система «запутана» с микроскопическим объектом или пространственно-временная метрика «запутана» с материальной системой. С другой стороны, возможна актуализация на ментальной стадии, происходящая в
В принципе квантовая динамика содержит много других, никем не рассмотренных возможностей введения объективной актуализации. Я отмечу лишь две из них, представляющиеся мне особо интересными. Пенроуз очень убедительно раскритиковал (TP, с. 344) модель спонтанной редукции Джирарди-Римини-Вебера, однако она содержит и варианты, не учтенные его критикой. Еще одна возможность (о которой Пенроуз даже не упомянул) связана с возможным наличием в природе «правил суперотбора», препятствующих суперпозиции различных изомеров или конформаций макромолекул. Однако такая возможность очень важна, поскольку именно макромолекулы обычно осуществляют «переключение процессов» в клетках, направляя или прекращая их в соответствии с определенной структурой макромолекул. При суперпозиции двух различных конформаций в клетке постоянно возникал бы «клеточный аналог» кота Шредингера, и процессы попадали бы в некое «чистилище» (между сбывшимся и несбывшимся). Однако если в природе существует какое-то правило суперотбора, запрещающее такие суперпозиции, то процессы будут идти нормально. Правда, при этом возникают вопросы о том, почему природа запрещает суперпозицию состояний сложных молекул (каждое из которых по отдельности разрешено!), и где, собственно, проходит граница, соответствующая такому запрету. Однако наличие таких правил могло бы играть важнейшую роль в решении проблемы актуализации возможностей в наиболее вероятных ситуациях, а также создать условия экспериментального изучения соответствующих процессов, например, методами молекулярной спектроскопии[15].
И наконец, я хотел бы отметить, что уайтхедовская идея о том, что актуализация возможностей достигается в
Глава 5. Почему именно физика?
Я помню обсуждение книги Роджера Пенроуза «Тени разума» на совместных семинарах по теме «Философия: наука или теология» LSE (Лондонской школы экономики и политики) и Кингз Колледжа в Лондоне, и поэтому мне хочется начать с вопроса, который я еще тогда задала одному из участников семинара: «Почему, собственно, Пенроуз считает, что поиски ответов на вопросы, связанные с мышлением и сознанием, следует искать в физике, а не в биологии?» Насколько я помню, доводы Пенроуза можно разбить на три основные группы.
1. Мы, физики, разработали весьма многообещающую программу исследований в этом направлении. Такой довод, безусловно, является весьма весомым при обсуждении проектов подобного класса. Действительно, любой позитивист (к которым я отношу и себя) готов сразу прекратить метафизические и трансцендентальные споры, если перед ним возникает конкретная программа действий. Степень ценности проекта определяется не только общей перспективой, но и детальностью разработанной программы. Пенроуз постулирует наличие макроскопической квантовой когерентности в микротрубках цитоскелета. Он также надеется обнаружить некоторые невычислительные особенности нашего сознания и связать их с новым типом смешанного взаимодействия (квантовое и классическое). Эту программу трудно назвать детальной, и она вовсе не выглядит естественным этапом тщательно проверяемых и надежных научных исследований. Программа привлекает смелостью и оригинальностью идей, но она основана на убеждении (я бы даже сказала, на априорной убежденности), что научное объяснение проблемы сознания обязательно должно быть основано на физике (я не затрагиваю вопрос о конкретных положениях квантовой механики, связанных с этой программой). Поэтому мне кажется, что, обсуждая программу Пенроуза, мы должны постоянно помнить, что никаких точных доказательств преимуществ физики перед другими науками в рассматриваемой области не существует.
2. Вторая группа доводов в пользу ведущей роли физики связана с тем, что некоторые ее разделы (в особенности электромагнитные явления) очевидно связаны с нашими представлениями о работе мозга и нервной системы, поскольку мы уже привыкли описывать передачу сигналов, пользуясь терминами электротехники. Кстати, многие положения книги Пенроуза тоже непосредственно связаны с электромагнитными исследованиями, поскольку именно описываемые им различные состояния электрической поляризации димеров тубулина создают различия в геометрической конфигурации, изгибая димеры в микротрубках. Однако хотелось бы сразу подчеркнуть слабость этих доводов, поскольку из того факта, что «физика участвует в процессах мышления», вовсе не следует, что «физика может объяснить процесс мышления полностью».
Иногда на роль ведущей науки в объяснении процессов сознания претендует химия, но именно те разделы химии, которые особенно важны для нашего рассмотрения, фактически относятся к физике. Вот что пишет об этом сам Пенроуз: «Химические силы, ответственные за взаимодействие атомов и молекул, являются квантовомеханическими по своей природе. Именно они обеспечивают основные химические механизмы, управляющие поведением
Известно, что ничего похожего на реальную редукцию (иерархию наук) не наблюдается[16], например, при переходе от физической химии к физике (не важно, квантовой или классической). Квантовомеханические понятия, безусловно, важны для объяснения особенностей химических явлений, но они всегда используются
3. В цепочке рассуждений Роджера относительно того, что физика может объяснить сознание, просматривается также некий метафизический довод. Нам предлагается идея о том, что сознание
Почему, собственно, дела должны обстоять таким образом? Окружающий нас мир обладает огромным количеством разнообразных свойств и закономерностей, одни из которых изучаются отдельными науками, другие находятся на стыке наук, а третьи вообще никем не изучаются. Можем ли мы допустить, что за всеми этими разнообразными проявлениями природы в действительности скрывается нечто единое? Мне кажется, что к такой мысли может привести, с одной стороны, лишь явно преувеличенное представление о роли систематизации наук и их взаимодействий, а с другой — избыточный оптимизм в отношении возможностей физики и используемых в ней методов.
Необходимо подчеркнуть, что такое ограничение метафизической перспективы (оно выглядит всего лишь разновидностью «физицистского» монизма) является широко распространенной философской позицией, которой придерживаются часто даже ученые, не считающие, что все остальные науки могут быть сведены к физике. В качестве примера можно привести биологию, в которой раньше идеи редукционизма не были особенно популярны. Однако в последние годы биологи вновь стали всерьез говорить о «внезапном появлении признаков», т.е. о возникновении новых свойств и законов развития при переходе к другим уровням сложности и организации систем. Многие биологи при этом никак не могут выйти за пределы монистического подхода, вследствие чего они чувствуют себя обязанными настаивать на порождении или вытекании свойств друг из друга. Говоря упрощенно, они считают, что биологические свойства «вытекают» из физических, т.е. если какие-то две системы одинаковы по своим физическим характеристикам, то они обязаны иметь и одинаковые биологические характеристики. Разумеется, продолжают такие биологи, сказанное вовсе не означает, что биологические законы могут быть сведены (редуцированы) к физическим, поскольку биологические характеристики не описываются физическими терминами. Одновременно из этого не следует и полная независимость биологических свойств, хотя бы потому, что мы регистрируем их физическими методами. Если физическое описание системы задано, то биологическое описание не может не согласовываться с ним. Говоря юридическим языком, биологические характеристики не имеют независимого статуса, они являются как бы «гражданами второго сорта».
Следует совершенно четко признать, что биологические свойства являются независимым набором характеристик, обладающих собственными и достаточно эффективными причинно-следственными связями. Такое признание, кстати, вовсе не влечет за собой какого-то отказа от обычного хода эмпирических исследований. Я всего лишь предлагаю признать наличие практически очевидной ситуации — в некоторых случаях физика помогает понять процессы, происходящие в биологических системах, однако в биологии (точно так же, как и в химии, о чем я упоминала выше) эта помощь очень редко имеет смысл без учета «нередуцированных», существенно биологических закономерностей. Сказанное легко выразить слоганом
Наблюдаемые нами явления можно совершенно естественно приписать взаимодействию биологических и физических свойств, воздействующих друг на друга. Кроме того, мы имеем биологическое и физическое описания (связанные с локальным контекстом описываемых систем), а также множество весьма показательных примеров наличия причинно-следственных связей между этими свойствами (я подразумеваю ситуации, когда совместное действие биологических и физических свойств приводит к эффектам, не наблюдаемым в каждой из этих дисциплин в отдельности). Пенроуз легко «перепрыгивает» от этой сложной картины к простому утверждению типа «всё это должно быть физикой», что вызывает очевидное беспокойство. Возможно, конечно, что всё нами наблюдаемое действительно «является физикой», однако пока у нас нет никаких оснований считать этот вывод однозначным или строгим. Более того, имеются веские доводы против такого утверждения[19].
Одна из причин, позволяющих считать, что «всё есть физика», связана с довольно общей идеей получения замкнутых описаний. В физике существует негласное правило, что понятия и законы любой «хорошей» теории должны составлять замкнутую систему, чтобы эта теория могла давать некоторые предсказания относительно рассматриваемых понятий. Такой подход к правильности теории представляется мне ошибочным (или, по крайней мере, излишне оптимистичным). Кстати, примерно одновременно «предсказательность» приобрела значение и в философии, придавая последней характер «специализированной», отдельной науки. В сущности, все науки, за исключением физики, являются специализированными, т. е. их законы выполняются в лучшем случае
А теперь давайте спросим себя, что заставляет нас считать физические законы иными и не требовать для их выполнения упомянутого правила
Я хочу закончить свой ответ рассуждением о реализме. Я постоянно пропагандирую плюралистический взгляд на все науки, предлагая рассматривать науку в целом как ряд примерно равных по значению отдельных дисциплин, каждая из которых имеет собственное обоснование и занимается изучением различных классов взаимодействий, относящихся к исследуемой ею области и специфически характерных именно для этой области. Такой подход соответствует естественной точке зрения, что наука представляет собой некую созданную человеческим разумом конструкцию, а не истинное зеркало природы. Конечно, этот подход не является единственно возможным или обязательным. Например, Кант был сторонником диаметрально противоположной точки зрения и считал, что мы создаем науку именно потому, что единая система является необходимой (но не единственно возможной). Поэтому следует особо подчеркнуть, что плюрализм не означает антиреализма. Утверждение, что законы физики справедливы лишь при прочих равных условиях, отрицает не их истинность, а лишь претензии на «абсолютную власть». Плюрализм выступает не столько против реализма физики, сколько против своеобразного «имперского шовинизма», иногда проявляемого физикой по отношению к другим наукам. Я вовсе не желаю вовлечь всех нас в дискуссию о научном реализме, а скорее просто предлагаю Пенроузу еще раз обсудить утверждение о той метафизической роли, которую, по его мнению, должна играть именно физика. Такое обсуждение должно предшествовать дальнейшим спорам о том, какой будет эта физика. Предметом спора выступают не истинность законов физики и их возможная роль в описании природы, а вопрос о том, какова степень их истинности и какое бремя дополнительных объяснений следует возложить на законы физики.
Глава 6. Возражения убежденного редукциониста.
Я хочу сразу предупредить читателя, что являюсь убежденным (можно даже сказать твердолобым) редукционистом. Я верю, что законы биологии можно свести к законам химии (одним из доказательств этого может служить установление структуры ДНК) и, более того, что химические законы могут быть сведены к физическим. Думаю, что большинство химиков согласятся со мной.
Мы с Роджером Пенроузом много лет занимались изучением крупномасштабных пространственно-временных структур, включая сингулярности и черные дыры. У нас почти никогда не возникало разногласий по поводу классической общей теории относительности, однако мы часто спорили по проблемам квантовой гравитации, а сейчас совершенно по-разному думаем о природе, физике и человеческом сознании. Пенроуз является убежденным платоником и верит, что существует лишь мир идей, который и описывает одну-единственную физическую реальность. Я же отношу себя к позитивистам и уверен, что физические теории являются всего лишь создаваемыми нами математическими моделями, вследствие чего вообще не имеет смысла говорить о соответствии теории и реальности. Теории следует оценивать лишь по их способности предсказывать наблюдаемые явления.
Из-за указанной разницы в принципиальных подходах я совершенно не согласен с тремя основными положениями книги Пенроуза (гл. 1—3). Первым является его предположение, что квантовая гравитация приводит к явлению, которое он обозначает аббревиатурой OR (речь идет об объективной редукции, или коллапсе, волновой функции). Второе принципиальное утверждение, с которым я не могу согласиться, заключается в том, что Пенроуз считает этот процесс важным для объяснения работы мозга и связывает его с эффектом когерентности потоков в микротрубках. И наконец, в-третьих, я не согласен с тем, что для объяснения самосознания нам требуется (якобы из-за теоремы Гёделя) некая теория типа OR.
Я начну с наиболее знакомой мне темы, а именно с квантовой гравитации. Объективная редукция волновой функции по Пенроузу представляет собой некую форму декогеренции, которая может возникать из-за взаимодействия с окружением или из-за флуктуаций топологии пространства-времени. Однако Пенроуз, кажется, не желает замечать эти механизмы, а предпочитает говорить о «легкой ряби» пространства-времени, связанной с массой мелких объектов. А ведь такая «рябь» (в соответствии с существующими теориями), казалось бы, не должна была препятствовать самой обычной гамильтоновой эволюции, не требующей никакой декогеренции или объективной редукции волновых функций. Возможно, что общепринятые идеи неверны, но самому Пенроузу тоже не удалось разработать достаточно четкую теорию, позволяющую вычислять, когда должна происходить объективная редукция.
Предлагаемая Пенроузом объективная редукция, казалось бы, должна была, наконец, извлечь несчастного шредингеровского кота из полуживого-полудохлого состояния (в нашу эпоху всеобщей любви к природе давно пора перестать мучить бедное животное даже в мысленных экспериментах). Однако Пенроуз считает, что эффект объективной редукции столь мал, что его нельзя в эксперименте отделить от декогеренции, вызванной взаимодействием с окружением. Если дело обстоит действительно так, то для объяснения парадокса достаточно декогеренции окружения, и нет никакой необходимости привлекать для объяснения квантовую гравитацию. До тех пор, пока эффект объективной редукции не будет достаточно сильным для экспериментальной регистрации, он не может играть роли, которую пытается приписать ему Пенроуз.
Второе утверждение Пенроуза заключается в том, что объективная редукция играет важную роль в работе мозга, воздействуя на когерентность потоков через микротрубки. Я не являюсь специалистом в этой области, однако предлагаемый механизм кажется мне весьма маловероятным, даже если объективная редукция волновой функции действительно происходит (во что я тоже не верю). Я не могу представить себе мозг, содержащий настолько изолированные системы, что объективная редукция в них может быть отделена от декогеренции окружения, поскольку такие изолированные системы не смогли бы обеспечить требуемую скорость мыслительных процессов.
Далее, Пенроуз полагает, что необходимость введения объективной редукции связана с тем, что из теоремы Гёделя вытекает невычислительный характер работы мозга вообще и сознания в частности. Иными словами, он просто верит, что сознание специфически присуще лишь живым существам и не может моделироваться на компьютере в принципе. Однако при этом ему не удается ясно связать объективную редукцию с сознанием, так что при чтении иногда возникает ощущение, что сознание и объективная редукция объединяются им лишь по общему признаку какой-то «таинственности» (и то и другое — тайна, следовательно, они должны быть как-то связаны).
Лично мне трудно обсуждать с другими людьми (а особенно с физиками-теоретиками) проблемы сознания, поскольку оно всегда представлялось мне понятием, которое невозможно оценить «снаружи». Говоря очень упрощенно, если передо мной вдруг появится космический пришелец, пресловутый «зеленый человечек», то я не думаю, что смогу из разговора с ним четко выяснить, является ли он роботом или мыслящим существом, обладающим самосознанием. Поэтому я всегда предпочитаю говорить об интеллекте, что является измеримой характеристикой. У меня нет оснований считать, что компьютер не может моделировать интеллектуальную деятельность, хотя, разумеется, сегодня он не способен моделировать ее полностью (что Пенроуз и продемонстрировал на примере решения шахматных задач). Однако далее он сам признает, что не существует четкой границы между интеллектом человека и животных, что позволяет нам в принципе говорить даже об интеллекте червяка. Надеюсь, что никто не сомневается в возможности моделирования мозга червяка на мощном современном компьютере. Доводы, основанные на теореме Гёделя, на мой взгляд, в данном случае совершенно неприменимы, поскольку черви не размышляют о природе П1-утверждений.
Считается, что эволюция от мозга червя до мозга человека произошла за счет естественного отбора по теории Дарвина, причем признаками, способствовавшими выживанию, выступали способность размножаться и избегать враждебного воздействия, а вовсе не математические способности. Теорема Гёделя в этой схеме вновь оказывается ненужной и бесполезной. Просто развитие «сообразительности» или интеллекта, необходимого для выживания, попутно позволяет человеку создавать и доказывать сложные математические построения. Но любые рассуждения относительно этого являются слишком сложными, неопределенными и даже обманчивыми. Пока еще в нашем распоряжении нет сколько-нибудь «здравых» идей относительно проблем сознания.
Я очень кратко изложил причины моего несогласия с тремя основными утверждениями Пенроуза (существует объективная редукция волновых функций, она играет некую роль в работе мозга, она необходима для объяснения сознания), и пусть теперь он ответит на мои возражения.
Глава 7. Ответы Роджера Пенроуза
Я благодарен Абнеру, Нэнси и Стивену за их комментарии к моим лекциям и хочу сделать некоторые дополнительные замечания по каждому из них в отдельности.
ОТВЕТ АБНЕРУ ШИМОНИ
Прежде всего хочу отметить, что я очень высоко оцениваю его замечания и считаю их исключительно полезными. Начну с утверждения, что, увлекшись проблемой невычислимости, я просто «лезу не на ту вершину»! Если эта фраза означает, что мышление проявляет себя множеством важных операций, не относящихся к вычислимым, то полностью соглашаюсь с Абнером. Я согласен также и с тем, что предлагаемая в книге Сирла ситуация с «китайской комнатой» является убедительным аргументом против «сильного-А1» утверждения (сводящегося к тому, что сознательная деятельность может быть сведена только к вычислимости). Исходные доводы Сирла относились к тому свойству сознания, которое называется «пониманием», и я говорил об этом, обсуждая теорему Гёделя, но в принципе аргументация «китайской комнаты» может быть использована (и, возможно, даже с большей убедительностью) при рассмотрении других ментальных качеств, например способности воспринимать музыкальные звуки или оттенки цвета. Я не пользовался такими доводами в собственных рассуждениях, поскольку эти доводы носят совершенно негативный характер и практически ничего не говорят нам ни о природе сознания, ни о возможных направлениях исследований, которые могли бы подвести нас к пониманию проблемы сознания.
Аргументация Сирла относится исключительно к различиям типа
Шимони пишет, что он не согласен с моими доводами в ответах на рецензию Хилари Патнам (в связи с книгой «Тени разума»), однако в этой переписке я и не пытался объяснять свою позицию, поскольку не считаю короткие письма в журнале хорошим средством для серьезной и аргументированной дискуссии. В письмах я всего лишь указывал, что, на мой взгляд, критика Патнам скорее представляет пародию на мои идеи, а раздраженный тон моих ответов объясняется именно тем, что Патнам, похоже, даже не читала те разделы книги, в которых рассмотрены обсуждаемые вопросы. Подробный ответ на рецензии, посвященные «Теням разума» (в котором, как мне кажется, содержатся ответы и на доводы Абнера), я представил в (электронном) журнале
Мне кажется, что я мог бы согласиться в главных чертах с позитивной частью критики Шимони. Его удивляет, почему ни в «Новом разуме короля», ни в «Тенях разума» я не упоминаю философские работы А. Н. Уайтхеда. Основная причина этого — мое невежество. Разумеется, я знал об общефилософской позиции Уайтхеда и о введенном им понятии некоего «панпсихизма», однако я не читал внимательно ни одной работы Уайтхеда по философии и поэтому предпочел просто не ссылаться на них или на близость предлагаемых им идей к моим собственным. Мне кажется, что Шимони правильно обрисовал основные положения моей теории, хотя я и не готов делать по ним какие-то определенные утверждения (частично из-за того, что я не совсем точно знаю, в чем именно я действительно убежден).
Я нахожу «модернизированный уайтхедизм» Шимони просто замечательным и весьма правдоподобным. Сейчас мне кажется, что ход моих подсознательных мыслей весьма близок к тому, что Абнер изложил с большим красноречием. Более того, он прав в том, что для возникновения отдельного разума (в качестве коллективного квантового состояния) необходимы крупномасштабные квантовые
Я также соглашаюсь с тем, что более глубокое исследование аналогий с новейшими достижениями в области психологии могло бы быть полезным. Если квантовые эффекты действительно играют существенную роль в процессах сознания, то мы должны искать их проявления в особенностях мышления. С другой стороны, в дискуссии такого рода следует быть крайне осторожным, избегая соблазна поспешных заключений и ошибочных сравнений. Я убежден, что все рассуждения на эту тему полны опасных ловушек. Впрочем, возможно, что уже существуют или могут быть придуманы новые методы ясной и разумной экспериментальной проверки предлагаемых гипотез (например, относящихся к микротрубкам), и было бы очень интересно изучить связанные с ними возможности.
Шимони упоминает разработанную Миелником негильбертовскую квантовую механику. Обобщения квантовой механики всегда очень интересовали меня, и я полагаю, что их следует всячески развивать и поддерживать. Я не совсем убежден, однако, что именно это конкретное обобщение является верным, так как в нем вызывают сомнение, по крайней мере, два момента. Прежде всего при этом подходе (как, впрочем, и во многих других вариантах обобщения квантовой механики) основное внимание уделяется матрице плотности, а не квантовым состояниям. Обычно в квантовой механике пространство матриц плотности образует выпуклое множество, а «чистые состояния» (соответствующие описанию отдельного вектора состояний) располагаются на границе этого множества. Такая картина соответствует обычному гильбертову пространству и представлению границы в виде подмножества тензорных произведений гильбертова пространства на свое комплексное сопряжение (т. е. дуальному, или спаренному, векторному пространству). В предлагаемом Миелником подходе сохраняется обычная «матрица плотности», однако ее описание не требует наличия линейного гильбертова пространства, из которого создается выпуклое множество. В таком обобщении мне нравится идея отказа от линейности гильбертова пространства, однако настораживает то, что при этом квантовая теория теряет голоморфность. Насколько я понимаю, при этом удается сохранить не аналог вектора состояний, а лишь вектор состояний определенной фазы. Такой формализм почти полностью затемняет физическое содержание комплексных суперпозиций квантовой теории. Конечно, мне могут возразить, что именно эти суперпозиции и создают сложности на макроскопическом уровне, так что было бы благом избавиться от них раз и навсегда, однако нельзя забывать, что они существенно важны для квантового уровня описания, и при предлагаемом обобщении мы может просто потерять все позитивные результаты квантовой теории.
Кроме того, я полагаю, что нелинейные аспекты обобщения квантовой механики вынуждают нас рассматривать процесс измерения как один из элементов
Мне бы хотелось завершить этот ответ призывом к поддержке любых поисков новых теорий, которые позволили бы модифицировать квантовую механику, и новых экспериментов, связанных с такими теориями. Пока я рискую предлагать конкретные эксперименты, позволяющие проверить обоснованность предложенной в гл. 2 схемы (поскольку считаю, что объем наших знаний о предмете является совершенно недостаточным), однако надеюсь, что в будущем кому-то удастся выдвинуть новые идеи на этот счет.
ОТВЕТ НЭНСИ КАРТРАЙТ
Меня очень обрадовало (и одновременно мне польстило) известие о том, что книга «Тени разума» серьезно обсуждалась на семинарах LSE и Кингз Колледжа, о чем упомянула Нэнси. Она скептически относится к попыткам объяснить сознание скорее физическими, чем биологическими факторами, и поэтому я начну ответ с заявления, что лично я всегда высоко оценивал роль биологии в указанных исследованиях. Более того, я тоже считаю, что ответ на интересующие нас вопросы мы получим, вероятнее всего, не из физики, а из биологии, однако полагаю, что для этого потребуются какие-то революционные открытия именно в физике. Впрочем, кто может знать, что ждет нас впереди!
Однако мне кажется, что Нэнси Картрайт хотелось бы получить от меня гораздо большую «уступку», т.е. что-то похожее на декларацию о признании «фундаментальной роли» биологии в научном описании процесса познания и т. п. В действительности моя точка зрения сводится к тому, что сущность сознания может вообще не относиться к биологии (по крайней мере, к биологии в ее современных рамках), однако я совершенно не могу себе представить, чтобы сознание не было связано с каким-то определенным типом
Я говорю об этом, не имея четкого представления о том, как Картрайт относится к условной границе, разделяющей биологию и физику. Мне кажется, что она будет в этом вопросе прагматиком и отнесет изучение процесса сознания к проблемам физики, если это будет полезным для дела. Она спрашивает, могу ли я сформулировать достаточно ясную и подробную исследовательскую программу, благодаря которой именно физики (а не биологи) смогут получить новые, принципиально важные результаты. Я же считаю, что мои предложения уже подразумевают проведение весьма целенаправленной программы, связанной с поиском структур мозга, обладающих некоторыми весьма специфическими физическими свойствами. Программа состоит в том, что мы должны искать особые структуры, способные сохранять и надежно «экранировать» крупные объемные квантовые состояния достаточно долго (по крайней мере, в течение долей секунды), с тем чтобы связанные с этими состояниями квантовые «запутанности» могли распространяться по большим участкам мозга (возможно, охватывая одновременно десятки тысяч нейронов). Длительное сохранение указанных квантовых состояний требует наличия каких-то специализированных биологических структур, которые должны иметь весьма строгое внутреннее строение (возможно, оно будет близко к кристаллическому) и обладать способностью значительно изменять силу синапсов. Обычная передача сигнала по нервным волокнам представляется мне совершенно недостаточным механизмом в этих условиях хотя бы в силу явно недостаточной изоляции нервных волокон. Возможно, роль требуемых структур могли бы играть так называемые пресинаптические везикулярные решетки (типа предложенных Беком и Эклзом), но мне лично кажется, что наиболее подходящими свойствами обладают цитоскелетные микротрубки. Возможно также, что в живых организмах существует много других аналогичных структур того же масштаба (например, типа клатринов) с требуемыми характеристиками. Картрайт считает, что предложенная мною картина носит слишком общий характер, а мне кажется, что она значительно более детализирована, чем другие программы. Более того, предлагаемая схема может быть развита во многих направлениях и создает богатые возможности для экспериментальной проверки. Я согласен с тем, что мы еще очень далеки от «полного» понимания изучаемых процессов, но мне кажется, что нам следует осторожно двигаться вперед, не ожидая получить быстрые и исчерпывающие ответы на все вопросы. Нам предстоит большая и очень сложная работа.
Замечания Картрайт о роли физики в общей научной картине мира носят более серьезный характер, поскольку она считает, что физике придается излишне важное значение. Впрочем, возможно, дело обстоит именно так, и в будущем роль физики в научном описании мира будет существенно пересмотрена. Это может произойти, например, когда описание мира будет близко к завершению или хотя бы станет более точным!
Справедливо отмечая, что современная физическая теория напоминает «лоскутное одеяло» (я и сам так считаю), Картрайт полагает, что такое состояние будет сохраняться вечно (в чем я сомневаюсь). Возможно, что конечная цель физики (полное и целостное описание мира) действительно является несбыточной мечтой, и Картрайт считает саму постановку такой задачи метафизической. Мне трудно определить свое отношение к этой проблеме, однако я не уверен, что нам вообще стоит задумываться о столь далекой перспективе. Объединение знаний и научных дисциплин является ведущей тенденцией современной физики, и можно ожидать ее сохранения в будущем (предполагать обратное может только закоренелый скептик). На мой взгляд, «швы» на лоскутном одеяле современной физики (я подразумеваю и классическую, и квантовую теории) соединены плохо. Конечно, можно смириться с создавшимся положением и продолжать жить с двумя принципиально разными теориями для различных уровней описания (мне кажется, что именно такой точки зрения в какой-то мере придерживался Нильс Бор), однако в последние годы наблюдался существенный рост точности экспериментальных наблюдений, что позволяет нам более четко провести границу между различными уровнями описания и изучать реальные процессы, происходящие в природе на этих уровнях. Возникает даже подозрение, что функционирование некоторых биологических систем существенно связано с границей раздела микро— и макромира. На мой взгляд, основной вопрос сейчас заключается в том, можем ли мы надеяться на появление красивой математической теории, которая изящно и строго объяснит существующий «беспорядок» в квантовой теории, или, наоборот, этот ужасный «беспорядок» и является реальной физической картиной процессов, происходящих на этом уровне. Разумеется, я верю в возможность описания мира! В конце концов, не может быть, чтобы меня обманывали собственные инстинкты!
От ответа Нэнси создается впечатление, что она готова смириться с неприятным беспорядком в физических законах, по крайней мере, на данном этапе[21]. Возможно, подход Картрайт объясняется просто тем, что она считает законы биологии несводимыми к физике. Разумеется, в биологических системах имеется очень много сложных и непонятных параметров, играющих важную роль в их описании. Даже если бы были известны все основополагающие принципы физики, то для эффективного научного описания биологических процессов на их основе потребовалось бы провести огромную работу (проверка гипотез, нахождение приближенных оценок, развитие статистических методов и, возможно, совершенно новых математических идей). Сложность поведения биологических систем также создает малоприятный «беспорядок», однако с точки зрения физики он связан не с беспорядком в фундаментальных физических законах, и если бы нам удалось свести воедино физические законы, то «биологические свойства вытекали бы из физических».
Однако я сознаю, что физические законы еще далеки от завершенности. Более того, я утверждаю, что они плохо подходят для описания собственно биологических процессов. Например, в обычной формулировке квантовой механики существует операция, которая кажется относящейся к биологии (я имею в виду R-процесс, редукцию волновой функции). Считается, что R-процесс порождает «истинную» случайность, но совершенно непонятно, каким образом можно ввести некий «биологический» принцип, не нарушая «истинного» характера вносимой этой операцией случайности, т.е. не изменяя физической теории. Мне представляется, что реальная ситуация выглядит еще хуже, поскольку в принятой теории R-процесс
Помимо этого я иногда совершенно не могу вообразить, чем может быть биология (как, впрочем, и химия), если она не будет естественным образом вытекать из физики (надеюсь, что никто не воспримет это утверждение как проявление неуважения к упомянутым наукам). Забавно, но примерно в такой же форме некоторые люди высказывали свое недоумение по поводу моих...