Рэймонд Смаллиан: Принцесса или тигр

В 30-х годах этого века психолог Дж. Струп, языковед Э. Бенвенист и логик К. Гёдель примерно в одно время выполнили три исследования, с разных сторон освещающие одно и то же явление. Друг о друге эти ученые едва ли знали. Все три работы впоследствии стали классикой для профессионалов — психологов, лингвистов и математиков соответственно, — но за пределами этих узких кругов стала известной разве что теорема Гёделя (современный немецкий поэт Ганс Магнус Энценсбергер даже посвятил ей стихотворение).

В экспериментах Струпа испытуемому предъявляли слово, написанное цветными чернилами, и просили быстро назвать цвет чернил. Оказалось, что если красными чернилами написано слово СИНИЙ, то время реакции увеличивается. Смысл слова как бы мешает названию цвета, поскольку не совпадает с ним.

Бенвенист изучал свойство некоторых речевых высказываний, которое можно назвать аутореферентностью — ссылкой на себя. Этим свойством обладают те высказывания, при описании смысла которых следует учитывать сами эти высказывания как элемент действительности. Например, в описание смысла фразы «Приказываю открыть парад» должно входить указание на то, что само произнесение этой фразы является сигналом к открытию парада. Почти все военные команды обладают аутореферентностью. Иногда это разделение смысла команды на две части — содержание команды и приказ к ее исполнению — может быть явным. В строевой команде, произносимой «Нале-во!», часть «нале-» указывает направление поворота, а «-во» является сигналом к исполнению; здесь первая часть перестает быть аутореферентной. Важно отметить, что, как и в опыте Струпа, аутореферентное высказывание может быть внутренне конфликтным. В нашем примере, если приказ отдается лицом, не имеющим на это права, то часть интерпретации «это есть приказ к исполнению» оказывается ложной.

Гёдель исследовал программу аксиоматизации математики. Существует ли, например, такая явная система постулатов о свойствах целых чисел (вроде аксиом евклидовой геометрии), из которой чисто логически можно вывести все истинные теоремы о них? (Ложные при этом не должны выводиться.) Объяснить точно содержание этой задачи не очень легко даже математику, который специально логикой не занимался. Трудность состоит в описании смысла слов «все» и «вывести»— сначала приходится построить целую теорию, формальную систему, внутри которой этими словами можно пользоваться как математическими терминами. Как бы то ни было, Гёдель показал — вопреки некоторым ожиданиям, — что ответ на поставленный вопрос отрицателен, полной системы аксиом арифметики нет. Причина же этого лежит в странных свойствах аутореферентных высказываний, тех же, что и выше. Старинный парадокс лжеца (лжет ли человек, говорящий «я лгу»?) выявляет такую же внутренне конфликтную ситуацию, как слово «синий», написанное красным цветом. Такой конфликт можно имитировать внутри любой достаточно богатой формальной системы, и в рамках этой системы он окажется неразрешимым.

В построении такой имитации и состоит главное техническое достижение Гёделя. Читатель этой книжки, сумевший продумать содержащуюся в ней версию теоремы Гёделя, вероятно, оценит остроумие разных конструкций, которые приходится изобретать. При этом стоит поразмыслить и над тем, почему в опытах Струпа и в парадоксе лжеца внутренне конфликтное аутореферентное высказывание организуется гораздо проще, чем в рассуждении Гёделя. Кажется, ответ связан с тем, что в человеческом сознании «речевая» система, воспринимающая сигнал, отделена от «образной», оценивающей его содержание. В гёделевской же ситуации их приходится реализовывать общими средствами.

Рэймонд М. Смаллиан всю свою профессиональную жизнь занимается вещами, так или иначе связанными с логикой вообще и гёделевой теоремой в частности. В своих математических работах он предложил несколько вариантов формальных систем, в которых идея Гёделя реализуется, по мнению коллег, особенно красиво. В своих же популярных книжках, как эта и предыдущая (Как же называется эта книга? — М.: Мир, 1981), он, подобно каждому писателю, пользуется неведомыми свойствами нашего мозга, чтобы заставить любого терпеливого читателя изумляться, застывать в ожидании, радостно предвкушать и вообще волноваться по поводу вещей, довольно сухих по меркам здравого смысла. Иногда профессор Смаллиан слегка перебарщивает — я не смог заставить себя решать задачки про упырей. Но в лучших головоломках книга заставляет работать речевую и образную системы восприятия так, что они смешно мешают друг другу, вроде ног сороконожки в известной истории.