Роджер Пенроуз - Тени разума. В поисках науки о сознании

• Название: Тени разума. В поисках науки о сознании
• Автор: Роджер Пенроуз
• Издательство: Институт компьютерных исследований
• Жанр: Философия
• ISBN: 5-93972-457-4, 0-19-510646-6

Книга знаменитого физика о современных подходах к изучению деятельности мозга, мыслительных процессов и пр. Излагаются основы математического аппарата — от классической теории (теорема Гёделя) до последних достижений, связанных с квантовыми вычислениями. Книга состоит из двух частей: в первой части обсуждается тезис о невычислимости сознания, во второй части рассматриваются вопросы физики и биологии, необходимые для понимания функционирования реального мозга.

Для широкого круга читателей, интересующихся наукой.

---

Многие, кто с этим согласится, добавят, что объяснения таким вещам не даст никакая научная картина. Тем, кто придерживается подобных взглядов, я могу лишь пожелать проявить немного терпения: подождем и посмотрим, как продвинется наука в будущем. Я думаю, что уже сейчас имеются некоторые указания (в загадочных процедурах квантовой механики) на то, что ментальные концепции стали ближе к нашим представлениям о физической вселенной, нежели прежде, — пусть и всего лишь чуть ближе. Я убежден, что с обнаружением необходимых новых физических принципов эти указания станут куда более отчетливыми. Науке еще есть куда развиваться; уж в этом-то сомневаться не приходится.

Более того, сама возможность понимания таких вещей человеком многое говорит о тех способностях, что дает нам сознание. Следует признать, что время от времени встречаются люди — например, Ньютон и Эйнштейн, Архимед и Галилей, Максвелл и Дирак; или Дарвин, Леонардо да Винчи, Рембрандт, Пикассо, Бах, Моцарт, Платон или те великие умы, что смогли породить такие шедевры, как «Илиада» или «Гамлет», — которые, по-видимому, наделены способностью «чувствовать» истину или красоту в значительно большей степени, нежели отпущено остальным. Однако единство с этой природной механикой потенциально присутствует во всех нас, проявляясь в способности к сознательному пониманию и ощущениям, на каком бы уровне эти процессы ни происходили. Каждый осознающий себя мозг сплетен из тончайших физических составляющих, неясным пока образом извлекающих сознание из фундаментальной структуры математически обусловленной Вселенной — с тем, чтобы мы, в свою очередь, смогли, вооружившись платоновским «пониманием», получить своего рода прямой доступ к первопричинам функционирования Вселенной на всевозможных уровнях.

Вопросы эти чрезвычайно глубоки и пока еще очень далеки от объяснения. Я утверждаю, что однозначных ответов мы не получим до тех пор, пока не поймем, как именно взаимодействуют между собой все три мира. Не получим мы ответов и в том случае, если будем пытаться разрешить каждый из вопросов отдельно от остальных. Я говорил о трех мирах и трех загадках, связывающих их друг с другом. Разумеется, в действительности миров вовсе не три — мир всего один, и о его истинной природе мы все еще не имеем ни малейшего представления.

Эпилог

Джессика с отцом вышли из пещеры. Снаружи было уже совсем темно и тихо, в прозрачном небе начали появляться звезды. Джессика повернулась к отцу.

— Знаешь, пап, вот я смотрю в небо, и мне все равно не верится, что Земля и вправду движется — и не только сама крутится вокруг оси, так еще и летит куда-то со скоростью сто тысяч километров в час, — хоть на самом деле я и знаю, что все это должно быть правдой.

Она замолчала и некоторое время просто стояла, глядя на звезды.

— Пап, расскажи мне о звездах…

Примечания

1

The Emperor's New Mind. (He так давно книга была переведена на русский язык: Пенроуз Р. Новый ум короля, М.: Едиториал УРСС. 2003.) — Прим. перев.

2

В оригинале «it» — местоимение третьего лица единственного числа, которым в английском языке называют животных и неодушевленные предметы, независимо от их пола и/или рода. — Прим. перев.

3

Микросхема Intel Pentium содержит более трех миллионов транзисторов на «кремниевой пластине» размером с ноготь большого пальца, причем каждый из этих транзисторов способен на 113 миллионов полных циклов в секунду.

4

Эпифеномен — побочное явление, сопутствующее другим явлениям (феноменам), но не оказывающее на них никакого влияния. — Прим. перев.

5

Напомним, что здесь и далее приводятся страницы оригинального английского издания. — Прим. перев.

6

Время от времени математики натыкаются на процедуру, которая «очевидно» алгоритмична по своей природе, пусть даже порой не всегда бывает ясно, как эту процедуру можно сформулировать в виде операций машины Тьюринга или лямбда-исчисления. В таких случаях можно утверждать, что, «согласно тезису Черча», такая операция и в самом деле должна существовать. См., например, [67]. В этом пути нет ничего зазорного, и, уж конечно, не возникает никакого противоречия с C. Более того, на таком толковании тезиса Черча основывается большая часть рассуждений главы 3.

7

В черновом варианте книги слова «извилистой» здесь не было. Если шары расположены точно на прямой линии, этот трюк оказывается достаточно простым: я узнал об этом, к своему удивлению, когда попробовал проделать это сам. При расстановке шаров по прямой возникает неожиданная устойчивость, отсутствующая в общем случае.

8

Необходимо отметить, что это равенство не является истинным для различных странных «чисел», встречающихся порой в математике, — например, для трансфинитных чисел, о которых упоминается в пояснении к Q19, §2.10. Однако для натуральных чисел, о которых здесь, собственно, и идет речь, оно всегда справедливо.

9

Здесь я предполагаю, что если процедура А вообще завершается, то это свидетельствует об успешном установлении факта незавершаемости C(n). Если же А «застревает» по какой-либо иной, нежели достижение «успеха», причине, то это означает, что в данном случае процедура A корректно завершиться не может. См. далее по тексту возражения Q3 и Q4, а также Приложение А.

10

Собственно, точно такой же результат достигается посредством процедуры, выполняемой универсальной машиной Тьюринга над парой чисел q, n; см. Приложение А и НРК, с. 51-57.

11

Термин «алгоритмизм», который (по своей сути) прекрасно подходит для обозначения «точки зрения A» в моей классификации, был предложен Хао Ваном [377].

12

Приведение к абсурду (лат.), доказательство от противного. — Прим. перев.

13

Чтобы подчеркнуть, что я принимаю это обстоятельство во внимание, я отсылаю читателя к Приложению А, где представлена явная вычислительная процедура (выполненная в соответствии с правилами, подробно описанными в НРК, глава 2) для получения операции Ck(k) машины Тьюринга посредством алгоритма A. Здесь предполагается, что алгоритм A задан в виде машины Тьюринга Ta. определение же вычисления Cq(n) кодируется как операция машины Ta над числом q, а затем над числом n.

14

Представление некоторых формальных систем включает в себя бесконечное количество аксиом (они описываются через посредство структур, называемых «схемами аксиом»), однако, чтобы оставаться «формальной» в том смысле, какой вкладываю в это понятие я, система должна быть выразима в каком-то конечном виде — например, упомянутая система с бесконечным количеством аксиом должна порождаться конечным набором вычислительных правил. Это вполне возможно, и именно так и обстоит дело со стандартными формальными системами, которые применяются в математических доказательствах, — одной из таких систем является, например, знаменитая «формальная система Цермело—Френкеля» ZF, описывающая традиционную теорию множеств.

15

Пояснение к используемым здесь обозначениям можно найти в §2.8. Впрочем, G(F) без ущерба для смысла рассуждения можно было бы везде заменить на Ω(F), в чем мы убедимся ниже.

16

Источник цитаты мне, к сожалению, обнаружить не удалось. Однако, как справедливо заметил Рихард Иожа, точная формулировка слов Фейнмана не имеет никакого значения, поскольку послание, которое они несут, применимо и к ним самим!

17

Как и ранее, обозначение G(F) можно без каких бы то ни было последствий заменить на Ω(F). То же справедливо и для комментариев к Q15-Q20.

18

Это означает, что при кодировании машины Тьюринга каждую последовательность …110011… можно заменить на …11011… . В спецификации универсальной машины Тьюринга, описанной в НРК (см. примечание 7 после главы 2), имеется пятнадцать мест, где я этого не сделал. Чрезвычайно досадная оплошность с моей стороны, и это после того, как я приложил столько усилий, чтобы добиться (в рамках моих же собственных правил) по возможности наименьшего номера, определяющего эту универсальную машину. Упомянутая простая замена позволяет уменьшить мой номер более чем в 30 000 раз! Я благодарен Стивену Ганхаусу за то, что он указал мне на этот недосмотр, а также за то, что он самостоятельно проверил всю представленную в НРК спецификацию и подтвердил, что она действительно определяет универсальную машину Тьюринга.