These brand-new recreational logic puzzles provide entertaining variations on Gödel's incompleteness theorems, offering ingenious challenges related to infinity, truth and provability, undecidability, and other concepts. Created by the celebrated logician Raymond Smullyan, the puzzles require no background in formal logic and will delight readers of all ages.
The two-part selection of puzzles and paradoxes begins with examinations of the nature of infinity and some curious systems related to Gödel's theorem. The first three chapters of Part II contain generalized Gödel theorems. Symbolic logic is deferred until the last three chapters, which give explanations and examples of first-order arithmetic, Peano arithmetic, and a complete proof of Gödel's celebrated result involving statements that cannot be proved or disproved. The book also includes a lively look at decision theory, better known as recursion theory, which plays a vital role in computer science.

• We started tracking this book on March 19, 2014.
• This book was $9.99 when we started tracking it.
• The price of this book has changed 36 times in the past 3,690 days.
• The current price of this book is $9.99 last checked 6 hours ago.
• This book is at its lowest price in the past 90 days.
• This lowest price this book has been offered at in the past year is $9.36.
• The lowest price to date was $8.87 last reached on November 12, 2020.
• This book has been $8.87 one time since we started tracking it.
• The highest price to date was $14.18 last reached on December 12, 2017.
• This book has been $14.18 one time since we started tracking it.

• Science & Math

• Text-to-Speech: Disabled
• Lending: Disabled