«Ну, вы знаете, он много думал об этой проблеме, — мечтательно говорит сторонник Хофштадтера. — И я уверен, что когда-нибудь он это докажет, построив кремниевый компьютер с сознательной самостью».
Вас впечатляет мечта Хофштадтера — нашему обществу нужны мечтатели, — но вы чувствуете потребность защитить логику. «Я должен признаться, что немного остерегаюсь сложных иерархий, — говорите вы. — Когда я изучал логические типы, мне говорили, что их придумали для сохранения чистоты логики. Но вы, то есть д-р Хофштадтер, причудливо смешиваете их не только в языке, но и в реальных естественных системах. Откуда мы знаем, что природа дает нам такое право? В конце концов, парадоксы языка имеют оттенок произвольности и искусственности». Вы очень довольны, что можете спорить если не с Хофштадтером, то, по крайней мере, с его сторонником, используя то, что вам кажется неопровержимой логикой.
Но сторонник Хофштадтера готов к спору.
«Кто говорит, что мы можем сохранять чистоту логики? — возражает он. — Или вы ничего не слышали о теореме Гёделя. Я думал, вы читали книгу д-ра Хофштадтера».
«Я говорил вам, что не понимал ее. И именно теорема Гёделя стала для меня окончательным камнем преткновения».
«На самом деле это очень просто. Теорию логических типов придумали два математика — Бертран Рассел и Альфред Уайтхед, — чтобы, как вы говорите, сохранять чистоту логики. Однако еще один математик — Курт Гёдель — доказал, что любая попытка создания математической системы, свободной от парадоксов, обречена на неудачу, если эта система достаточно сложна. Он доказал это, продемонстрировав, что любая достаточно богатая система обречена быть неполной. В ней всегда можно найти утверждение, которое система не способна доказать [65]. По существу, система может быть либо полной, но противоречивой, либо непротиворечивой, но неполной, но никогда не может быть и непротиворечивой, и полной. Гёдель доказал эту теорему, используя так называемую смешанную логику сложных иерархий. Тем самым он отправил на свалку несколько концепций, включая возможность полной и непротиворечивой математической системы, наподобие теории логических типов Рассела и Уайтхеда. Вам все понятно?»
Вы не осмеливаетесь задавать какие-либо дальнейшие вопросы. Математика кажется вам похожей на осиное гнездо. Чем больше вы около него задерживаетесь, тем больше рискуете быть ужаленным. Вы поспешно благодарите своего собеседника и направляетесь к ближайшему выходу.
Но, разумеется, по пути к нему вас останавливаю я. Видя меня, вы удивлены. «А вы что тут делаете?» — спрашиваете вы.
«Это же моя книга. Я могу вмешиваться, когда захочу, — поддразниваю я вас. — Скажите, поверили ли вы обещанию Хофштадтера построить самоосознающий кремниевый компьютер?»
«Не совсем, но это показалось мне интересной идеей», — отвечаете вы.
«Я знаю. Идея сложной иерархии восхищает. Но объяснил ли кто-нибудь, каким образом Хофштадтер собирается порождать разрывность в программах классического кремниевого компьютера, которые по самой своей природе непрерывны? Дело не столько в том, что программы связаны друг с другом обратными связями и становятся настолько переплетенными, что вы практически не можете прослеживать их причинную цепь. Дело вовсе не в этом. Действительно должна существовать разрывность, настоящий скачок за пределы системы — ненарушенный уровень. Иными словами, вопрос в том, каким образом наш мозг, рассматриваемый как классическая система, может иметь ненарушенный уровень? В философии материального реализма, на которой основываются классические системы, существует только один уровень реальности — материальный уровень. Поэтому где же в ней место для ненарушенного уровня?»
«Не спрашивайте, — просите вы. — А что предлагаете вы?»
«Позвольте рассказать вам историю. Однажды кто-то увидел, как суфийский учитель мулла Насреддин, стоя на коленях, добавляет йогурт к воде в пруду. "Что ты делаешь, Насреддин?" — спросил этот прохожий.
"Я пытаюсь делать йогурт", — отвечал мулла.
"Но так же невозможно делать йогурт!"
"А вдруг получится", — с оптимизмом сказал мулла».
Вы смеетесь. «Забавная история. Но истории ничего не доказывают», — возражаете вы.
«Слышали ли вы о кошке Шрёдингера?» — спрашиваю я в ответ.
«Да», — говорите вы, немного светлея.
«Согласно квантовой механике, по прошествии часа кошка наполовину жива и наполовину мертва. Теперь предположим, что мы установили машину, чтобы наблюдать за тем, жива кошка или мертва».
Вы не можете сдержаться: «Мне все это известно; машина принимает дихотомию кошки. Она не способна давать определенные показания, пока ее не выручает сознательный наблюдатель».
«Ладно. Но предположим, что мы создаем целую иерархию неодушевленных машин, последовательно наблюдающих показания каждой предыдущей машины. Разве не логично считать, что все они будут приобретать квантовую дихотомию состояния кошки?»
Вы согласно киваете. Это кажется вполне логичным.