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

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

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

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

---

Есть, впрочем, возможность именно эту конкретную проблему разрешить и сузить область рассмотрения до конечного множества различных ☆M-утверждений. Само доказательство несколько громоздко, однако основная идея заключается в том, что следует рассматривать только те Π1-высказывания, спецификации которых являются «краткими» в некотором вполне определенном смысле. Конкретная степень необходимой «краткости» зависит от того, насколько сложное описание системы механизмов M нам необходимо. Чем сложнее описание M, тем «длиннее» допускаемые к рассмотрению Π1-высказывания. «Максимальная длина» задается неким числом c, которое можно определить из степени сложности правил, определяющих формальную систему Q'M(M). Смысл в том, что при переходе к гёделевскому предположению для этой формальной системы — которую нам, вообще говоря, придется слегка модифицировать — мы получим утверждение, сложность которого будет лишь немногим выше, нежели сложность такой модифицированной системы. Таким образом, проявив должную осторожность при выборе числа c, мы можем добиться того, что и гёделевское предположение будет также «кратким». Это позволит нам получить требуемое противоречие, не выходя за пределы конечного множества «кратких» Π1-высказываний.

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

Нам понадобится несколько модифицировать формальную систему Q'M(M), приведя ее к виду Q'M(M, c) — для краткости я буду обозначать ее просто как Q(c) (отброшенные обозначения в данной ситуации несущественны и лишь добавляют путаницы и громоздкости). Формальная система Q(c) определяется следующим образом: при построении этой системы допускается принимать в качестве «безошибочных» только те ☆M-утверждения, степень сложности которых (задаваемая описанным выше числом ρ) меньше c, где c есть некоторое должным образом выбранное число, подробнее о котором я расскажу чуть ниже. Для «безошибочных» ☆M-утверждений, удовлетворяющих неравенству ρ < c, я буду использовать обозначение «√краткие ☆M-утверждения». Как и прежде, множество действительных теорем формальной системы Q(c) будет включать в себя не только √краткие ☆M-утверждения, но также и утверждения, получаемые из √кратких ☆M-утверждений посредством стандартных логических операций (позаимствованных, скажем, из исчисления предикатов). Хотя количество теорем системы Q(c) бесконечно, все они выводятся с помощью обыкновенных логических операций из конечного множества √кратких ☆M-утверждений. Далее, поскольку мы ограничиваем рассмотрение конечным множеством, мы вполне можем допустить, что функции T, L и N постоянны (и принимают, скажем, наибольшие значения на конечном интервале ρ). Таким образом, формальная система Q(c) задается лишь четырьмя постоянными c, T, L, N и общей системой механизмов M, определяющих поведение робота.

Отметим существенный для наших рассуждений момент: гёделевская процедура строго фиксирована и не нуждается в увеличении сложности выше некоторого определенного предела. Гёделевским предположением G(H) для формальной системы H является Π1-высказывание, степень сложности которого должна лишь на сравнительно малую величину превышать степень сложности самой системы H, причем эту величину можно определить точно.

Конкретности ради я позволю себе некоторое нарушение системы обозначений и буду вкладывать в запись «G(H)» некий особый смысл, который может и не совпасть в точности с определением, данным в §2.8. В формальной системе H нас интересует лишь ее способность доказывать Π1-высказывания. В силу этой своей способности система H дает нам алгебраическую процедуру A, с помощью которой мы можем в точности установить (на основании завершения выполнения A) справедливость тех Π1-высказываний, формулировка которых допускается правилами системы H. А под Π1-высказыванием понимается утверждение вида «действие машины Тьюринга Tp(q) не завершается» — здесь и далее мы будем пользоваться специальным способом маркировки машин Тьюринга, описанным в Приложении А (или в НРК, глава 2). Мы полагаем, что процедура A выполняется над парой чисел (p, q), как в §2.5. Таким образом, собственно вычисление А(p, q) завершается в том и только в том случае, если в рамках формальной системы H возможно установить справедливость того самого Π1-высказывания, которое утверждает, что «действие Tp(q) не завершается». С помощью описанной в §2.5 процедуры мы получили некое конкретное вычисление (обозначенное там как «Ck(k)»), а вместе с ним, при условии обоснованности системы H, и истинное Π1-высказывание, которое системе H оказывается «не по зубам». Именно это Π1-высказывание я буду теперь обозначать через G(H). Оно существенно эквивалентно (при условии достаточной обширности H) действительному утверждению «система H непротиворечива», хотя в некоторых деталях эти два утверждения могут и не совпадать (см. §2.8).

Пусть α есть степень сложности процедуры A (по определению, данному в §2.6, в конце комментария к возражению Q8) — иными словами, количество знаков в двоичном представлении числа α, где A = Tα. Тогда, согласно построению, представленному в явном виде в Приложении А, находим, что степень сложности η утверждения G(H) удовлетворяет неравенству η < α + 210 Iog2(α + 336). Для нужд настоящего рассуждения мы можем определить степень сложности формальной системы H как равную степени сложности процедуры A, т.е. числу α. Приняв такое определение, мы видим, что «излишек» сложности, связанный с переходом от H к G(H), оказывается еще меньше, чем и без того относительно крохотная величина 210 Iog2(α + 336).

Далее нам предстоит показать, что если H = Q(c) при достаточно большом c, то η < c. Отсюда, соответственно, последует, что и Π1-высказывание G(Q(c)) должно оказаться в пределах досягаемости системы Q (с) при условии, что роботы принимают G(Q(c)) с ☆-убежденностью. Доказав, что c > γ + 210 log2(γ + 336), мы докажем и то, что γ < c; буквой γ мы обозначили значение α при H = Q(c). Единственная возможная сложность здесь обусловлена тем обстоятельством, что сама величина γ зависит от c, хотя и не обязательно очень сильно. Эта зависимость γ от c имеет две различных причины. Во-первых, число c являет собой явный предел степени сложности тех Π1-высказываний, которые в определении формальной системы Q(c) называются «безошибочными ☆M-утверждениями»; вторая же причина происходит из того факта, что система Q(c) явным образом обусловлена выбором чисел T, L и N, и можно предположить, что для принятия в качестве «безошибочного» ☆M-утверждения большей сложности необходимы какие-то более жесткие критерии.

Относительно первой причины зависимости γ от c отметим, что описание действительной величины числа c необходимо задавать в явном виде только однажды (после чего внутри системы достаточно обозначения c). Если при задании величины с используется чисто двоичное представление, то (при больших c) такое описание дает всего-навсего логарифмическую зависимость γ от c (поскольку количество знаков в двоичном представлении натурального n равно приблизительно log2n). Вообще говоря, учитывая, что число с интересует нас лишь в качестве возможного предела, точное значение которого находить вовсе не обязательно, мы можем поступить гораздо более остроумным образом. Например, число 22...2 с s показателями можно задать с помощью s символов или около того, и вовсе нетрудно подыскать примеры, в которых величина задаваемого числа возрастает с ростом s еще быстрее. Сгодится любая вычислимая функция от s. Иными словами, для того чтобы задать предел c (при достаточно большом значении c), необходимо всего лишь несколько символов.