3.16. Необходимо ли роботу верить в механизмы М?

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

Рассуждать мы будем следующим образом. Обозначим че­резгипотезу «В основе математического понимания робота лежит набор механизмов» и рассмотрим утверждение вида «Такое-то-высказывание является следствием из».

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

Существуют ли-высказывания, которые робот должен полагать неопровержимыми следствиями из гипотезыи кото­рые при этом не являются самыми обыкновенными-утвержде­ниями, вовсе не требующими привлечения этой гипотезы? Разу­меется, существуют. Как было отмечено в концеистин­ность hi-высказыванияследует из обоснованности формальной системыотсюда же следует и тот факт, что утверждениене является теоремой системы Более того, в этом робот будет совершенно безоговорочно убе­жден. Если допустить, что робот вполне согласен с тем, что все его неопровержимые убеждения укладывались бы в рамки си­стемыбудь он действительно сконструирован в соответ­ствии с набором механизмов— т. е. что возможность он из рассмотрения исключает, — то получается, что наш ро­бот и в самом деле должен твердо верить в то, что обоснован­ность системыявляется следствием гипотезы. Таким образом, робот оказывается безоговорочно убежден как в том, что-высказываниеследует из гипотезы, так и в том, что (согласно) он не способен непосредственно постичь его неопровержимую истинность без привлечения(посколь­ку формальной системе оно не принадлежит). Соответ­ственно, утверждениеявляется-утверждением, но не *-утверждением.

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

Далее предложим роботу рассмотреть гёделевское-вы­сказываниеРобот, несомненно, проникнется неоп­ровержимым убеждением в том, что это П1-высказывание явля­ется следствием из обоснованности системыОн так­же вполне безоговорочно поверит в то, что обоснованность си­стемыявляется следствием гипотезыпоскольку он согласен с тем, что системадействительно содержит в себе все, в чем робот неопровержимо убежден в отношении своей способности выводить-высказывания, основываясь на гипотезе(Он будет рассуждать следующим образом: «Если я принимаю гипотезу, то я тем самым принимаю и все П1-высказывания, которые порождают системуТаким об­разом, я должен согласиться с тем, что системаявля­ется обоснованной на основании гипотезы. Следовательно, на основании все той же гипотезы, я должен признать и то, что утверждениеистинно».)

Однако, поверив (безоговорочно) в то, что гёделевское высказываниеявляется следствием гипотезы робот будет вынужден будет поверить и в то, что утвержде­ниеявляется теоремой формальной системы А в это он сможет поверить только в том случае, если он полагает системунеобоснованной, — что решительно противо­речит принятию им гипотезы

В некоторых из вышеприведенных рассуждений неявно до­пускалось, что неопровержимая убежденность робота является действительно обоснованной, — хотя необходимо лишь, чтобы сам робот просто верил в обоснованность своей системы убе­ждений. Впрочем, мы изначально предполагаем, что наш робот обладает математическим пониманием, по крайней мере, на чело­веческом уровне, а человеческое математическое понимание, как было показано впринципиально является обоснованным.

Возможно, кто-то усмотрит в формулировке допущения равно как и в определении-утверждения, некоторую неод­нозначность. Смею вас уверить, что подобное утверждение, бу­дучи-высказыванием, представляет собой в высшей степе­ни определенное математическое утверждение. Можно предпо­ложить, что большинство-утверждений робота окажутся в действительности самыми обыкновенными-утверждениями, поскольку маловероятно, что робот при каких угодно обстоя­тельствах сочтет целесообразным прибегать в своих рассужде­ниях к самой гипотезе. Исключением может стать утвержде­ниео котором говорилось выше, так как в данном слу­чае формальная системавыступает, с точки зрения робота, в роли гёделевской гипотетической «машины для доказательства теорем»Вооружившись гипотезой, робот получает доступ к своей собственной «машине для доказатель­ства теорем», и, хотя он не может быть (да и, скорее всего, не будет) безоговорочно убежден в обоснованности своей «маши­ны», робот способен предположить, что она может оказать­ся обоснованной, и попытаться вывести следствия уже из этого предположения.

На этом этапе робот еще не добирается до парадокса — так же, как не добрался до него и Гёдель в своих рассуждениях о человеческом интеллекте (см. цитату в). Однако, поскольку роботу доступен для исследования набор гипотетических меха­низмова не просто отдельная формальная системаон может повторить свое рассуждение и перейти от системы к системе, обоснованность которой он по-прежнему по­лагает простым следствием из гипотезы. Именно это и при­водит его в конечном итоге к противоречию (чего мы, собственно, и добивались). (См. также, где мы продолжим рассмотре­ние системыи ее кажущейся связи с «парадоксальными рассуждениями».)

Вывод: ни одно обладающее сознанием и имеющее понятие о математике существо — иначе говоря, ни одно существо со способностью к подлинному математическому пониманию — не может функционировать в соответствии с каким бы то ни было набором постижимых им механизмов, вне зависимости от того, знает ли оно в действительности о том, что именно эти механиз­мы, предположительно, направляют его на его пути к неопровер­жимой математической истине. (Вспомним и о том, что «неопро­вержимой математической истиной» это существо полагает всего лишь то, что оно способно установить математическими метода­ми, — т. е. с помощью «математического доказательства», при­чем совсем необязательно «формального».)

Если конкретнее, то на основании предшествующих рассу­ждений мы склонны заключить, что не существует такого постижимого роботом и не содержащего подлинно случайных компо­нентов набора вычислительных механизмов, какой робот мог бы принять (даже в качестве возможности) как основу своей си­стемы математических убеждений, — при условии, что робот го­тов согласиться с тем, что специфическая процедура, предложен­ная мною для построения формальной системына основе механизмов, и в самом деле охватывает всю совокупность Щ -высказываний, в истинность которых он неопровержимо верит, а также, соответственно, с тем, что формальная система охватывает всю совокупность-высказываний, которые, как он неопровержимо верит, следуют из гипотезы. Кроме того, если мы хотим, чтобы робот смог построить собственную потенциаль­но непротиворечивую систему математических убеждений, следу­ет ввести в набор механизмовкакие-либо подлинно случайные составляющие.

Эти последние оговорки мы рассмотрим в последующих раз­делахВопрос о введении в набор механизмов возможных случайных элементов (вариант (с)) представляется удобным обсудить в рамках общего рассмотрения варианта (b). А для того чтобы рассмотреть вариант (b) с должной тщатель­ностью, нам следует прежде в полной мере прояснить для себя вопрос об «убежденности» робота, который мы уже мимоходом затрагивали в конце

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

Рассуждать мы будем следующим образом. Обозначим че­резгипотезу «В основе математического понимания робота лежит набор механизмов» и рассмотрим утверждение вида «Такое-то-высказывание является следствием из».

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

Существуют ли-высказывания, которые робот должен полагать неопровержимыми следствиями из гипотезыи кото­рые при этом не являются самыми обыкновенными-утвержде­ниями, вовсе не требующими привлечения этой гипотезы? Разу­меется, существуют. Как было отмечено в концеистин­ность hi-высказыванияследует из обоснованности формальной системыотсюда же следует и тот факт, что утверждениене является теоремой системы Более того, в этом робот будет совершенно безоговорочно убе­жден. Если допустить, что робот вполне согласен с тем, что все его неопровержимые убеждения укладывались бы в рамки си­стемыбудь он действительно сконструирован в соответ­ствии с набором механизмов— т. е. что возможность он из рассмотрения исключает, — то получается, что наш ро­бот и в самом деле должен твердо верить в то, что обоснован­ность системыявляется следствием гипотезы. Таким образом, робот оказывается безоговорочно убежден как в том, что-высказываниеследует из гипотезы, так и в том, что (согласно) он не способен непосредственно постичь его неопровержимую истинность без привлечения(посколь­ку формальной системе оно не принадлежит). Соответ­ственно, утверждениеявляется-утверждением, но не *-утверждением.

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

Далее предложим роботу рассмотреть гёделевское-вы­сказываниеРобот, несомненно, проникнется неоп­ровержимым убеждением в том, что это П1-высказывание явля­ется следствием из обоснованности системыОн так­же вполне безоговорочно поверит в то, что обоснованность си­стемыявляется следствием гипотезыпоскольку он согласен с тем, что системадействительно содержит в себе все, в чем робот неопровержимо убежден в отношении своей способности выводить-высказывания, основываясь на гипотезе(Он будет рассуждать следующим образом: «Если я принимаю гипотезу, то я тем самым принимаю и все П1-высказывания, которые порождают системуТаким об­разом, я должен согласиться с тем, что системаявля­ется обоснованной на основании гипотезы. Следовательно, на основании все той же гипотезы, я должен признать и то, что утверждениеистинно».)

Однако, поверив (безоговорочно) в то, что гёделевское высказываниеявляется следствием гипотезы робот будет вынужден будет поверить и в то, что утвержде­ниеявляется теоремой формальной системы А в это он сможет поверить только в том случае, если он полагает системунеобоснованной, — что решительно противо­речит принятию им гипотезы

В некоторых из вышеприведенных рассуждений неявно до­пускалось, что неопровержимая убежденность робота является действительно обоснованной, — хотя необходимо лишь, чтобы сам робот просто верил в обоснованность своей системы убе­ждений. Впрочем, мы изначально предполагаем, что наш робот обладает математическим пониманием, по крайней мере, на чело­веческом уровне, а человеческое математическое понимание, как было показано впринципиально является обоснованным.

Возможно, кто-то усмотрит в формулировке допущения равно как и в определении-утверждения, некоторую неод­нозначность. Смею вас уверить, что подобное утверждение, бу­дучи-высказыванием, представляет собой в высшей степе­ни определенное математическое утверждение. Можно предпо­ложить, что большинство-утверждений робота окажутся в действительности самыми обыкновенными-утверждениями, поскольку маловероятно, что робот при каких угодно обстоя­тельствах сочтет целесообразным прибегать в своих рассужде­ниях к самой гипотезе. Исключением может стать утвержде­ниео котором говорилось выше, так как в данном слу­чае формальная системавыступает, с точки зрения робота, в роли гёделевской гипотетической «машины для доказательства теорем»Вооружившись гипотезой, робот получает доступ к своей собственной «машине для доказатель­ства теорем», и, хотя он не может быть (да и, скорее всего, не будет) безоговорочно убежден в обоснованности своей «маши­ны», робот способен предположить, что она может оказать­ся обоснованной, и попытаться вывести следствия уже из этого предположения.

На этом этапе робот еще не добирается до парадокса — так же, как не добрался до него и Гёдель в своих рассуждениях о человеческом интеллекте (см. цитату в). Однако, поскольку роботу доступен для исследования набор гипотетических меха­низмова не просто отдельная формальная системаон может повторить свое рассуждение и перейти от системы к системе, обоснованность которой он по-прежнему по­лагает простым следствием из гипотезы. Именно это и при­водит его в конечном итоге к противоречию (чего мы, собственно, и добивались). (См. также, где мы продолжим рассмотре­ние системыи ее кажущейся связи с «парадоксальными рассуждениями».)

Вывод: ни одно обладающее сознанием и имеющее понятие о математике существо — иначе говоря, ни одно существо со способностью к подлинному математическому пониманию — не может функционировать в соответствии с каким бы то ни было набором постижимых им механизмов, вне зависимости от того, знает ли оно в действительности о том, что именно эти механиз­мы, предположительно, направляют его на его пути к неопровер­жимой математической истине. (Вспомним и о том, что «неопро­вержимой математической истиной» это существо полагает всего лишь то, что оно способно установить математическими метода­ми, — т. е. с помощью «математического доказательства», при­чем совсем необязательно «формального».)

Если конкретнее, то на основании предшествующих рассу­ждений мы склонны заключить, что не существует такого постижимого роботом и не содержащего подлинно случайных компо­нентов набора вычислительных механизмов, какой робот мог бы принять (даже в качестве возможности) как основу своей си­стемы математических убеждений, — при условии, что робот го­тов согласиться с тем, что специфическая процедура, предложен­ная мною для построения формальной системына основе механизмов, и в самом деле охватывает всю совокупность Щ -высказываний, в истинность которых он неопровержимо верит, а также, соответственно, с тем, что формальная система охватывает всю совокупность-высказываний, которые, как он неопровержимо верит, следуют из гипотезы. Кроме того, если мы хотим, чтобы робот смог построить собственную потенциаль­но непротиворечивую систему математических убеждений, следу­ет ввести в набор механизмовкакие-либо подлинно случайные составляющие.

Эти последние оговорки мы рассмотрим в последующих раз­делахВопрос о введении в набор механизмов возможных случайных элементов (вариант (с)) представляется удобным обсудить в рамках общего рассмотрения варианта (b). А для того чтобы рассмотреть вариант (b) с должной тщатель­ностью, нам следует прежде в полной мере прояснить для себя вопрос об «убежденности» робота, который мы уже мимоходом затрагивали в конце