Рэймонд Смаллиан - Как же называется эта книга

Лжец не мог бы утверждать, что он не признанный рыцарь (поскольку утверждение о том, что лжец - не признанный рыцарь, истинно). Следовательно, островитянин, высказавший это утверждение, должен быть рыцарем. Поскольку он рыцарь, то высказываемые им утверждения истинны, поэтому он не признанный рыцарь. Значит, островитянин, высказавший это утверждение - рыцарь, но не признанный рыцарь.

По условию E2 все отъявленные лжецы состоят членами одного клуба. Следовательно (по условию G), существует по крайней мере один островитянин, утверждающий, что он отъявленный лжец (он утверждает, что состоит членом клуба отъявленных лжецов). Этот островитянин не может быть рыцарем (так как рыцарь не мог бы утверждать, что он лжец). Значит, он лжец.

Следовательно, его утверждение ложно, поэтому он не отъявленный лжец. Значит, он лжец, но не отъявленный лжец.

Решение задачи 264б. Если бы все лжецы состояли членами одного клуба, то по крайней мере один островитянин утверждал бы, что он лжец. Но ни рыцарь, ни лжец не могли бы высказать такое утверждение. Следовательно, все лжецы не состоят в одном клубе. Если бы все рыцари состояли членами одного клуба, то (по условию C) все лжецы также состояли бы членами одного клуба, что, как мы доказали, невозможно.

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

[Примечания. 1. Задача 264б дает еще одно решение задачи 264а. Хотя оно и неконструктивно, но тем не менее несколько проще предыдущего.

Если бы каждый рыцарь был признанным, то множество всех рыцарей совпадало бы с множеством признанных рыцарей, что невозможно, так как (по условию E1) все признанные рыцари состоят в одном клубе, а все рыцари (как показано в решении задачи 2646) не состоят в одном клубе. Таким образом, предположение о том, что все рыцари признанные, приводит к противоречию.

Следовательно, должен существовать по крайней мере один непризнанный рыцарь. Аналогично если бы. все лжецы были отъявленными, то множество отъявленных лжецов совпадало бы с множеством всех лжецов, что невозможно, так как все отъявленные лжецы состоят членами одного клуба, в то время как все лжецы не состоят членами одного клуба.

В отличие от только что приведенного доказательства наше первое доказательство позволяет установить дополнительные подробности: всякий; кто утверждает, что он непризнанный рыцарь, должен быть непризнанным рыцарем, а всякий, кто утверждает, что он отъявленный лжец, должен быть неотъявленным лжецом.

2. Доказывая, что все лжецы не состоят членами одного клуба, мы использовали только условие G. Условия E1, E2 и C нам не понадобились. Значит, из одного лишь условия G следует, что все лжецы не состоят членами одного клуба. Более того, условие G эквивалентно утверждению, что все лжецы не состоят членами одного клуба. Действительно, будем считать известным, что все лжецы не состоят членами одного клуба. Тогда условие G можно вывести следующим образом.

Выберем любой клуб C. Так как все лжецы не состоят членами одного клуба, то C не множество всех лжецов.

Следовательно, либо членом клуба C состоит какой-нибудь рыцарь, либо какой-нибудь лжец не состоит членом клуба C. Если какой-нибудь рыцарь состоит членом клуба C, то он заведомо утверждает, что состоит членом этого клуба (так как он всегда говорит только правду). Если бы какой-нибудь лжец не состоял членом клуба C, то он утверждал бы, что состоит членом этого клуба (так как он лжет). Следовательно, и в том и в другом случае кто-нибудь утверждает, что состоит членом клуба C.]

265. Гёделевы острова в общем и целом.

Рассмотрим теперь любой остров, населенный рыцарями и лжецами, на котором имеются клубы. Предполагается, что, кроме рыцарей и лжецов, на острове нет других обитателей.

Назовем остров гёделевым, если выполняется условие G, то есть если для любого клуба C найдется по крайней мере один островитянин, утверждающий, что состоит членом этого клуба.

Как-то раз инспектор Крэг посетил такой остров, населенный рыцарями и лжецами, состоящими членами клубов. Крэгу (человеку с необычайно широким кругом интересов, теоретические познания которого не уступают его практической сметке) захотелось узнать, находится ли он на гёделевом острове. Ему удалось собрать следующие сведения.

Каждый клуб носит имя одного из островитян, и у каждого островитянина есть клуб, названный его именем. Островитянин не обязательно состоит членом клуба, носящего его имя.

Островитянина, который состоит членом клуба, названного в его честь, называют номинабельным. Островитянина, который не состоит членом клуба, названного его именем, называют неноминабельным. Об островитянине X говорят, что он друг островитянина Y, если X подтверждает номинабельность островитянина Y.