📖[PDF] The Gödelian Puzzle Book by Raymond M. Smullyan | Perlego
Get access to over 650,000 titles
Start your free trial today and explore our endless library.
Join perlego now to get access to over 650,000 books
Join perlego now to get access to over 650,000 books
Join perlego now to get access to over 650,000 books
Join perlego now to get access to over 650,000 books
The Gödelian Puzzle Book
The Gödelian Puzzle Book
📖 Book - PDF

The Gödelian Puzzle Book

Puzzles, Paradoxes and Proofs
Raymond M. Smullyan
shareBook
Share book
pages
240 pages
language
English
format
ePUB (mobile friendly) and PDF
availableOnMobile
Available on iOS & Android
📖 Book - PDF

The Gödelian Puzzle Book

Puzzles, Paradoxes and Proofs
Raymond M. Smullyan
Book details
Table of contents

About This Book

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.

Read More

Information

Publisher
Dover Publications
Year
2013
ISBN
9780486315775
Topic
Mathematics
Subtopic
Games in Mathematics

Table of contents