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