Forever Undecided

E206684

Forever Undecided is a logic puzzle book by Raymond Smullyan that playfully explores Gödel’s incompleteness theorems through self-referential riddles and dialogues.

All labels observed (1)

Label Occurrences
Forever Undecided canonical 1

How this entity was disambiguated

Statements (33)

Predicate Object
instanceOf book
logic puzzle book
aim to entertain readers with logical puzzles
to explain Gödel’s incompleteness theorems informally
author Raymond Smullyan
genre logic puzzles
popular logic
recreational mathematics
hasPart dialogues
logic puzzles
riddles
hasTheme limits of formal systems
paradox and consistency
self-reference in logic
undecidability
intendedAudience general readers interested in logic
students of mathematics and philosophy
language English
notableFor popularizing Gödel’s incompleteness theorems through puzzles
use of self-referential characters and statements
relatedWork Raymond Smullyan
The Lady or the Tiger?
To Mock a Mockingbird
What Is the Name of This Book?
style dialogue-based exposition
playful
self-referential riddles
subject Gödel's incompleteness theorems
surface form: Gödel’s incompleteness theorems

mathematical logic
metamathematics
paradoxes
self-reference
truth and provability

How these facts were elicited

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.

Raymond Smullyan notableWork Forever Undecided