Читать «Большое, малое и человеческий разум -0» онлайн - страница 80

Turing, A. M. (1937) On computable numbers with an application to the Entscheidungsproblem, Proc. Lond. Math. Soc. (ser. 2), 42, 230-65; a correction, 43, 544-6.

Turing, A. M. (1939) Systems of logic based on ordinals, P. Lond. Math. Soc, 45, 161-228.

von Neumann, J. (1955) Mathematical Foundations of Quantum Mechanics (Princeton University Press, Princeton).

Wigner, E. P. (1960) The unreasonable effectiveness of mathematics in the physical sciences, Commun. Pure Appl. Math., 13, 1—14 (имеется перевод: E. Вигнер. Этюды о симметрии. М.: — Мир, 1971; «Непостижимая эффективность математики в естественных науках», с. 182).

Zurek, W. Н. (1991) Decoherence and the transition from quantum to classical, Physics Today, 44 (No. 10), 36-44.

Глава 4. О мышлении, квантовой механике и актуализации возможностей. Абнер Шимони

ВВЕДЕНИЕ

Я всегда восхищался общим настроением и духом исследований Роджера Пенроуза, в которых строгая наука сочетается со страстным желанием познать природу вещей. В своем творчестве он следует возвышенному призыву Гильберта: «Мы должны знать, и мы будем знать»[2]. Что касается постановки проблем, то я полностью согласен с автором в формулировке трех его основных тезисов: во-первых, проблема мышления может изучаться научными методами; во-вторых, квантовомеханические идеи каким-то образом соотносятся с классической философской проблемой связи души и тела; и, в-третьих, квантовомеханическая проблема актуализации возможностей действительно относится к чистой физике и требует для своего разрешения модификации существующего формализма квантовой механики. Однако мое согласие с автором ограничивается только этими формулировками. Я скептически отношусь к доводам, выдвигаемым Пенроузом в защиту указанных тезисов, и надеюсь, что моя критика будет учтена им в дальнейших исследованиях.

4.1. О РОЛИ И МЕСТЕ МЫШЛЕНИЯ В ПРИРОДЕ

Приблизительно четверть объема трех первых глав этой книги и добрая половина предыдущей книги Пенроуза «Тени разума» (ниже я буду обозначать ее просто аббревиатурой TP) посвящены доказательствам неалгоритмической природы математических способностей человеческого мозга. В рецензии Хилари Патнам[3] на книгу TP уже подчеркивалось, что в доводах Пенроуза имеются явные пробелы. В частности, он не рассматривает возможность существования такой машины Тьюринга, которая может моделировать математические способности человека, но одновременно является настолько сложной, что человеческое сознание не может ее понять. Мне не показался убедительным ответ Пенроуза[4] на эту рецензию, хотя, должен сознаться, я не настолько знаком с так называемой теорией доказательств математической логики, чтобы судить о дискуссии с полной уверенностью. Однако мне кажется, что обсуждаемые доводы имеют прямое отношение к основной идее Роджера, так что, возможно, как говорят альпинисты, «он лезет не на ту вершину». Его основная идея состоит в том, что мысленные операции содержат нечто, недоступное для любого искусственного разума (т. е. любого компьютера, созданного человеком), но она оказывается несвязанной с предположением о неалгоритмическом характере математической деятельности человека. Интересно, что в TP Пенроуз не только подробно изложил доводы Гёделя, но и добавил две страницы (TP, с. 40-41 ) аргументов, почерпнутых из известной книги Джона Сирла Chinese room («Китайская комната»), доказывающих, что безупречная работа вычислительного автомата не «создает» понимания. Сущность доводов Сирла состоит в том, что человека подобно автомату вполне можно обучить повиноваться акустическим командам (подаваемым, например, на китайском языке, которым этот человек не владеет). Выполняя правильные вычисления по командам на незнакомом языке, человек может получить опыт работы в качестве автомата и сравнить его с нормальными ощущениями при вычислениях с пониманием их смысла. При этом не имеет никакого значения характер самих выполняемых математических действий (они могут быть, например, совершенно тривиальными) — разница между механическим вычислением и пониманием работы представляется очевидной.