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