The Gödelian Puzzle Book

Puzzles, Paradoxes and Proofs

Nonfiction, Science & Nature, Mathematics, Logic, Recreations & Games, Religion & Spirituality, Philosophy
Cover of the book The Gödelian Puzzle Book by Raymond M. Smullyan, Dover Publications
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Raymond M. Smullyan ISBN: 9780486315775
Publisher: Dover Publications Publication: August 21, 2013
Imprint: Dover Publications Language: English
Author: Raymond M. Smullyan
ISBN: 9780486315775
Publisher: Dover Publications
Publication: August 21, 2013
Imprint: Dover Publications
Language: English

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.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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.

More books from Dover Publications

Cover of the book Piano Masterpieces of Maurice Ravel by Raymond M. Smullyan
Cover of the book Revelation and Other Prophetic Books of the Bible by Raymond M. Smullyan
Cover of the book Fancy Dresses Described by Raymond M. Smullyan
Cover of the book A Mathematical History of the Golden Number by Raymond M. Smullyan
Cover of the book Transcendental and Algebraic Numbers by Raymond M. Smullyan
Cover of the book Project Vanguard by Raymond M. Smullyan
Cover of the book Complete Piano Rags by Raymond M. Smullyan
Cover of the book Introduction to Mathematical Fluid Dynamics by Raymond M. Smullyan
Cover of the book Piano Music for Little Fingers by Raymond M. Smullyan
Cover of the book Reflections on the Motive Power of Fire by Raymond M. Smullyan
Cover of the book Holbein Portrait Drawings by Raymond M. Smullyan
Cover of the book We Were There at the Battle of Gettysburg by Raymond M. Smullyan
Cover of the book Great Short Short Stories by Raymond M. Smullyan
Cover of the book Goyescas, Spanish Dances and Other Works for Solo Piano by Raymond M. Smullyan
Cover of the book Burnham's Celestial Handbook, Volume One by Raymond M. Smullyan
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy