Как вы это объясните?
И наконец, последний вопрос: как называется эта книга?
4. Удивительно, как много людей дают неверный ответ на вопрос этой головоломки. Они мысленно ставят себя на место человека, разглядывающего портрет, и рассуждают следующим образом: «Так как у меня нет ни братьев, ни сестер, то сыном моего отца могу быть я сам и никто другой. Следовательно, я смотрю на свой собственный портрет».
Первое утверждение абсолютно правильно: если у меня нет ни братьев, ни сестер, то сыном моего отца могу быть только я сам. Но отсюда отнюдь не следует, будто правильный ответ на вопрос задачи гласит: «Самого себя». Так можно было бы ответить, если бы во второй посылке стояло «и все же тот, кого мы видим на портрете, – сын моего отца». Но в условии задачи этого не говорится. Там утверждается, что «отец того, кто на портрете, – сын моего отца». Отсюда следует, что отец человека на портрете – я сам (так как я единственный сын своего отца). Поскольку я отец человека на портрете, то он должен быть моим сыном. Следовательно, правильный ответ состоит в том, что человек разглядывает портрет своего сына.
Если мои рассуждения не убедили скептически настроенного читателя (а я уверен, что многие из читателей не согласны с моими аргументами!), то их можно представить в более наглядном виде.
(1) Отец человека на портрете – сын моего отца.
Подставляя краткое «я» вместо более громоздкого выражения «сын моего отца», преобразуем утверждение (1) к следующему:
(2) Отец человека на портрете – я.
Теперь вы убедились, дорогой читатель?
5. В этом случае человек разглядывает портрет своего отца.
6. При заданных условиях задача логически противоречива: всесокрушающее пушечное ядро и несокрушимый столб не могут существовать одновременно. Если бы существовало всесокрушающее пушечное ядро, то оно по определению сшибало бы на своем пути любой столб. Следовательно, в этом случае не мог бы существовать несокрушимый столб. Наоборот, если бы существовал несокрушимый столб, то по определению его не могло бы сбить ни одно пушечное ядро. Следовательно, в этом случае не могло бы существовать всесокрушающее пушечное ядро. Таким образом, существование всесокрушающего пушечного ядра само по себе не приводит к логическому противоречию. Существование несокрушимого столба само по себе также вполне допустимо. Но утверждение о том, что всесокрушающее пушечное ядро и несокрушимый столб существуют одновременно, противоречиво.
По существу дело обстоит так, как если бы я спросил у вас: «Живут на свете два человека – Джон и Джек. Джон ростом выше Джека, а Джек выше Джона. Как, по-вашему, это может быть?» Лучший ответ, который вы могли бы дать в этом случае, гласил бы: «Вы либо лжете, либо ошибаетесь».
7. Обычно на вопрос задачи дают неправильный ответ: 25 носков. Если бы в задаче спрашивалось, сколько носков следует взять из ящика, чтобы среди них было по крайней мере 2 носка различного цвета, то правильный ответ действительно был бы таким: 25 носков. Но в нашей задаче речь идет о том, чтобы среди взятых из ящика носков по крайней мере 2 носка были одного цвета, поэтому правильный ответ задачи иной: 3 носка. Если я возьму из ящика 3 носка, то они либо все будут одного цвета (и в этом случае я заведомо смогу выбрать из них по крайней мере 2 носка одного цвета), либо 2 носка будут одного цвета, а третий носок другого, что позволит мне также составить пару одноцветных носков.
8. В ящике 4 носка.
9. На вопрос первой задачи ответ утвердительный. Предположим для определенности, что население Нью-Йорка составляет 8 миллионов человек. Если число волос на голове у каждого жителя Нью-Йорка неповторимо, то это означает, что должно существовать 8 миллионов различных целых положительных чисел, каждое из которых меньше 8 миллионов, а это невозможно.
Переходим ко второй задаче. Численность населения Поданка не превышает 518 человек. Действительно, предположим, что в городе Поданк проживает более 518 человек – например, 520 человек. В этом случае должны были бы существовать 520 различных целых неотрицательных чисел, отличных от 518 и меньших 520. Но это невозможно, так как существует ровно 520 целых чисел (и среди них нуль), каждое из которых меньше 520. Следовательно, существует лишь 519 чисел, отличных от 518, которые меньше 520.
Заметим, кстати, что один из жителей Поданка должен быть совершенно лысым. Почему?