13.5. Логические парадоксы
26. Описание листа бумаги
Осуществимо ли полное описание чистого листа бумаги на нем самом? Не напоминает ли приводимый далее детский стишок такое описание?
Допустим, что вам дали чистый лист бумаги и поручили описать этот лист на нем же. Вы пишете: это лист прямоугольной формы, белый, таких - то размеров, изготовленный из прессованных волокон древесины и т. д.
Описание как будто закончено. Но оно явно неполное! В процессе описания объект изменился: на нем появился текст. Поэтому к описанию нужно еще добавить: а кроме того, на этом листе бумаги написано: это лист прямоугольной формы, белый. и т. д. до бесконечности.
Кажется, что здесь парадокс, не так ли?
Хорошо известен детский стишок:
«У попа была собака,
Он ее любил.
Она съела кусок мяса,
Он ее убил.
Убил и закопал,
А на могиле написал:
У попа была собака.»
Смог ли этот любивший свою собаку поп когда-нибудь закончить надгробную надпись?
Можно ли построить по схеме излагаемого далее парадокса другое рассуждение, напоминающее этот парадокс, но говорящее не о каталогах, а использующее другой конкретный материал. Возможно ли вообще составление каталога всех каталогов, не содержащих ссылки на себя?
Некая библиотека решила составить библиографический каталог, в который входили бы все те и только те библиографические каталоги, которые не содержат ссылки на самих себя. Должен ли такой каталог включать ссылку на себя?
Интересно отметить, что составление каталога всех каталогов, не содержащих ссылки на самих себя, можно представить как бесконечный, никогда не завершающийся процесс.
Допустим, что в какой-то момент был составлен каталог, скажем К1, включающий все отличные от него каталоги, не содержащие ссылки на себя. С созданием К1 появился еще один каталог, не содержащий ссылки на себя. Так как задача заключается в том, чтобы составить полный каталог всех каталогов, не упоминающих себя, то очевидно, что К1 не является ее решением. Он не упоминает один из таких каталогов — самого себя. Включив в К1 это упоминание о нем самом, получим каталог К2, в котором упоминается К1, но не сам К2. Добавив к К2 такое указание, получим К3, который опять-таки неполон из-за того, что не упоминает самого себя. И так далее до бесконечности.
28. Суперигра
Является ли описываемая далее суперигра нормальной или нет? Какие другие парадоксы напоминают парадокс суперигры?
Назовем игру нормальной, если она завершается в конечное число ходов. Примерами нормальных игр могут служить шахматы, шашки, домино: эти игры всегда завершаются или победой одной из сторон, или ничьей. Игра, не являющаяся нормальной, продолжается бесконечно, не приводя ни к какому результату. Введем также понятие «суперигра»: первым ходом такой игры является установление того, какая именно игра должна играться. Если, например, вы и я намереваемся играть в суперигру и мне принадлежит первый ход, я могу сказать: «Давайте играть в шахматы». Тогда вы в ответ делаете первый ход шахматной игры, допустим, е2—е4, и мы продолжаем партию до ее завершения (в частности, в связи с истечением времени, отведенного турнирным регламентом). В качестве своего первого хода я могу предложить сыграть в крестики-нолики и т. п. Но игра, которая мною выбирается, должна быть нормальной; нельзя выбирать игру, не являющуюся нормальной.
Возникает проблема: является сама суперигра нормальной или нет? Предположим, что это — нормальная игра. Так как первым ее ходом можно выбрать любую из нормальных игр, я могу сказать: «Давайте играть в суперигру». После этого суперигра началась, и следующий ход в ней ваш. Вы вправе сказать: «Давайте играть в суперигру». Я могу повторить: «Давайте играть в суперигру», и таким образом процесс может продолжаться бесконечно. Следовательно, суперигра не относится к нормальным играм. Но в силу того, что суперигра не является нормальной, своим первым ходом в суперигре я не могу предложить суперигру; я должен выбрать нормальную игру. Но выбор нормальной игры, имеющей конец, противоречит тому доказанному факту, что суперигра не принадлежит к нормальным.
29. Парадокс повешенного
Возможны ли неожиданные события, в частности неожиданная казнь?
В статье У. Куайна, опубликованной еще в 1953 г., речь шла о судье, приговорившем подсудимого к неожиданной казни через повешение. Возник парадоксальный вопрос: возможны ли вообще неожиданные события?
Однажды утром в воскресенье судья, который никогда не лгал, сообщил приговоренному к казни: «Вы будете повешены в один из дней на следующей неделе. Когда именно вас повесят, вы узнаете только утром в день вашей казни».
Осужденный стал рассуждать таким образом.
Казнь не может состояться в следующее воскресенье, в последний день указанного судьей срока: если она не состоялась до этого дня, то о том, что она произойдет в воскресенье, я буду знать уже в субботу вечером. Значит, меня не могут повесить в воскресенье, поскольку казнь, как сказал судья, будет неожиданной, и я узнаю о ней только в утро дня казни.
Но в субботу меня тоже не могут повесить: поскольку я знаю, что в воскресенье меня не повесят, то если в пятницу утром ко мне не придут с объявлением о казни, уже днем в пятницу я буду твердо знать, что меня повесят в субботу. Казнь опять-таки не окажется неожиданной.
Рассуждая таким образом, осужденный исключил последовательно пятницу, четверг, среду, затем вторник и, наконец, понедельник. В итоге он пришел к выводу, что его вообще не могут повесить, поскольку ни один день недели не удовлетворяет условию неожиданности, указанному судьей.
О парадоксе повешенного написано столько работ, что он буквально утонул в море чернил. Предложены самые разные версии этого парадокса: с шаром, который спрятан в одном из нескольких ящиков; с тифом, сидящим за одной из закрытых дверей, и т. п.
Не ставя перед собой большой цели решения парадокса (хотя и она не исключена), попытайтесь воспроизвести рассуждения осужденного, что казнь не может оказаться неожиданной ни в один из дней предстоящей недели, и значит, она вообще не состоится.
| < Предыдущая | Следующая > |
|---|
