Как же называется эта книга?

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

По существу дело обстоит так, как если бы я спросил у вас: «Живут на свете два человека – Джон и Джек. Джон ростом выше Джека, а Джек выше Джона. Как, по-вашему, это может быть?» Лучший ответ, который вы могли бы дать в этом случае, гласил бы: «Вы либо лжете, либо ошибаетесь».

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.

Заметим, кстати, что один из жителей Поданка должен быть совершенно лысым.