Share
The Gödelian Puzzle Book: Puzzles, Paradoxes and Proofs
Raymond M. Smullyan
(Author)
·
Dover Publications
· Paperback
The Gödelian Puzzle Book: Puzzles, Paradoxes and Proofs - Smullyan, Raymond M.
£ 12.14
£ 13.49
You save: £ 1.35
Choose the list to add your product or create one New List
✓ Product added successfully to the Wishlist.
Go to My WishlistsIt will be shipped from our warehouse between
Tuesday, May 07 and
Wednesday, May 08.
You will receive it anywhere in United Kingdom between 1 and 3 business days after shipment.
Synopsis "The Gödelian Puzzle Book: Puzzles, Paradoxes and Proofs"
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.
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
All books in our catalog are Original.
The book is written in English.
The binding of this edition is Paperback.
✓ Producto agregado correctamente al carro, Ir a Pagar.