Физическая личность
Опубликовано в журнале "Компьютерра" №40 от 13 октября 1998 года
Автор: Леонид Левкович-Маслюк | Раздел: ТЕМА НОМЕРА
В Англии принято присваивать выдающимся соотечественникам дворянское звание Рыцарь (Knight) и титул Сэр (Sir). В том, что недавно Рыцарем стал крупнейший математик и физик-теоретик Роджер Пенроуз, есть точная символика: вот уже более десяти лет он бесстрашно, открыто и честно атакует одну из величайших тайн природы - тайну разума.
Утверждая, что смоделировать интеллект на машине нельзя, Пенроуз предлагает физический механизм, на котором, возможно, основаны наши интеллект и сознание - а может быть, и то неуловимое, что мы называем личностью человека. "Физическая личность"?..
Основные результаты и гипотезы Пенроуза и его коллег по этому отчаянному предприятию суммированы в книге "Тени разума" и в нескольких статьях.
Их можно разделить на "отрицательную программу" и "положительную программу".
Отрицательная программа сводится к математической аргументации (на основе теоремы Геделя) против возможности алгоритмически смоделировать разум. Понятием "разум" можно хоть как-то оперировать в формальных терминах, если иметь в виду математическое творчество - теоремы, вычисления, алгоритмы.
Поэтому появляется возможность использовать достаточно четкие аргументы - а они-то как раз и подтверждают, что д
аже в математике самое существенное - то, что не формализуемо! Тем меньше остается надежда, что можно смоделировать другие свойства разума.
Положительная программа, строго говоря, есть всего лишь обсуждение комплекта согласованных друг с другом гипотез. Одна их часть относится к физике, другая - к нейрофизиологии, а в итоге получается вот что:
Существенную роль в таком неотъемлемом свойстве разума, как сознание, играет некий "квантовый процесс" в так называемых микротрубочках нейронов мозга. Этот процесс влияет на сигналы, которыми обмениваются нейроны,.
По поводу реализуемости нужных квантовых процессов в клетках мозга тоже есть лишь косвенные данные. Однако работа продолжается очень активно, и к ней начинают подключаться экспериментаторы.
Пафос первой части книги заключается в том, чтобы на основе виртуозных математических и логических построений дать убедительные аргументы в пользу неалгоритмической работы сознания. Пенроуз выделяет четыре наиболее характерные точки зрения на вопрос о связи сознательного мышления и вычислений на компьютере.
A. Мышление целиком и полностью является вычислением. В частности, ощущение осознания вызывается просто выполнением соответствующих вычислений.
B. Сознание есть один из результатов физического действия мозга. Любое физическое действие может быть вычислительно смоделировано. Однако само по себе вычислительное моделирование не может вызвать осознание.
C. Определенное физическое действие мозга вызывает осознание. Однако это физическое действие не может быть вычислительно смоделировано ни в каком разумном смысле.
D. Сознание невозможно объяснить ни в рамках физики, ни в рамках теории вычислений, ни вообще в рамках науки.
Пенроуз придерживается позиции
C, и ее обоснованию посвящена вся его книга. По отношению к другим позициям автор исключительно корректен (в особенности это относится к D), но всегда абсолютно четко формулирует свое отношение к ним. По поводу D он замечает (после многочисленных реверансов) примерно следующее: а почему, собственно, именно эту проблему - что такое сознание, осознание, понимание - мы должны отказаться исследовать научными методами, которые позволили человечеству так заметно продвинуться в понимании мира, в котором мы живем?
Для иллюстрации различий между A и B, а также для демонстрации подходов, которых автор не собирается придерживаться, в одной из первых глав приводится замечательное рассуждение философа Джона Серля (John Searle), известное под названием "Китайская комната". Оно звучит так:
"Предположим, компьютеру рассказали некую историю. Он ее понял, и теперь ведет осмысленное обсуждение этой истории с несколькими людьми. Но и люди, и машина - все говорят только на китайском языке. В той же комнате находится человек, который китайского не знает. Зато он умеет быстро-быстро двигать костяшки на счетах, точно воспроизводя все вычисления, которые делает компьютер при выслушивании, обдумывании и обсуждении истории. Спрашивается: поймет ли этот человек то же самое, что понял компьютер? Вряд ли. Но, согласно А, вроде бы должен понять - ведь он выполнил нужные вычисления. Значит, понимание не сводится к вычислению."..
..Пенроуз ставит задачу достаточно узкую: может ли процесс установления математической истины, который используется математиками, быть результатом действия вычислительного алгоритма (в очень широком смысле этого слова)? И самыми сильными аргументами против того, что это возможно, он считает те, что основаны на теореме Геделя о неполноте.
Использовать эту теорему для доказательства того, что разумная деятельность не сводится к вычислениям, пытались многие. Например, еще в 1961 году известный логик Джон Лукас (John Lucas) выступал с подобной программой. Его рассуждения оказались довольно уязвимыми - однако он и задачу ставил более широко. Пенроуз использует несколько другой подход, который излагается в книге полностью, "с нуля". Причем изложение доведено до такого совершенства, что его вполне может понять вдумчивый пятиклассник!
Поделюсь впечатлениями о том, как я читал эту часть книги. Сначала автор говорит: предположим, что есть алгоритм, который решает... ну, скажем, все задачи определенного класса, которые могут решить математики. Затем он предлагает: давайте из нескольких задач скомбинируем другую задачу, вот такую; она тоже из этого класса. Ладно, говорим мы. А теперь, говорит автор, мы сделаем вот так, так и так, и получается, что эту задачу наш алгоритм решить не может. Согласны? Допустим, говорим мы. А теперь подумайте, - говорит он, -
ведь задача-то эта, скомбинированная, решается. И ответ будет вот такой! Ну и что? - строго спрашиваем мы. Как "ну и что!" - теряет терпение автор.
Мы - люди, то есть - решили. А алгоритм, который, как мы предположили, умеет решать - нет. Значит, свести то, что мы с вами умеем делать, к алгоритму - нельзя. Ах вот оно что!!! - обрадованно кричим мы (то есть я). И тут же соглашаемся, что заменить нас машиной - невозможно. Но оказывается, что все только начинается...
Во-первых, "геделевские аргументы" требуют, чтобы алгоритм был, хотя бы в принципе, познаваем.
А кто сказал, что встроенный в головы математиков алгоритм они (математики) могут познать?
Может быть, выбор только в том, чтобы верить или не верить в это?
Далее, в рассуждениях было нужно, чтобы алгоритм на самом деле был правильным. А если в наши головы встроен алгоритм, но он неправильный (то есть иногда делает ошибки)? Сам же Гедель считал, что математическая интуиция в принципе может быть сведена к некоей "теоремной машине",
но доказать этот факт будет невозможно, даже случайно обнаружив эту "машину".) И так далее...
Оставляя в стороне математические аргументы, я хочу упомянуть только о двух моментах. Первый связан с непознаваемостью алгоритма. Очень трудно логически аргументировать против того, что
у нас в головах есть некий непознаваемый и несознаваемый алгоритм, который управляет "математическим мышлением". К непознаваемому алгоритму нельзя непосредственно применить теорему Геделя... Но, не отказываясь от виртуозной логической аргументации, Пенроуз спрашивает:
почему мы должны всеми силами держаться за саму идею "алгоритмичности" нашего мышления? Что в ней такого уж естественного? Каким образом, например, мог "универсальный математический алгоритм" возникнуть в процессе эволюции?
Зачем природа могла снабдить охотника на мамонтов сверхсложным аппаратом, уже содержащим, в определенном смысле, и неевклидову геометрию, и К-теорию?..
Не проще ли предположить, что в процессе естественного отбора совершенствовался некий универсальный механизм понимания?..
Второй момент - возможность того, что некий
хаотический, то есть детерминированный, но стохастический "с виду" процесс может отвечать за математику в нашем мышлении. Для этого необходимо, чтобы хаотический процесс мог хотя бы более или менее эффективно приблизить невычислимый процесс. Таких примеров, по-видимому, пока нет. В любом случае речь идет лишь о приближении, ибо хаотический процесс можно - в принципе - точно смоделировать.
А на практике, как это обычно и делается, точно смоделировать нельзя, но можно смоделировать типичный хаотический процесс того или иного вида.
С этой темой связана еще одна интересная проблема, о которой говорит Пенроуз: проанализировать возможность возникновения невычислимой динамики в рамках уже известных законов физики или химии.
Итак, центральная тема первой части - невычислимое против вычислимого. В математике много невычислимого, но, главным образом, в весьма абстрактных ее разделах.
Мини-дайджест: физика
Большая часть второй половины книги занята изложением азов квантовой теории, и научно-популярно настроенный читатель получает блестящую возможность понять основные принципы этой теории.
Квантовая система живет по своим внутренним - сложным, но точно предсказуемым - законам до тех пор, пока не вступит в контакт с классической системой:
Этот контакт называется измерением, а то состояние, в котором система (например, электрон) оказывается после этого - результатом измерения.
Состояние описывается так называемой пси-функцией. Так вот, во время "квантовой жизни" эта пси-функция плавно и красиво эволюционирует (в абстрактном математическом пространстве), самым невероятным образом изменяет свою форму, но увидеть этого мы не можем!
Если же мы поймаем электрон и посадим его под микроскоп, то увидим там одну из ничтожно малого количества заранее известных пси-функций! И даже точно рассчитав всю эволюцию электрона в его "квантовой жизни", мы можем узнать
только вероятность того, что измерение даст нам ту или иную из разрешенных к наблюдению пси-функций.
"Превращение" некоей невидимой пси-функции в реально наблюдаемую называется редукцией, или схлопыванием. Пенроуз обозначает это превращение буквой R. Спрашивается, что такое R? Реальный процесс или математическая абстракция? Пенроуз относит этот вопрос к истинным загадкам квантовой теории (в отличие от кажущихся, которых там тоже хватает). Во-первых, говорит он, совсем не обязательно ответ должен сводиться к одной из этих двух "крайностей". А во-вторых, эта проблема имеет свою длительную историю, здесь есть много красивых идей, и... собственно, на этом твердо обоснованная (общепринятая, скажем так) физика кончается.
Начинаются гипотезы. Главная физическая идея состоит в том, что R можно рассматривать как реальное физическое явление, связанное с выбором той или иной конфигурации пространства-времени, в котором находится наша квантовая система. Более того, редукция может происходить по двум причинам. Одна из них - взаимодействие со средой, с "классическими объектами". Когда это так, редукция носит вероятностный характер.
Так вот,
основная гипотеза в том, что существует еще и такое явление, как объективная редукция, (OR), прерывающая "квантовую жизнь" любой системы независимо ни от каких измерений, если в ней слишком много частиц, или накопилось слишком много энергии, или она просто слишком долго не схлопывалась.
Эта самая OR как раз и предполагается невычислимой
.В обычных условиях, когда квантовая система очень быстро вступает во взаимодействие со "средой", R и OR практически неотличимы друг от друга.
Но если квантовая система изолирована от среды и долго живет в так называемом сцепленном состоянии,в ней происходит OR, результат которой алгоритмически непредсказуем.
Уф! Кажется, самое трудное позади. Если не считать того, что, по мнению Пенроуза, построение настоящей теории всего этого потребует кардинального пересмотра современной физики. Пока такой теории нет, хотя все эти рассуждения строятся отнюдь не на пустом месте, и существует целый ряд подходов к реализации такого рода идей. А характерные времена и массы, связанные с OR, можно оценить в рамках принятых гипотез.
Итак, кандидатура на роль невычислимого ингредиента найдена - точнее, названа. Но при чем здесь сознание? Да и где в мозгу могут происходить квантовые процессы, влияющие на работу нейронов?
Нейрофизиологи уже давно задумывались над возможными квантовыми механизмами, связанными с работой мозга.
Стюарт Хамерофф (Stuart Hameroff), основатель нанобиологии, много лет работает в Аризонском университете в Тусоне (Tucson). Его главный научный интерес - механизмы сознания. В 1987 году вышла его пионерская работа - где речь шла о своеобразных вычислениях, происходящих в так называемых микротрубочках цитоскелета. Микротрубочки - важная часть "скелета" клетки. Это полые цилиндрические трубочки диаметром примерно 25 нм. Они состоят из субъединиц - тубулинов. Тубулины - это молекулы-димеры, то есть они могут существовать по крайней мере в двух пространственных конфигурациях (конформациях). Для того чтобы произошло "переключение" из одной конформации в другую, достаточно чтобыединственный электрон "переехал с места на место". Поверхность микротрубочки составлена из тубулинов, расположенных в узлах правильной решетки. Конфигурация каждого тубулина зависит от конфигурации его соседей. Прямо-таки клеточный автомат, изготовленный самой природой!
Микротрубочки есть во всех клетках всех организмов, за исключением некоторых бактерий и водорослей. Хамерофф предположил, что микротрубочки нейронов играют важную роль в работе мозга.
В них могут возникать "вычисления" - последовательные перестройки конфигурации тубулинов. Эти вычисления, в свою очередь, влияют на передачу сигналов между нейронами.
Идеи Пенроуза и Хамероффа укладываются в общую картину следующим образом. Есть (косвенные) экспериментальные свидетельства, а также некие физические соображения в пользу того, что в микротрубочках тубулины могут образовывать большие когерентные квантовые системы.
Другими словами, большая совокупность тубулинов может некоторое время жить "квантовой жизнью", а потом переходить в классическое состояние с помощью невычислимой процедуры OR. Вот этот переход и есть "момент сознания", - "элементарный фактор чувственного опыта". Поток таких событий и образует субъективно ощущаемый "поток сознания".
среднее количество тубулинов, находящихся в сцепленном состоянии при реализации "момента сознания", оценивается в один миллиард. Для этого (тоже оценочно) с большим запасом хватает тысячи нейронов.
Более тонкий анализ приводит к модели, в которой участвуют еще и белки MAPs, связывающие микротрубочки друг с другом. Количество таких событий в мозгу человека может достигать сотен миллионов в секунду...