Даглас Хофштадтер - ГЕДЕЛЬ, ЭШЕР, БАХ: эта бесконечная гирлянда

Ахилл : Вы хотите сказать, что сегодня — день розыгрыша?

Краб : Вот именно, Ахилл.

Ахилл : А-а, понятно, я это запомню.

Краб : Что ж, пожалуй, мне пора ползти домой. Эта суета вокруг розыгрыша меня порядком утомила, а мне еще предстоит утомительный спуск по крутому склону.

Ахилл : До встречи; и спасибо за урок композиции!

Краб : Я и сам получил большое удовольствие; надеюсь, что когда-нибудь мы продолжим наш обмен сочинениями.

Ахилл : Буду ждать этого дня с нетерпением. До свидания!

Черепаха : До свидания, м-р Краб.

(И краб уползает вниз по холму.)

Ахилл : Что за создание! Это ползет маг и волшебник музыки, блестящий флейтист и композитор. Мне кажется, что он в четыре раза умнее любого из своих собратьев. Или даже в пять —

Черепаха : Как вы уже сказали в начале — и, кажется, собираетесь продолжать говорить во веки веков!

НАСТАЛ МОМЕНТ, когда мы уже можем сформулировать один из основных тезисов этой книги любой аспект мышления можно рассматривать как описание на высшем уровне некой системы, которая на низшем уровне управляется простыми и даже формальными правилами. Под «системой» здесь, разумеется, имеется в виду мозг — если не упоминать мыслительные процессы, протекающие в другой среде, такой, скажем, как электрические цепи компьютера. Это создает образ формальной системы, лежащей в основе «неформальной системы» — такой, которая сочиняет каламбуры, находит численные закономерности, забывает имена, «зевает» фигуры в шахматной партии и так далее. То, что мы видим снаружи, — это ее неформальный, явный уровень, уровень программ. С другой стороны, в системе есть также формальный, скрытый уровень (или «субстрат»), уровень аппаратуры — удивительно сложный механизм, переходящий от одного состояния к другому по определенным, физически встроенным в него правилам, согласно поступающим извне сигналам (входным данным).

Нет нужды говорить, что такой взгляд на мозг имеет множество философских и других следствий. Некоторые из них я попытаюсь описать в этой главе. Среди прочего, из этого взгляда, как кажется, следует то, что в своей основе мозг является неким «математическим» объектом. На самом деле, это, в лучшем случае, довольно неуклюжая модель мозга. Дело в том, что даже если в техническом и абстрактном смысле мозг и представляет собой некий тип формальной системы, математики работают с системами простыми и элегантными, в которых все четко определено. Мозгу же, с его десятью миллиардами частично независимых нейронов, соединенных почти случайным образом, далеко до такой ясности, так что он никогда не станет объектом изучения математиков. Если определить «математику» как нечто, чем математикам нравится заниматься, то приходится признать, что свойства мозга — не математические.

Единственный способ понять такую сложную систему как мозг — это использовать блочную картину на все более высоких уровнях, при этом, разумеется, при каждом следующем шаге приходится жертвовать точностью. На высшем уровне мы получаем «неформальную систему», подчиняющуюся такому количеству сложных правил, что у нас пока не хватает слов для ее описания. Именно это — объект поисков специалистов по Искусственному Интеллекту, поисков, которые весьма отличны от математических изысканий. Однако между ними существует некоторая связь — эксперты по ИИ часто имеют математическое образование, а математики часто интересуются работой собственного мозга. Следующий отрывок из автобиографической книги Станислава Улама «Приключения математика» (Stamslaw Ulam, «Adventures of a Mathematician») иллюстрирует этот факт:

Мне кажется, что можно лучше выявить … природу ассоциаций, используя для экспериментов компьютеры. Такое исследование включало бы подразделение на понятия, символы, классы символов, классы классов и так далее, так же, как это делается при исследовании сложных математических или физических систем.

В нашем мышлении должен быть некий метод, некая рекурсивная формула. Группа нейронов начинает работать автоматически, иногда даже без внешнего импульса. Результатом этого повторяющегося процесса является растущая область возбужденных нейронов, которая передвигается по мозгу в зависимости от памяти или чего-то подобного. [48] Stamslaw Ulam, «Adventures of a Mathematician», стр. 13

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

— На днях я прочитал в газете, что…

— О, вы прочитали? Из этого следует, что у вас есть глаза. Или, по крайней мере, один глаз. Или, скорее, что у вас в тот момент был по крайней мере один глаз.

Здесь необходимо понимание того, что важно и что неважно; с этим связано чувство простоты и красоты. Откуда берутся эти интуитивные понятия? Каким образом они могут родиться из формальной системы мозга? В Диалоге «Магнификраб» мы встречаемся с некими необычными свойствами Крабьего мозга. По его словам, он просто слушает музыку и отличает красивые мелодии от некрасивых . (По-видимому, для него существует четкая граница.) Ахилл, однако, находит другой способ описания Крабьих способностей: Краб подразделяет суждения теории чисел на истинные и ложные . Но Краб утверждает, что если он это и делает, то только случайно, поскольку он в математике профан. Ахилл более всего удивлен тем, что Краб, как кажется, прямо нарушает знаменитую теорему метаматематики:

ТЕОРЕМА ЧЁРЧА: Не существует универсального метода, позволяющего отличать теоремы ТТЧ от не-теорем.

Это утверждение было доказано в 1936 году американским логиком Алонзо Чёрчем, оно находится в тесной связи с тем, что я называю:

ТЕОРЕМОЙ ТАРСКОГО-ЧЁРЧА-ТЮРИНГА: Не существует универсального метода, позволяющего отличать истинные суждения теории чисел от ложных.