Читаем Гёдель, Эшер, Бах. Эта бесконечная гирлянда полностью

Представьте, например, писателя, старающегося передать некие идеи, представленные набором образов у него в голове. Он не уверен, как эти образы ухитряются гармонично сочетаться в его воображении, и начинает экспериментировать, выражая вещи по-разному, пока не остановится на окончательном варианте. Знает ли он, почему выбрал именно этот вариант? Только приблизительно. Большая часть источников его решения, подобно айсбергу, находится глубоко под водой, невидимая глазу, — и он об этом знает. Или представьте себе программу-композитора. Ранее мы уже это обсуждали, спрашивая, когда можно будет назвать эту программу композитором, а не простым инструментом человеческого сочинителя. Возможно, что мы сможем согласиться с ее самостоятельностью, когда в программе появится самосознание, основанное на взаимодействии символов, и она достигнет равновесия между само-пониманием и само-непониманием. Неважно, если система действует по детерминистским законам, мы говорим, что она делает выбор, когда можем идентифицировать себя с описанием процессов, происходящих на высшем уровне работающей программы.

На низшем уровне, уровне машинного языка, эта программа будет выглядеть точно так же, как любая другая, только на высшем, «блочном» уровне могут возникнуть такие качества, как «воля», «интуиция» и «творческие способности».

Идея в том, что именно «водоворот» само-символа порождает запутанность и «Гедельность» мышления Меня иногда спрашивают:«Автореферентность — очень интересная и забавная штука, но действительно ли вы считаете, что в этом есть что-то серьезное?» Безусловно. Я думаю, что именно это окажется в сердце Искусственного Интеллекта и в фокусе всех усилий направленных на понимание того, как работает человеческий разум. Именно поэтому Гедель так органично вплетен в ткань моей книги.

Водоворот Эшера, где скрещиваются все уровни


Рис. 142. М. К. Эшер. Картинная галерея (литография, 1956).


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


Рис. 143. Абстрактная диаграмма «Картинной галереи» М. К. Эшера.

На этой диаграмме показаны три вида включения. Галерея физически включена в город («включение»); город художественно включен в картину («изображение»); картина мысленно включена в человека («представление»). Хотя эта диаграмма может показаться точной, на самом деле она произвольна, поскольку произвольно количество показанных на ней уровней. Ниже представлен другой вариант верхней половины диаграммы (рис. 144):


Рис. 144. Сокращенная версия предыдущей диаграммы.

Мы убрали уровень «города»; хотя концептуально он полезен, без него можно вполне обойтись. Рис. 144 выглядит так же, как диаграмма «Рисующих рук»: это двухступенчатая Странная Петля. Разделительные знаки произвольны, хотя и кажутся нам естественными. Это видно яснее из еще более сокращенной диаграммы «Картинной галереи»:


Рис. 145. Дальнейшее сокращение рис. 143.

Парадокс картины выражен здесь в крайней форме. Но если картина «включена в саму себя», то молодой человек тоже включен сам в себя? На этот вопрос отвечает рис. 146.


Рис. 146. Другой способ сокращения рис. 143.

Перейти на страницу:

Похожие книги

Простая одержимость
Простая одержимость

Сколько имеется простых чисел, не превышающих 20? Их восемь: 2, 3, 5, 7, 11, 13, 17 и 19. А сколько простых чисел, не превышающих миллиона? Миллиарда? Существует ли общая формула, которая могла бы избавить нас от прямого пересчета? Догадка, выдвинутая по этому поводу немецким математиком Бернхардом Риманом в 1859 году, для многих поколений ученых стала навязчивой идеей: изящная, интуитивно понятная и при этом совершенно недоказуемая, она остается одной из величайших нерешенных задач в современной математике. Неслучайно Математический Институт Клея включил гипотезу Римана в число семи «проблем тысячелетия», за решение каждой из которых установлена награда в один миллион долларов. Популярная и остроумная книга американского математика и публициста Джона Дербишира рассказывает о многочисленных попытках доказать (или опровергнуть) гипотезу Римана, предпринимавшихся за последние сто пятьдесят лет, а также о судьбах людей, одержимых этой задачей.

Джон Дербишир

Математика
Размышления о думающих машинах. Тьюринг. Компьютерное исчисление
Размышления о думающих машинах. Тьюринг. Компьютерное исчисление

Алану Тьюрингу через 75 лет после сто смерти, в 2009 году, были принесены извинения от правительства Соединенного Королевства за то, как с ним обошлись при жизни. Ученого приговорили к принудительной химической терапии, повлекшей за собой необратимые физические изменения, из-за чего он покончил жизнь самоубийством в возрасте 41 года. Так прервался путь исследователя, признанного ключевой фигурой в развитии компьютеров, автора первой теоретической модели компьютера с центральным процессорным устройством, так называемой машины Тьюринга. Ученый принимал участие в создании первых компьютеров и использовал их для расшифровки нацистских секретных кодов, что спасло много жизней и приблизило конец войны. Такова, по сути, трагическая история гения, которого подтолкнула к смерти его собственная страна, хотя ей он посвятил всю свою жизнь.

авторов Коллектив

Математика / Научпоп / Образование и наука / Документальное