For the best experience, please enable Javascript
x
Warning - This version of Internet Explorer is out of date. It has known security flaws and may not display all features of this website correctly. Please consider updating this browser.

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

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

By: Raymond M. Smullyan

  • Reg. Price › $14.95
  • eBook
  • Sale Price › $11.96
  • Paperback + eBook
  • Reg. Price › $16.45
  • Share this book:
  • Share on Google+

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.

Dover Original.
AvailabilityUsually ships in 24 to 48 hours
ISBN 100486497054
ISBN 139780486497051
Author/EditorRaymond M. Smullyan
Page Count288
Dimensions5 3/8 x 8 1/2

You might also Like...

Product Review

<--!Google Universal Analytics Code!-->
Out of Stock Notification:
Coming Soon: