Ebook: The Gödelian Puzzle Book: Puzzles, Paradoxes and Proofs

Cover; Title Page; Copyright Page; Preface; Contents; Part I: Puzzles, Paradoxes, Infinity and other Curiosities; Chapter I A Chatty Personal Introduction; Chapter II Some Curious Adventures; Chapter III The Strange Island of Musica; Chapter IV Four Metapuzzles; Chapter V Certified Knights and Knaves; Chapter VI Paradoxical?; Chapter VII Infinity and Induction; Chapter VIII Introducing Self-Reference; Chapter IX Fixed Point Puzzles; Chapter X Some Curious Systems; Chapter XI How to Stump a Decision Machine; Chapter XII Some Additional Gödelian Puzzles.;These recreational logic puzzles provide entertaining variations on Gd̲el's incompleteness theorems, offering ingenious challenges related to infinity, truth and provability, undecidability, and other concepts. Written by a distinguished mathematician and creator of numerous popular puzzle books, this volume requires no background in formal logic and will delight readers of all ages.