To Mock a Mockingbird: and Other Logic Puzzles

In this entertaining and challenging collection of logic puzzles, Raymond Smullyan, author of Forever Undecided, continues to delight and astonish us with his gift for presenting some of the most important mathematical thinking of our time in the thoroughly pleasurable form of puzzles. In the first part of the book, he transports us once again to that wonderful realm where knights, knaves, twin sisters, quadruplet brothers, gods, demons, and mortals either always tell the truth or always lie, and where truth-seekers face a variety of fascinating problems. The section culminates in an enchanting and profound metapuzzle in which Inspector Craig of Scotland Yard gets involved in a search for the Fountain of Youth on the Island of Knights and Knaves. In the second part of To Mock a Mockingbird, we accompany the Inspector on a summer-long adventure into the field of combinatory logic, a branch of logic that plays an important role in computer science and artificial intelligence. His adventure, which includes enchanted forests, talking birds, bird sociologists, and a classic quest, provides us along the way with the pleasure of solving puzzles of increasing complexity until we reach the Master Forest and, thanks to Godel's famous theorem, the final revelation.