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 ⓘ
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 ⓘ