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

Condition - Very Good
The item shows wear from consistent use, but it remains in good condition and functions properly. Item may arrive with damaged packaging or be repackaged. It may be marked, have identifying markings on it, or have minor cosmetic damage. It may also be missing some parts/accessories or bundled items.

The Gödelian Puzzle Book: Puzzles, Paradoxes and Proofs (Dover Math Games & Puzzles)

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.
Country USA
Brand Dover Publications
Manufacturer Dover Publications
Binding Paperback
ItemPartNumber 79417
ReleaseDate 2013-08-22
UnitCount 1
UPCs 800759497058
EANs 9780486497051

Country	USA
Brand	Dover Publications
Manufacturer	Dover Publications
Binding	Paperback
ItemPartNumber	79417
ReleaseDate	2013-08-22
UnitCount	1
UPCs	800759497058
EANs	9780486497051

The Gödelian Puzzle Book: Puzzles, Paradoxes and Proofs (Dover Math Games & Puzzles)

You might also like...