This book is intended for those who would enjoy understanding the Gödel incompleteness without absorbing the usual symbolic abstractions used in mathematical logic. Instead, it frames the buildup as social puzzles involving people who lie or tell the truth under various conditions, and what you can therefore believe based on what they say. This is not to say that the material does not have its challenges, but it allows a broader audience of people with the ability to understand logic problems/puzzles to grapple with the material, i.e. it makes parts of the formal theory concrete enough that someone with more mathematical talent than training could enjoy them. ( )