opac header image
Image from Google Jackets
Image from Coce

Godelian puzzle book: puzzle, paradoxes and proofs

By: Smullyan, Raymod MMaterial type: TextTextLanguage: English Publication details: New York: Dover Publications, 2013 Description: viii, 267p. PbkISBN: 9780486497051Subject(s): LOGIC PUZZLES | MATHEMATICAL RECREATIONS | GODEL'S THEOREMDDC classification: 793.7 Summary: 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.
List(s) this item appears in: Popular Science Collection
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Copy number Status Date due Barcode
Popular Science Popular Science NISER LIBRARY
2nd Floor - Popular Science
793.7 SMU -G (Browse shelf(Opens below)) 1 Available 24235
Popular Science Popular Science NISER LIBRARY
2nd Floor - Popular Science
793.7 SMU-G (Browse shelf(Opens below)) 2 Available 24625

Table of contents

Part I-Puzzles, Paradoxes, Infinity and other Curiosities

Part II-Provability, Truth and the Undecidable

References

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.

There are no comments on this title.

to post a comment.
© 2023 Copyright: Customised and Maintained by Central Library NISER

Central Library, NISER Library Building, PO-Jatni, Khurda, Odisha - 752050, India | Email: libniser@niser.ac.in Phone: +91-674-2494171

Powered by Koha