Файл: Пеноуз Роджер. Тени разума. В поисках науки о сознании.doc

(I)      Если завершается А (п, п), то С_п (п) не завершается.

Отметим, что А(n, n) зависит только от одного числа (n), а не от двух, так что данное вычисление должно принадлежать ря­ду ,,,, … (по n), поскольку предполагается, что этот ряд содержит все вычисления, которые можно выполнить над од­ним натуральным числом n. Обозначив это вычисление через Ck, запишем:

(J)        A(n,n) = C_k(n).

Рассмотрим теперь частный случай п = k. (Второй этап диаго­нального доказательства Кантора.) Из равенства (J) получаем:

(К)    A(k,k) = C_k(k),

утверждение же (I) при n = k принимает вид:   

(L)     Если завершается A (k, k), то Ck (k) не завершается.

Подставляя (К) в (L), находим:

(М)   Если завершается Ck (k), то Ck (k) не завершается.

Из этого следует заключить, что вычисление Ck (k) в действи­тельности не завершается. (Ибо, согласно (М), если оно завер­шается, то оно не завершается!) Невозможно завершить и вычис­ление A (k, k), поскольку, согласно (К), оно совпадает с Ck (k). То есть, наша процедура А оказывается не в состоянии показать, что данное конкретное вычисление Ck (k) не завершается, даже если оно и в самом деле не завершается.

Более того, если нам известно, что процедура А обосно­вана, то, значит, нам известно и то, что вычисление Ck (k) не завершается. Иными словами, нам известно нечто, о чем посред­ством процедуры А мы узнать не могли. Следовательно, сама процедура А с нашим пониманием никак не связана.

В этом месте осторожный читатель, возможно, пожелает пе­речесть все вышеприведенное доказательство заново, дабы убе­диться в том, что он не пропустил какой-нибудь «ловкости рук» с моей стороны. Надо признать, что, на первый взгляд, это до­казательство и в самом деле смахивает на фокус, и все же оно полностью допустимо, а при более тщательном изучении лишь выигрывает в убедительности. Мы обнаружили некое вычисле­ние Ck (k), которое, насколько нам известно, не завершается; однако установить этот факт с помощью имеющейся в нашем распоряжении вычислительной процедуры А мы не в состоянии. Это, собственно, и есть теорема Гёделя(—Тьюринга) в необходи­мом мне виде. Она применима к любой вычислительной проце­дуре А, предназначенной для установления невозможности за­вершить вычисление, — коль скоро нам известно, что упо­мянутая процедура обоснована. Можно заключить, что для однозначного установления факта незавершаемости вычисления не будет вполне достаточным ни один из заведомо обоснованных наборов вычислительных правил (такой, например, как проце­дура А), поскольку существуют незавершающиеся вычисления (например, Ck (k)), на которые эти правила не распространяются. Более того, поскольку на основании того, что нам известно о процедуре А и об ее обоснованности, мы действительно можем составить вычисление Ck (k}, которое, очевидно, никогда не за­вершается, мы вправе заключить, что процедуру А никоим об­разом нельзя считать формализацией процедур, которыми рас­полагают математики для установления факта незавершаемости вычисления, вне зависимости от конкретной природы А. Вывод:

Для установления математической истины математики не применяют заведомо обоснованные алгоритмы.

Мне представляется, что к такому выводу неизбежно должен прийти всякий логически рассуждающий человек. Однако мно­гие до сих пор предпринимают попытки этот вывод опровергнуть (выдвигая возражения, обобщенные мною под номерами Q1 — Q20 в §2.6 и §2.10), и, разумеется, найдется ничуть не меньше желающих оспорить вывод более строгий, суть которого сводится к тому, что мыслительная деятельность непременно оказывается связана с некими феноменами, носящими фундаментально невы­числительный характер. Вы, возможно, уже спрашиваете себя, каким же это образом подобные математические рассуждения об абстрактной природе вычислений могут способствовать объяс­нению принципов функционирования человеческого мозга. Какое такое отношение имеет все вышесказанное к проблеме осмыс­ленного осознания? Дело в том, что, благодаря этим математи­ческим рассуждениям, мы и впрямь можем прояснить для себя некие весьма важные аспекты такого свойства мышления, как понимание — в терминах общей вычислимости, — а, как было показано в § 1.12, свойство понимания связано с осмысленным осознанием самым непосредственным образом. Предшествую­щее рассуждение действительно носит в основном математиче­ский характер, и связано это с необходимостью подчеркнуть одно очень существенное обстоятельство: алгоритм А участвует здесь на двух совершенно различных уровнях. С одной стороны, это просто некий алгоритм, обладающий определенными свойствами, с другой стороны, получается, что на самом-то деле А можно рассматривать как «алгоритм, которым пользуемся мы сами» в процессе установления факта незавершаемости того или ино­го вычисления. Так что в вышеприведенном рассуждении речь идет не только и не столько о вычислениях. Речь идет также и о том, каким образом мы используем нашу способность к осмысленному пониманию для составления заключения об ис­тинности какого-либо математического утверждения — в дан­ном случае утверждения о незавершаемости вычисления Ck (k). Именно взаимодействие между двумя различными уровнями рас­смотрения алгоритма А — в качестве гипотетического способа функционирования сознания и собственно вычисления — поз­воляет нам сделать вывод, выражающий фундаментальное про­тиворечие между такой сознательной деятельностью и простым вычислением.

Существуют, однако, всевозможные лазейки и контраргу­менты, на которые необходимо обратить самое пристальное вни­мание. Для начала, в оставшейся части этой главы, я тщательно разберу все важные контраргументы против вывода ^, которые когда-либо попадались мне на глаза — см. возражения Q1-Q20 и комментарии к ним в §§2.6 и 2.10; там, кроме того, мож­но найти и несколько дополнительных возражений моего соб­ственного изобретения. Каждое из возражений будет разобрано со всей обстоятельностью, на какую я только способен. Пройдя через это испытание, вывод , как мы убедимся, существенно не пострадает. Далее, в главе 3, я рассмотрю следствия уже из утверждения . Мы обнаружим, что оно и в самом деле спо­собно послужить прочным фундаментом для построения весь­ма убедительного доказательства абсолютной невозможности точного моделирования сознательного математического понима­ния посредством вычислительных процедур, будь то восходящих, нисходящих или любых их сочетаний. Многие сочтут такой вывод весьма неприятным, поскольку если он справедлив, то нам, полу­чается, просто некуда двигаться дальше. Во второй части книги я выберу более позитивный курс. Я приведу правдоподобные, на мой взгляд, научные доводы в пользу справедливости результа­тов моих размышлений о физических процессах, которые могут, предположительно, лежать в основе деятельности мозга — вро­де той, что осуществляется при нашем восприятии приведенных выше рассуждений, — и о причинах недоступности этой деятель­ности для какого бы то ни было вычислительного описания.

2.6. Возможные формальные возражения против

Утверждение  вполне способно потрясти воображение и не слишком впечатлительного читателя, особенно если учесть достаточно простой характер составных элементов рассуждения, из которого мы это утверждение вывели. Прежде чем перейти к рас­смотрению (в главе 3) его следствий применительно к возмож­ности создания разумного робота-математика с компьютерным разумом, необходимо очень тщательно исследовать некоторое количество формальных моментов, связанных с получением вы­вода ^'. Если подобные возможные формальные «лазейки» вас не смущают и вы готовы принять на веру утверждение У (согласно которому, напомним, математики при установлении математиче­ской истины не применяют заведомо обоснованные алгоритмы), то вы, вероятно, предпочтете пропустить (или хотя бы на неко­торое время отложить) нижеследующие рассуждения и перейти непосредственно к главе 3. Более того, если вы готовы принять на веру и несколько более серьезный вывод, в соответствии с кото­рым принципиально невозможно алгоритмически объяснить ни математическое, ни какое-либо иное понимание, то вам, возмож­но, стоит перейти сразу ко второй части книги — задержавшись разве что на воображаемом диалоге в §3.23 (обобщающем наи­более важные аргументы главы 3) и выводах в § 3.28.

Существует несколько математических моментов, связан­ных с приведенным в §2.5 гёделевским доказательством, кото­рые не дают людям покоя. Попытаемся с этими моментами разо­браться.

Q1. Я  понимаю так,  что  процедура А является единичной, тогда как во всевозможных математи­ческих обоснованиях мы, несомненно, применяем много разных способов рассуждения. Не следует ли нам принять во внимание возможность существования целого ряда возможных «процедур А»?

В действительности, использование мною такой формули­ровки вовсе не влечет за собой потери общего характера рас­суждений в целом. Любой конечный ряд ai, Ау, аз, ..., А_г ал­горитмических процедур всегда можно выразить в виде единич­ного алгоритма А, причем таким образом, что А окажется неза­вершаемым только в том случае, если не завершаются все от­дельные алгоритмы ai, ..., А_т. (Процедура А может протекать, например, следующим образом: «Выполнить первые 10 шагов алгоритма А\, запомнить результат; выполнить первые 10 шагов алгоритма А^\ запомнить результат; выполнить первые 10 шагов алгоритма аз', запомнить результат; и так далее вплоть до А_г затем вернуться к А\ и выполнить следующие 10 шагов; запо­мнить результат и т. д.; затем перейти к третьей группе из 10 ша­гов и т. п. Завершить процедуру, как только завершится любой из алгоритмов Д.».) Если же ряд алгоритмов А бесконечен, то для того, чтобы его можно было считать алгоритмической про­цедурой, необходимо найти способ порождения всей совокупно­сти алгоритмов ai, А-2, А₃, ... алгоритмическим путем. Тогда мы сможем получить единичный алгоритм А, который заменяет весь ряд алгоритмов и выглядит приблизительно следующим образом:

«первые 10 этапов-A1;

вторые 10 этаповА1, первые 10 этаповА2;

третьи 10 этапов A1, вторые 10 этаповА2, первые 10 этаповА3;

… и т.д.»…

Завершается такой алгоритм лишь после успешного завершения любого алгоритма из ряда, и никак не раньше.

С другой стороны, можно представить себе ситуацию, когда ряд a1, a2, аз,…, предположительно бесконечный, заранее не задан даже в принципе. Время от времени к такому ряду добавля­ется следующая алгоритмическая процедура, однако изначально весь ряд в целом не определен. В этом случае, ввиду отсутствия какой-либо предварительно заданной алгоритмической процеду­ры для порождения такого ряда, единичный замкнутый алгоритм нам получить никак не удастся.

Q2. Мы, безусловно, должны допустить, что алгоритм А может оказаться и не фиксированным. Лю­ди, в конце концов, обладают способностью к обучению, а значит, применяемый ими при этом алгоритм вполне может претерпевать непрерывные из­менения.

Для описания изменяющегося алгоритма необходимо каким-то образом задать правила, согласно которым он, собственно, изменяется. Если сами по себе эти правила являются полностью алгоритмическими, то мы уже включили их в описание нашей гипотетической процедуры «А», иначе говоря, такой «изменя­ющийся алгоритм» на деле представляет собой всего-навсего еще один пример единичного алгоритма, и на наши рассужде­ния подобное допущение никак не влияет. С другой стороны, можно вообразить средства для изменения алгоритма, предпо­ложительно не являющиеся алгоритмическими: такие, например, как введение в алгоритм каких-то случайных составляющих или неких процедур взаимодействия его с окружением. «Неалгорит­мический» статус подобных средств изменения алгоритма мы еще будем рассматривать несколько позднее (см. §§ 3.9, 3.10); можно также вернуться к § 1.9, где было показано, что ни одно из этих средств не позволяет сколько-нибудь убедительно избавиться от алгоритмизма (как того требует точка зрения ^). В данном слу­чае, т. е. в рамках чисто математических рассуждений, нас зани­мает лишь возможность того, что такое изменение действительно будет носить алгоритмический характер. Если же предположить, что алгоритмическим оно быть никак не может, то мы, без­условно, придем к полному согласию с выводом &.

Пожалуй, следует немного подробнее остановиться на том, что может обозначать определение «алгоритмически изменяю­щийся» применительно к алгоритму А. Допустим, что алгоритм А зависит не только от q и п, но и еще от одного параметра t, который можно рассматривать как «время», а можно как просто количество предшествующих настоящему моменту случаев ак­тивации нашего алгоритма. Как бы то ни было, мы можем так­же предположить, что параметр t является натуральным числом, и записать следующий ряд алгоритмов A_t (<J, n):