Тени разума. В поисках науки о сознании

«Те́ни ра́зума. В по́исках нау́ки о созна́нии» (англ. Shadows of the Mind: A Search for the Missing Science of Consciousness) — научно-популярная книга американского физика и математика Роджера Пенроуза. Книга вышла в свет в 1994 году и является продолжением книги 1989 года «Новый ум короля: О компьютерах, мышлении и законах физики». Первая половина книги посвящена теоремам Гёделя о неполноте. Для Роджера Пенроуза тот факт, что математики могут понять значение этих теорем, доказывает, что сознание не может быть смоделировано компьютерным способом. Он утверждает, что математики не используют никаких алгоритмов для открытия математических истин и что в человеческом понимании есть что-то особенное, возможно, связанное с природой сознания.

Тени разума. В поисках науки о сознании
Shadows of the Mind
Автор Роджер Пенроуз
Жанр Научно-популярная литература
Язык оригинала Английский язык
Оригинал издан 1994
Издатель Издательство Оксфордского университета
Страниц 457
ISBN 978-0-19-853978-0
Предыдущая Новый ум короля
Следующая Путь к реальности, или Законы, управляющие Вселенной

В своей книге Пенроуз выдвигает несколько тезисов:

  • Человеческое сознание не является алгоритмическим и поэтому не может быть смоделировано с помощью обычного цифрового компьютера типа машины Тьюринга.
  • Квантовая механика играет важную роль в понимании человеческого сознания; в частности, он считает, что микротрубочки внутри нейронов поддерживают квантовые суперпозиции.
  • Объективный коллапс квантовой волновой функции микротрубочек имеет решающее значение для сознания.
  • Рассматриваемый коллапс — это физическое поведение, которое не является алгоритмическим и выходит за пределы вычислимости.
  • Человеческий разум обладает способностями, которыми не может обладать никакая машина Тьюринга из-за этого механизма невычислимой физики.

Аргумент править

Математическая мысль править

В 1931 году математик и логик Курт Гёдель доказал свои теоремы о неполноте, показав, что любая эффективно созданная теория, способная выразить элементарную арифметику, не может быть одновременно непротиворечивой и полной. Кроме того, для любой непротиворечивой формальной теории, которая доказывает некоторые основные арифметические истины, существует арифметическое утверждение, которое является истинным, но не доказуемым в теории. Суть аргументации Пенроуза состоит в том, что хотя формальная система доказательств не может из-за теоремы доказать свою неполноту, результаты типа Гёделя доказываются живыми людьми, математиками. Он считает, что это несоответствие означает, что математики-люди не могут быть описаны как формальные системы доказательств и не используют алгоритм, так что вычислительная теория разума ложна, а вычислительные подходы к искусственному интеллекту в целом необоснованны. (Этот аргумент был впервые приведён Пенроузом в «Новом уме короля» (1989) и получил дальнейшее развитие в книге «Тени разума». Более ранняя версия аргумента была представлена[1] философом Дж. Р. Лукасом[en] в 1959 году в статье «Разумы, машины и Гёдель»[en]. По этой причине аргумент называют аргументом Пенроуза — Лукаса[en].)

Объективная редукция править

Теория объективной редукции Пенроуза предсказывает связь между квантовой механикой и общей теорией относительности. Автор предполагает, что квантовое состояние остается в суперпозиции до тех пор, пока разница в кривизне пространства-времени не достигнет значительного уровня[2]. Эта идея вдохновлена квантовой гравитацией, поскольку в ней одновременно используются постоянная Планка  , атрибут квантовой теории, и гравитационная постоянная Ньютона G, атрибут теорий гравитации (в частности, ОТО). Это интерпретация квантовой механики (называемая интерпретацией Пенроуза), альтернативная как копенгагенской интерпретации Бора, которая постулирует, что суперпозиция разрушается при наблюдении, так и многомировой интерпретации Эверетта, которая утверждает, что каждый альтернативный результат суперпозиции становится реальным в отдельном мире[3].

Идея Пенроуза — разновидность объективной теории коллапса. В этих теориях волновая функция — это физическая волна, которая претерпевает коллапс волновой функции как физический процесс, при этом наблюдатели не играют особой роли. Пенроуз предполагает, что волновая функция не может поддерживаться в суперпозиции за пределами определённой разности энергий между квантовыми состояниями. Он даёт приблизительное значение этой разницы: масса материи, равная планковской массе, которую он называет «уровнем одного гравитона». Затем он выдвигает гипотезу, что эта разность энергий заставляет волновую функцию коллапсировать до единственного состояния с вероятностью, основанной на её амплитуде в исходной волновой функции — процедура, взятая из стандартной квантовой механики.

Организованная объективная редукция (Orch-OR) править

Когда Пенроуз писал свою первую книгу о сознании, «Новый ум короля», в 1989 году, он не имел подробного предложения о том, как такие квантовые процессы могут быть реализованы в мозге. Впоследствии Стюарт Хамерофф прочитал «Новый ум короля» и сказал Пенроузу, что определённые структуры внутри клеток мозга (микротрубочки) являются подходящими кандидатами для квантовой обработки и, в конечном итоге, для сознания. Теория Orch-OR возникла в результате сотрудничества этих двух ученых и была развита во второй книге Пенроуза о сознании «Тени разума» (1994)[4][5].

Отзывы править

Взгляды Пенроуза, описанные им в своей книге, не получили широкое признание в научных кругах[6]. По словам Марвина Минского, поскольку люди могут истолковывать ложные идеи как основанные на фактах, процесс мышления не ограничивается формальной логикой. Кроме того, программы искусственного интеллекта также могут сделать вывод, что ложные утверждения верны, поэтому ошибка не уникальна для людей. Чарльз Сейф[en], также не согласный с автором книги, сказал: «Пенроуз, оксфордский математик, известный своей работой по мозаичному покрытию плоскости различными формами, — один из немногих ученых, которые считают, что эфемерная природа сознания предполагает квантовый процесс».

В мае 1995 года математик из Стэнфорда Соломон Феферман раскритиковал подход Пенроуза по нескольким причинам, включая математическую обоснованность его гёделевского аргумента и теоретические основы[7].

Издание в России править

Книга была переведена на русский язык и вышла в свет в издательстве «Институт компьютерных исследований» в 2005 году[8].

Примечания править

  1. Lucas J. R. Minds, Machines and Gödel (англ.) // Philosophy. — 1961. — Vol. XXXVI, no. 137. — P. 112—127. Minds, Machines and Gödel. Дата обращения: 7 ноября 2021. Архивировано из оригинала 19 августа 2007 года.
  2. Penrose, Roger (1999) [1989], The Emperor's New Mind (New Preface (1999) ed.), Oxford, England: Oxford University Press, pp. 475—481, ISBN 978-0-19-286198-6
  3. Folger T. If an Electron Can Be in 2 Places at Once, Why Can’t You? (англ.) // Discover. — 2005. — Vol. 25, no. 6. — P. 33—35. Архивная копия от 18 ноября 2019 на Wayback Machine
  4. Hameroff S. R., Watt R.C. Information processing in microtubules (англ.) // Journal of Theoretical Biology. — 1982. — Vol. 98, iss. 4. — P. 549–561. — doi:10.1016/0022-5193(82)90137-0. — Bibcode1982JThBi..98..549H. — PMID 6185798.
  5. Hameroff S. R. Ultimate Computing (англ.). — Elsevier, 1987. — ISBN 978-0-444-70283-8.
  6. McDermott D. Penrose is Wrong (англ.) // Psyche. — 1995. — Iss. 2(17). Архивная копия от 7 ноября 2021 на Wayback Machine
  7. Penrose’s Gödelian argument Архивная копия от 7 ноября 2021 на Wayback Machine (PDF Архивная копия от 4 ноября 2021 на Wayback Machine) Feferman, PSYCHE 2(7) May 1995
  8. Пенроуз Р. Тени разума: в поисках науки о сознании / Пер. с англ.; 1-2 тт. в одной книге. — Институт компьютерных исследований, 2005. — 688 с. — 1500 экз. — ISBN 5-93972-457-4. Архивировано 3 декабря 2021 года.