Gödelian Puzzle Book

Raymond Smullyan received his PhD from Princeton University and has taught at Dartmouth, Princeton, Indiana University, and New York's Lehman College. Best known for his mathematical and creative logic puzzles and games, he is also a concert pianist and a magician. He is the author of over a dozen books of logic puzzles and texts on mathematical logic.

• Part I Puzzles, Paradoxes, Infinity and other CuriositiesI A Chatty Personal IntroductionII Some Curious AdventuresIII The Strange Island of MusicaIV Four MetapuzzlesV Certified Knights and KnavesVI Paradoxical?VII Infinity and InductionVIII Introducing Self-ReferenceIX Fixed Point PuzzlesX Some Curious SystemsXI How to Stump a Decision MachineXII Some Additional Godelian Puzzles Part IIXIII Truth and ProvabilityXIV Syntactic Incompleteness TheoremsXV Provability in StagesXVI Formal Systems and RecursionXVII Incompleteness and UndecidabilityXVIII First-Order ArithmeticXIX Arithmetic Truth is Not Formalizable XX The Incompleteness of Peano ArithmeticReferences