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

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

В платоновском диалоге «Евтидем» Сократ, расхваливая непостижимое умение братьев-софистов Евтидема и Дионисидора вести спор, говорит: «Столь велико их искусство, что они могут опровергнуть любое утверждение, будь оно истинно или ложно». Далее Сократ описывает в диалоге, как Дионисидор доказывает одному из собеседников по имени Ктесипп, что отец Ктесиппа – пес.

Д и о н и с и д о р. Скажи, есть ли у тебя пес?

К т е с и п п. Да, и, должен признаться, препаршивый.

Д и о н и с и д о р. А нет ли у него щенков?

К т е с и п п. Как не быть! И все они похожи на него.

Д и о н и с и д о р. И твой пес – их отец?

К т е с и п п. Да, я видел своими глазами, как он покрыл мать щенков.

Д и о н и с и д о р. И этот пес твой?

К т е с и п п. Вне всякого сомнения.

Д и о н и с и д о р. Итак, он отец и он твой. Следовательно, он твой отец, а щенки доводятся тебе братьями.

Вдохновленный примером великих софистов, я докажу вам много странного и удивительного.

А. ДОКАЗАТЕЛЬСТВА ВСЯКОЙ ВСЯЧИНЫ

238. Доказательство того, что либо Траляля, либо Труляля существует

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

Представьте себе, что перед нами лист бумаги с тремя утверждениями:

1) Траляля не существует.

2) Труляля не существует.

3) По крайней мере одно из утверждений на этом листе ложно.

Рассмотрим утверждение (3). Если оно ложно, то неверно, что по крайней мере одно из трех утверждений ложно. Значит, все три утверждения истинны. В частности, истинно утверждение (3), и мы пришли бы к противоречию. Следовательно, утверждение (3) не может быть ложно. Значит, оно должно быть истинно. Отсюда мы заключаем, что по крайней мере одно из трех утверждений в действительности ложно. Но утверждение (3) не может быть ложным. Следовательно, ложно либо утверждение (1), либо утверждение (2). Если ложно утверждение (1), то существует Траляля. Если ложно утверждение (2), то существует Труляля. Следовательно, либо Траляля, либо Труляля существует.

Однажды я выступал с лекцией о своих логических задачах-головоломках в студенческом математическом клубе. Собравшимся меня представил логик Мелвин Фиттинг (мой бывший студент, который хорошо знал меня). Его краткая речь великолепно отразила дух этой книги. Он сказал: «Я имею честь представить вам профессора Смаллиана, который докажет вам, что либо он не существует, либо вы не существуете, но кто именно не существует, вам неизвестно».

239. Доказательство того, что Трулюлю существует

Представьте, что перед нами лист бумаги с двумя утверждениями:

1) Трулюлю существует.

2) Оба утверждения на этом листе ложны.

Рассмотрим сначала утверждение (1). Если бы оно было истинно, то оба утверждения были бы ложны. В частности, было бы ложно утверждение (2), и мы пришли бы к противоречию. Следовательно, утверждение (2) ложно. Значит, неверно, что оба утверждения ложны, поэтому по крайней мере одно из них истинно. Так как утверждение (2) не истинно, то истинно должно быть утверждение (1). Следовательно, Трулюлю существует.

240. Существует ли Дед Мороз?

Должен сказать, что существование Деда Мороза многие подвергают сомнению. Несмотря на скептицизм, столь распространенный в наше время, я приведу три доказательства, не оставляющих ни малейшего сомнения в том, что Дед Мороз существует и должен существовать. Все три доказательства являются вариантами метода, заимствованного мною у Дж. Баркли Россера. Этот метод позволяет доказать что угодно.

Первое доказательство. Изложим это доказательство в форме диалога.

П е р в ы й л о г и к. Если не ошибаюсь, Дед Мороз существует.

В т о р о й л о г и к. Разумеется, Дед Мороз существует, если вы не ошибаетесь.

П е р в ы й л о г и к. Следовательно, мое утверждение истинно.

В т о р о й л о г и к. Разумеется!

П е р в ы й л о г и к. Итак, я не ошибся, а вы согласились с тем, что если я не ошибаюсь, то Дед Мороз существует. Следовательно, Дед Мороз существует.

Второе доказательство. Приведенное выше доказательство представляет собой не что иное, как беллетризованный вариант следующего доказательства, предложенного Дж. Баркли Россером:

Если это утверждение истинно, то Дед Мороз существует.

В основе этого доказательства лежит уже знакомая нам идея. С ней мы встречались, когда доказывали, что если обитатель острова рыцарей и лжецов высказывает утверждение «если я рыцарь, то то-то и то-то», то он должен быть рыцарем, а «то-то и то-то» должно быть истинно.