Новый ум короля

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

Рассуждение начинается в области вычислимости. Машины Тьюринга, алгоритмические процедуры и ограничения формальных систем приводят к теоремам Гёделя о неполноте. Пенроуз истолковывает эти результаты как вызов представлению об уме исключительно как о механической обработке символов. Однако такое толкование вызвало философские и технические возражения: существование неразрешимых утверждений в некоторых системах само по себе не доказывает, что человек не поддается никакому вычислительному описанию. Интеллектуальная сила этого исследования состоит именно в требовании уточнить, что мы утверждаем, когда приписываем системе способность понимать.

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

Опубликованная в 1989 году, когда искусственный интеллект и когнитивные науки испытывали новые модели разума, книга сохраняет тревожную актуальность. Ее ценность не зависит от согласия со всеми выводами автора. Она заставляет сопоставить пределы математического доказательства, основания физики и загадку субъективного опыта. Прежде чем считать вопрос о связи разума и машины решенным, Пенроуз предлагает спросить, достаточно ли хорошо мы знаем природу того и другого.