Как же называется эта книга? (Смаллиан) - страница 115

Один философ испытал сильнейшее потрясение, узнав от Бертрана Расселла, что из ложного утверждения следует любое утверждение. Он спросил: «Вы всерьез считаете, что из утверждения “два плюс два – пять” следует, что вы папа римский?» Расселл ответил утвердительно. «И вы можете доказать это?» – продолжал сомневаться философ. «Конечно!» – последовал уверенный ответ, и Расселл тотчас же предложил такое доказательство.

1) Предположим, что 2 + 2 = 5.

2) Вычтем из обеих частей по 2: 2 = 3.

3) Переставим правую и левую части: 3 = 2.

4) Вычтем из обеих частей по 1: 2 = 1.

Папа римский и я – нас двое. Так как 2 = 1, то папа римский и я – одно лицо. Следовательно, я – папа римский.

245. Что лучше?

Что лучше: вечное блаженство или бутерброд с ветчиной? На первый взгляд кажется, что вечное блаженство лучше, но в действительности это не так! Судите сами. Что лучше вечного блаженства? Ничто. А бутерброд с ветчиной лучше, чем ничего. Следовательно, бутерброд с ветчиной лучше, чем вечное блаженство.

246. Какие часы лучше?

Эту головоломку придумал Льюис Кэрролл. Какие часы лучше: те, которые вообще не идут, или те, которые отстают на одну минуту в сутки? По мнению Льюиса Кэрролла, часы, которые вообще не идут, лучше: они показывают точное время дважды в сутки, в то время как часы, которые отстают на одну минуту в сутки, показывают точное время лишь раз в два года. «Но что толку от того, что стоящие часы показывают точное время дважды в сутки, – возразите вы, – если нельзя сказать, когда это происходит?»

Почему нельзя? Представьте себе, что часы остановились ровно в восемь часов (утра или вечера – неважно). Разве не ясно, что в восемь часов утра и в восемь часов вечера они будут показывать точное время? «А как узнать, – спросите вы, – что наступило восемь часов?» Нет ничего проще! Не сводите глаз с часов, и в тот момент, когда они покажут точное время, наступит восемь часов (чего именно – утра или вечера – не так уж важно, так как отличить утро от вечера сумеет всякий).

247. Доказательство того, что существует лошадь с тринадцатью ногами

Это доказательство не оригинально, оно частично восходит к математическому фольклору.

Требуется доказать, что существует по крайней мере одна лошадь, у которой тринадцать ног. Выкрасим всех лошадей в мире либо в синий, либо в красный цвет по следующей схеме. Прежде чем красить лошадь, сосчитаем, сколько у нее ног. Если у лошади ровно тринадцать ног, то выкрасим ее в синий цвет. Если же у лошади число ног окажется либо меньше, либо больше тринадцати, то выкрасим ее в красный цвет. Предположим, что мы выкрасили всех лошадей в мире. У синих лошадей по тринадцать ног, у красных число ног отлично от тринадцати. Выберем наугад какую-нибудь лошадь. Если она окажется синего цвета, то наше утверждение доказано. Если же она будет красного цвета, то выберем наугад вторую лошадь. Предположим, что вторая лошадь окажется синего цвета. Тогда наше утверждение опять-таки доказано. А что если вторая лошадь красного цвета? Тогда это будет лошадь другого цвета, и мы приходим к противоречию: откуда взяться другому цвету, если каждую лошадь в мире мы выкрасили только в один цвет?