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

Raymond M. Smullyan
3.87
92 ratings 8 reviews
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.
Genres: PuzzlesNonfictionMathematicsSciencePhilosophyTextbooksLogic
288 Pages

Community Reviews:

5 star
31 (34%)
4 star
32 (35%)
3 star
17 (18%)
2 star
10 (11%)
1 star
2 (2%)

Readers also enjoyed

Other books by Raymond M. Smullyan

Lists with this book

Category Theory in Context
On Formally Undecidable Propositions of Principia Mathematica and Related Systems
A Book of Abstract Algebra
Dover Mathematics
891 books • 37 voters
Machine Learning: An Introduction Math Guide for Beginners to Understand Data Science Through the Business Applications
Real and Complex Analysis
Visual Complex Analysis
Not Pop-Science - Mathematics
108 books • 9 voters