Forever Undecided

Forever Undecided
Author :
Publisher : Knopf
Total Pages : 286
Release :
ISBN-10 : 9780307962461
ISBN-13 : 0307962466
Rating : 4/5 (61 Downloads)

Book Synopsis Forever Undecided by : Raymond M. Smullyan

Download or read book Forever Undecided written by Raymond M. Smullyan and published by Knopf. This book was released on 2012-07-04 with total page 286 pages. Available in PDF, EPUB and Kindle. Book excerpt: Forever Undecided is the most challenging yet of Raymond Smullyan’s puzzle collections. It is, at the same time, an introduction—ingenious, instructive, entertaining—to Gödel’s famous theorems. With all the wit and charm that have delighted readers of his previous books, Smullyan transports us once again to that magical island where knights always tell the truth and knaves always lie. Here we meet a new and amazing array of characters, visitors to the island, seeking to determine the natives’ identities. Among them: the census-taker McGregor; a philosophical-logician in search of his flighty bird-wife, Oona; and a regiment of Reasoners (timid ones, normal ones, conceited, modest, and peculiar ones) armed with the rules of propositional logic (if X is true, then so is Y). By following the Reasoners through brain-tingling exercises and adventures—including journeys into the “other possible worlds” of Kripke semantics—even the most illogical of us come to understand Gödel’s two great theorems on incompleteness and undecidability, some of their philosophical and mathematical implications, and why we, like Gödel himself, must remain Forever Undecided!


Forever Undecided Related Books

Forever Undecided
Language: en
Pages: 286
Authors: Raymond M. Smullyan
Categories: Mathematics
Type: BOOK - Published: 2012-07-04 - Publisher: Knopf

DOWNLOAD EBOOK

Forever Undecided is the most challenging yet of Raymond Smullyan’s puzzle collections. It is, at the same time, an introduction—ingenious, instructive, ent
Possible Worlds
Language: en
Pages: 226
Authors: Rod Girle
Categories: Modality (Logic)
Type: BOOK - Published: 2003 - Publisher: McGill-Queen's Press - MQUP

DOWNLOAD EBOOK

Mathematics, Models, and Modality
Language: en
Pages: 253
Authors: John P. Burgess
Categories: Science
Type: BOOK - Published: 2008-02-21 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

John Burgess is the author of a rich and creative body of work which seeks to defend classical logic and mathematics through counter-criticism of their nominali
Theoretical Aspects of Reasoning About Knowledge
Language: en
Pages: 416
Authors: Joseph Y. Halpern
Categories: Computers
Type: BOOK - Published: 2014-05-12 - Publisher: Morgan Kaufmann

DOWNLOAD EBOOK

Theoretical Aspects of Reasoning About Knowledge: Proceedings of the 1986 Conference focuses on the principles, methodologies, approaches, and concepts involved
Forever Undecided
Language: en
Pages: 257
Authors: Raymond M. Smullyan
Categories: Games
Type: BOOK - Published: 1987 - Publisher: Alfred a Knopf Incorporated

DOWNLOAD EBOOK

Collects a variety of mathematics and logic puzzles, some based on the theorems of the mathematician Kurt Godel