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

редкая, чтобы не сказать уникальная, возможность проникнуть в существо одного из величайших достижений математической логики нашего века – в доказательство знаменитой теоремы Гёделя о неполноте. По занимательности, динамичности и напряженности действия книга Смаллиана не уступает лучшим образцам приключенческого жанра. Намного превосходя по глубине научного содержания большинство научно-популярных произведений и даже отдельные сугубо научные издания, книга Смаллиана помогает читателю совершить головокружительное восхождение от «дурацких штучек» (как автор называет элементарные логические задачи, не требующие для своего решения ничего, кроме находчивости, внимания и здравого смысла) к одной из вершин современной математической логики, на покорение которой обычно приходится затрачивать немало сил и средств. Попутно автор знакомит читателя со своенравной Порцией и ее не менее своенравными прапра…правнучками до N-го колена, проницательным инспектором Крэгом, искусными мастерами Челлини и Беллини, приглашает побывать на островах, населенных рыцарями, неизменно говорящими правду, и столь же неукоснительно лгущими лжецами, побывать в замке графа Дракулы Задунайского и, пережив множество увлекательных приключений, завершить необычайное путешествие на гёделевых и дважды гёделевых островах.

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

Профессор Смаллиан умеет неопровержимо доказать, что либо он, либо читатель не существует, причем неизвестно, какая из альтернатив истинна! Чтобы постичь столь высокое искусство доказательства, необходимо внимательно прочитать его книгу. Поэтому пока мы ограничимся утверждением (с истинностью которого не может не согласиться даже тот, кто не читал книги), что книга Смаллиана с неуловимо исчезающим названием «Как же называется эта книга?» (попробуйте объяснить кому-нибудь, как она называется, и вы поймете, что имеется в виду) попадет в руки либо читателю, интересующемуся математикой, либо читателю, для которого математика не представляет ни малейшего интереса (хотя заранее неизвестно, какая альтернатива уготована тому или иному экземпляру книги). С неменьшей уверенностью можно утверждать, что и тот и другой прочитают ее с интересом и пользой.

Ю. Данилов

Посвящается Линде Ветцель и Джозефу Бевандо, чьи мудрые советы были для меня неоценимы

Я хочу от души поблагодарить…

Прежде всего моих добрых друзей Роберта и Ильзу Коуэн и их десятилетнюю дочь Ленору, прочитавших рукопись этой книги и высказавших множество полезных советов. (В частности, Ленора угадала правильный ответ на ключевой вопрос главы 4: существует ли Трулюлю в действительности или его выдумал Шалтай-Болтай?)

Выражаю свою искреннюю признательность Григу и Мелвину Фиттингамт (авторам чудесной и полезной книги «Во славу простых вещей») за их интерес к моей работе и за то, что они обратили на нее внимание Оскара Коллиера из издательства «Прентис-холл». Думаю, что мне следует особо поблагодарить Мелвина за то, что он возник в этой книге (опровергнув своим появлением мое доказательство того, что он никак не мог бы появиться!).

Работать с Оскаром Коллиером и другими сотрудниками издательства «Прентис-холл» для меня было удовольствием. Миссис Илене Макгрэт, перепечатавшая рукопись книги, высказала много полезных советов, которые я с благодарностью принял. Выражаю признательность Дороти Лахман, весьма изобретательно находившей нужные детали и оттенки.

Я хотел бы еще раз подчеркнуть роль Джозефа Бевандо и Линды Ветцель, которым посвящена эта книга. Они были моими преданными и надежными помощниками на протяжении всей работы над книгой.

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

Рэймонд М. Смаллиан

Часть первая Логические развлечения

I. Одурачен или не одурачен?

1. Остался ли я в дураках?

Мое первое знакомство с логикой --">