|
|
Product Description
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.
Customers Who Bought This Item Also Bought
- Alice in Puzzle-Land: A Carrollian Tale for Children Under Eighty (Dover Recreational Math)
- The Chess Mysteries of Sherlock Holmes: Fifty Tantalizing Problems of Chess Detection (Dover Recreational Math)
- Satan, Cantor and Infinity: Mind-Boggling Puzzles (Dover Recreational Math)
- The Riddle of Scheherazade: And Other Amazing Puzzles
- What Is the Name of This Book?: The Riddle of Dracula and Other Logical Puzzles (Dover Recreational Math)
- The Lady or the Tiger?: and Other Logic Puzzles (Dover Recreational Math)
- To Mock a Mockingbird
- A Beginner's Guide to Mathematical Logic (Dover Books on Mathematics)
- Beginner's Further Guide To Mathematical Logic, A
- First-Order Logic (Dover Books on Mathematics)
*If this is not the "The Gödelian Puzzle Book: Puzzles, Paradoxes and Proofs" product you were looking for, you can check the other results by clicking this link
.
Details were last updated on Nov 9, 2024 07:16 +08.
