267. Остров S1

Однажды мне удалось открыть еще один дважды гёделев остров S1, который показался мне еще более интересным, чем остров S. Для острова S1 выполнены оба условия E1, E2, но не известно, выполняется ли условие C. (Напомним, что, согласно этому условию, все островитяне, не состоящие членами клуба C, состоят членами одного клуба.) По-видимому, невозможно доказать, что на острове S1 непременно есть не признанный рыцарь или что на том же острове есть не отъявленный лжец. Невозможно, по-видимому, доказать также, что все рыцари не состоят членами одного клуба или что все лжецы не состоят членами одного клуба. Но следующие утверждения доказать можно:

а) На острове S1 найдется либо не признанный рыцарь, либо не отъявленный лжец.

б) Не может быть, чтобы все рыцари состояли членами одного клуба и все лжецы состояли членами одного клуба.

Решение. Докажем сначала утверждение (б). Предположим, что все рыцари состоят членами одного клуба и все лжецы состоят членами одного клуба. Тогда найдутся островитяне A, B, о которых известно следующее: A утверждает, что B — лжец, а B утверждает, что A — рыцарь. Но это, как мы уже знаем, невозможно (см. предыдущую задачу или задачу 259 в предыдущей главе). Итак, невозможно, чтобы все рыцари состояли членами одного клуба и все лжецы также состояли членами одного клуба. Значит, либо все рыцари не состоят членами одного клуба, либо все лжецы не состоят членами одного клуба. Если все рыцари не состоят членами одного клуба, то непременно найдется по крайней мере один не признанный рыцарь (поскольку все признанные рыцари состоят членами одного клуба). Если все лжецы не состоят членами одного клуба, то непременно найдется по крайней мере один не отъявленный лжец. Но какой именно случай представится на острове, мы не знаем. Итак, утверждение (а) доказано.

Альтернативное (и более интересное) доказательство того, что непременно найдется не признанный рыцарь или не отъявленный лжец, состоит в следующем. Так как признанные рыцари состоят в одном клубе и отъявленные лжецы состоят в одном клубе, то найдутся островитяне A, B, высказывающие следующие утверждения:

A: B — отъявленный лжец.

B: A — признанный рыцарь.

Предположим, что A — рыцарь. Тогда его утверждение истинно. Значит, B — отъявленный лжец, поэтому его утверждение ложно. Следовательно, A — не признанный рыцарь. Значит, A — не признанный рыцарь. Если же A — лжец, то высказанное B утверждение ложно, поэтому B — лжец. Высказанное A утверждение также ложно, поэтому B — не отъявленный лжец. Следовательно, B — не отъявленный лжец.

Итак, либо A — не признанный рыцарь, либо B — не отъявленный лжец (но мы опять не знаем, какая из двух альтернатив истинна).

Эта задача очень напоминает одну из задач о парах шкатулок (задачу 136 из гл. 9), в которой одна из двух шкатулок (какая именно — неизвестно) изготовлена либо Беллини, либо Челлини (но кем именно — опять-таки неизвестно).