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

Философ из Оксфорда Дж. Р. Лукас (не имеющий никакого отношения к описанным выше числам Лукаса) написал в 1961 году достойную внимания статью под названием «Разум, машины и Гёдель» (J.R. Lucas, «Minds, Machines, and Godel»). Высказанные там взгляды диаметрально противоположны моим, хотя для обоснования своей точки зрения Лукас часто использует те же самые факты. Следующая цитата имеет прямое отношение к предмету нашего анализа:

При первой простейшей попытке рассуждать философски, человек запутывается в таких вопросах, когда он что-то знает, то знает ли он, что он что-то знает? О чем именно он думает, когда думает о себе самом? Что именно порождает эти мысли? Промучившись с этими вопросами достаточно долго, человек понимает, что их лучше оставить в покое он интуитивно доходит до того, что сознательное существо отличается от существа бессознательного. Когда мы говорим, что сознательное существо что-то знает, мы подразумеваем, что оно знает о том, что оно это знает, и что оно знает о том, что оно знает о том, что оно это знает, и так далее, и тому подобное. Хотя здесь и присутствует бесконечность, но это не бесконечный регресс в плохом смысле, поскольку в этом случае постепенно становятся бессмысленными сами вопросы, а не ответы на них. Мы чувствуем, что вопросы бессмысленны, потому что само понятие «сознания» заключает в себе идею того, что на эти вопросы можно отвечать бесконечно. Хотя разумные существа могут продолжать таким образом до бесконечности, мы не желаем представить это в виде простой последовательности задач, которые мы способны выполнять: наш разум для нас — это не бесконечный ряд «Я», «супер-Я», и «супер-супер-Я». Вместо этого мы считаем, что разумное существо — это единство и, говоря о разных частях мозга, употребляем это выражение только в качестве метафоры и не позволяем себе понимать его буквально.

Парадоксы интеллекта возникают потому, что разумное существо может воспринимать самого себя, так же как другие вещи, но при этом оно не является делимым на части. Это означает, что разумное создание может обращаться с Гёделевыми вопросами так, как не может делать этого машина, поскольку разумное существо может осознавать себя и свои действия, будучи при этом неотделимым от этих действий. Можно создать такую машину, которая, в каком-то смысле, сможет «осознать» свои действия, но она не сможет учитывать этого осознания, не становясь при этом другой машиной, — а именно, прежней машиной, к которой добавлена «новая часть». С другой стороны, одним из основных свойств нашего разума является его способность размышлять о себе самом и критически воспринимать собственные действия — и для этого не требуется никакая дополнительная часть; наш мозг совершенен, и в нем нет никакой Ахиллесовой пяты.

Таким образом, эта тема становится скорее объектом концептуального анализа, чем математического открытия. Подтверждением этому служит аргумент, выдвинутый Тюрингом. До сих пор нам удавалось построить только очень простые и предсказуемые аппараты. Когда мы увеличим сложность наших машин, нас, возможно, будут ожидать сюрпризы. Он приводит в пример атомный реактор, пока не достигнута «критическая» масса, ничего не происходит; но как только перейден порог критической массы, начинается реакция. Возможно, что то же самое верно и в отношении разума и машин. Большинство мозгов и никакие машины в данный момент не достигли этого порога — они реагируют на внешние стимулы тяжеловесным и неинтересным образом, не рождают новых идей и производят только готовые ответы; однако некоторые мозги уже сейчас «достигли критической массы» и функционируют независимо — то же может быть верно и в отношении будущих машин. Тюринг утверждает, что это только вопрос сложности, и что когда перейден некий критический порог сложности, происходит качественный скачок; таким образом, сложные машины будущего могут оказаться совершенно непохожими на простые аппараты настоящего.

Возможно, что это верно. Сложность часто порождает качественную разницу. Хотя это кажется маловероятным, может случиться, что достигнув определенного уровня сложности, машина перестанет быть даже в принципе предсказуемой и начнет действовать самостоятельно — используя весьма показательное выражение, у нее может появиться собственный интеллект. У нее может появиться собственный интеллект. Этот собственный интеллект появится тогда, когда машина перестанет быть полностью предсказуемой и послушной и начнет делать вещи, которые мы воспринимаем как разумные, а не как ошибки или случайности, и которые не были никем запрограммированы. Тогда она перестанет быть машиной в обычном смысле этого слова. Главным вопросом спора о машинном интеллекте является не то, как возникает разум, а то. как он оперирует. Основным тезисом механистов является то, что модель интеллекта должна действовать согласно «механическим принципам»; это означает, что действие целого может быть понято, исходя из действия его частей, и что действие каждой отдельной части должно либо определяться ее начальным состоянием и конструкцией машины, либо быть случайным выбором между определенным числом определенных операций. Если машина становится такой сложной, что это определение перестает действовать, тогда мы уже не можем считать ее машиной, как бы она ни была построена. Тогда пришлось бы сказать, что мы создали разум, в том же смысле, как сейчас мы говорим о рождении нового человека. В таком случае, было бы два способа давать миру новый разум, традиционный способ — рождение детей от женщин и новый способ — конструкция сложнейших систем клапанов и переключателей. Говоря о втором способе мы должны подчеркнуть что хотя наши создания выглядели бы как машины, они, тем не менее, таковыми бы не являлись, поскольку они были бы большим, чем сумма их частей. Было бы невозможным предсказать их поведение на основе знания их конструкции и начального состояния их частей, мы не знали бы границ того на что они способны поскольку они отвечали бы верно даже на заданные им вопросы Геделева типа. На самом деле, нужно отметить что любая система, которую не сбить с толку Геделевым вопросом это ео ipso не машина Тюринга, то есть не машина в обычном смысле слова. [39] J. R. Lucas, «Minds, Machines, and Godel». В сборнике A. R. Anderson, «Minds and Machines», стр. 57-9.

Когда я читаю этот отрывок, моя мысль пытается уследить за быстрой сменой тем, ссылок, ассоциаций, путаницы и заключений. Она перепрыгивает от парадокса Кэррола к Геделю а затем к Тюрингу, к искусственному интеллекту, к холизму и редукционизму — и все это на двух страничках. Поистине Лукас заставляет нас задуматься! В следующих главах мы вернемся ко многим темам, мимоходом затронутым в этом интересном отрывке.