{"product_id":"the-gdelian-puzzle-book-puzzles-paradoxes-and-proofs-dover-math-games-puzzles","title":"The Gdelian Puzzle Book: Puzzles, Paradoxes and Proofs (Dover Math Games \u0026 Puzzles)","description":"\u003cp\u003eThese brandnew recreational logic puzzles provide entertaining variations on Gdels 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 twopart selection of puzzles and paradoxes begins with examinations of the nature of infinity and some curious systems related to Gdels theorem. The first three chapters of Part II contain generalized Gdel theorems. Symbolic logic is deferred until the last three chapters, which give explanations and examples of firstorder arithmetic, Peano arithmetic, and a complete proof of Gdels 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.\u003c\/p\u003e","brand":"Dover Publications","offers":[{"title":"Default Title","offer_id":45901072859334,"sku":"DADAX0486497054","price":19.24,"currency_code":"USD","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0695\/9389\/1014\/files\/81Lz_ZBZk_L.jpg?v=1780321788","url":"https:\/\/ergodemedia.com\/products\/the-gdelian-puzzle-book-puzzles-paradoxes-and-proofs-dover-math-games-puzzles","provider":"Ergodemedia","version":"1.0","type":"link"}