Forever UndecidedForever Undecided
a Puzzle Guide to Godel
Title rated 0 out of 5 stars, based on 0 ratings(0 ratings)
Book, 1987
Current format, Book, 1987, 1st ed, Available .Book, 1987
Current format, Book, 1987, 1st ed, Available . Offered in 0 more formatsCollects a variety of mathematics and logic puzzles, some based on the theorems of the mathematician Kurt Godel
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 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!
Title availability
Find this title on
LINK+About
Subject and genre
Details
Publication
- New York : Knopf : Distributed by Random House, 1987.
Opinion
More from the community
Community lists featuring this title
There are no community lists featuring this title
Community contributions
There are no quotations from this title
There are no quotations from this title
From the community