Роджер Пенроуз - Большое, малое и человеческий разум
Первые 200 страниц книги посвящены анализу и критическому рассмотрению различных идей, связанных с использованием доводов Гёделя-Тьюринга. Этому обсуждению придана форма диалога между AI-экспертом и роботом.
Давайте вернемся к началу обсуждения. Доводы самого Гёделя относятся к конкретным утверждениям относительно чисел, но заметьте, что Гёдель говорит лишь о том, что не существует вычислительных процедур, которые позволяют описывать свойства натуральных чисел. Однако, несмотря на отсутствие вычислительных методов их описания, любой ребенок прекрасно понимает, что представляют собой такие числа. Для объяснения их сущности достаточно всего лишь показать ребенку разное число разных объектов (см., например, рис. 3.9), глядя на которые любой ребенок довольно легко и быстро приходит к абстрактному пониманию сущности натуральных чисел. При этом никто не излагает детям теорию и набор вычислительных правил, связанных с натуральными числами, — дети сразу прекрасно «понимают» сущность идеи натуральных чисел. Я хочу подчеркнуть, что они способны каким-то образом входить «в контакт» с платоновским миром математических понятий и идей. Хотя многим людям такой подход к проблеме математического восприятия не очень нравится, мне лично представляется, что нечто подобное происходит на самом деле. В любом случае натуральные числа, существующие где-то в мире платоновских идей, одновременно присутствуют где-то «здесь», в результате чего наша способность «понимать» мир делает окружающую нас действительность более доступной. Мы не обладали бы этой способностью, если бы были просто неразмышляющими компьютерами. Теорема Гёделя свидетельствует как раз о том, что постижение сущности и природы натуральных чисел осуществляется не при помощи каких-то правил, а за счет их взаимодействия или контакта с платоновским миром, удачным примером чего может служить процесс понимания того, чем являются натуральные числа.
Рис. 3.9. Ребенок вполне способен воспринимать мир абстрактных платоновских идей, рассматривая простые рисунки.
Я утверждаю, что математическое понимание вообще сводится вовсе не к вычислительной работе мозга, а к чему-то совершенно иному, связанному с нашей способностью осознавать или понимать окружающий мир. Разумеется, вы можете возразить мне, что «невычислимый» характер математического восприятия вовсе не означает, что и другие формы сознания являются «невычислимыми». Однако мне кажется, что предложенная идея достаточно обоснованна хотя бы потому, что не очень умно проводить разграничение между математическими и всеми остальными видами «понимания». Именно эту идею я пытался внушить, демонстрируя вам рис. 3.7. Понимание вовсе не следует считать характерной или даже профессиональной характеристикой математиков, оно является весьма общей чертой, присущей всем человеческим существам, и эта способность принципиально не является вычислительной по своей природе, вне всякой зависимости от математики. Нельзя также провести границу между пониманием и человеческим сознанием вообще, поэтому (несмотря на мои более ранние утверждения, что я ничего не знаю о человеческом сознании) мне кажется, что понимание является просто примером сознания (или хотя бы чем-то похожим на него). Впрочем, я также не могу провести четкую границу между сознанием человека и животного. Я прекрасно пониманию, что эта фраза может многим не понравиться, но я на самом деле думаю, что люди очень похожи на многих животных, и (хотя мы соображаем чуть лучше, чем некоторые наши биологические родственники) они также способны к пониманию и обладают основами сознания.
Поэтому «невычислимость» каких-то аспектов сознания (в частности, связанных с математическим пониманием) может служить, на мой взгляд, достаточно убедительным доказательством невычислимой природы всех процессов познания.
Что, в сущности, я подразумеваю под термином «невычислимость»? Я уже много говорил об этом, и мне хочется привести еще один конкретный пример, демонстрирующий невычислимость в моем понимании. Для этого я опишу некоторую игрушечную модель вселенной типа тех, которые изобретают физики, когда не могут найти себе лучшего занятия (вообще говоря, это не худшее занятие, которое можно придумать). Эта модель отражает некоторые особенности Вселенной, однако ее не следует, естественно, соотносить с реальной Вселенной. Роль этой скромной модели сводится лишь к иллюстрации некоторых, совершенно определенных характеристик.
В такой модели рассматриваются лишь дискретные моменты времени (мы можем обозначить их просто 0, 1, 2, 3, 4, ...), каждому из которых соответствует некоторое состояние Вселенной, описываемое некоторым набором так называемых полиомино. Вы, естественно, вправе спросить меня, что означает этот новый термин? Полиомино представляет собой просто некий набор квадратиков, способных заполнять плоскость, объединяясь друг с другом (рис. 3.10). Меня сейчас интересуют наборы таких полиомино. Состояние вселенной в предлагаемой игрушечной модели задается только двумя реальными и конечными наборами полиомино. На рис. 3.10 приведены все возможные конечные множества полиомино, перечисленные в соответствии с некоторой вычислительной процедурой S0, S1, S2, ... Как выглядит динамика или эволюция этой забавной игрушечной вселенной? Ее развитие начинается в некоторый начальный момент времени с набора полиомино (S0, S0), а затем продолжается в виде все новых пар множеств полиомино, отбираемых по некоторому заданному правилу. В соответствии с правилом отбора учитываются только такие наборы плиток полиомино, которые позволяют заполнить плоскость целиком. Отбор, следовательно, сводится лишь к решению следующей задачи: можно ли заполнить плоскость плитками заданного набора таким образом, чтобы на плоскости не было «зазоров» или «накладок»? Предположим далее, что в некоторый момент времени наша игрушечная вселенная свелась к двум конкретным наборам полиомино (Sq, Sr), определяющим всю дальнейшую эволюцию данной модели. Если вы можете покрыть всю плоскость набором полиомино Sq, то вы переходите к следующему полиомино (Sq+1, т.е. получаете для следующего момента времени пару множеств (Sq+1, Sr). Если же вам это не удается, вы должны поменять наборы местами, что дает вам новую пару (Sr, Sq+1). Чем нам может быть интересна эта очень простая и даже несколько примитивная модель? Суть рассматриваемой модели в том, что хотя ее эволюция носит совершенно детерминистический характер (ведь выше я задал абсолютно ясную и полностью определенную процедуру развития), она не является вычислимой. Дело в том, что Робертом Бергером была доказана теорема, в соответствии с которой не существуют компьютерные операции, позволяющие моделировать развитие этой вселенной, поскольку можно строго показать, что не существуют алгоритмы, позволяющие решить задачу о заполнении плоскости набором полиомино.
Рис. 3.10. Невычисляемая, но детерминистическая игрушечная модель вселенной, различные состояния которой задаются парой конечных наборов полиомино.
Если первый заполняет плоскость целиком, то временная эволюция осуществляется следующим образом: численный номер первого набора возрастает на единицу, а второй набор используется для «обозначения времени». Если же первый набор не покрывает плоскость целиком, наборы следует поменять местами и продолжить операцию. Эволюция системы, описываемая парой таких наборов полиомино, должна выглядеть следующим образом:
(S0, S0), (S0, S1), (S1, S1), (S2, S1), (S3, S1), (S4, S1), ..., (S278, S251), (S251, S279), (S252, S279), ...
Рассмотренная модель наглядно демонстрирует различие между вычислимостью и детерминизмом. На рис. 3.11 приведены некоторые примеры заполнения плоскости плитками полиомино различных размеров и форм. Легко видеть, что в случаях а и б полное заполнение плоскости осуществляется без труда. В случае в два типа плиток по отдельности не могут заполнить плоскость целиком (на рисунке указаны неизбежно возникающие «зазоры», или «дырки», в покрытии, однако вместе они легко заполняют плоскость). В случае г плоскость можно заполнить плитками одного типа, однако это достигается только за счет достаточно сложной «подгонки».
Рис. 3.11.
Покрытие бесконечной евклидовой плоскости различными наборами плиток полиомино (разрешено также использование зеркальных «отражений» этих плиток). Ни один из двух типов плиток набора в не может заполнить плоскость целиком.
