To Mock a Mockingbird
E206683
To Mock a Mockingbird is a recreational mathematics and logic book that uses birds and their calling patterns to introduce and explore concepts from combinatory logic and related areas of mathematical logic.
All labels observed (1)
| Label | Occurrences |
|---|---|
| To Mock a Mockingbird canonical | 6 |
How this entity was disambiguated
This entity first appeared as the object of triple T1835351 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: To Mock a Mockingbird Context triple: [Raymond Smullyan, notableWork, To Mock a Mockingbird]
-
A.
Gödel, Escher, Bach
Gödel, Escher, Bach is a Pulitzer Prize–winning interdisciplinary book by Douglas Hofstadter that explores deep connections between mathematics, art, music, and human consciousness.
-
B.
Society of Mind
Society of Mind is a seminal book by Marvin Minsky that proposes a theory of human intelligence as emerging from the interactions of many simple, non-intelligent agents within the mind.
-
C.
How to Create a Mind
"How to Create a Mind" is a nonfiction book by futurist Ray Kurzweil that explores the workings of human intelligence and proposes designs for advanced artificial intelligence based on the brain’s principles.
-
D.
Mathematical Circus
Mathematical Circus is a popular collection of recreational mathematics puzzles and essays by Martin Gardner, showcasing his playful and insightful approach to mathematical curiosities.
-
E.
The Zero Theorem
The Zero Theorem is a 2013 dystopian science fiction film directed by Terry Gilliam, featuring Christoph Waltz as a reclusive computer genius tasked with solving a mysterious mathematical formula that could reveal the meaning—or meaninglessness—of existence.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: To Mock a Mockingbird Target entity description: To Mock a Mockingbird is a recreational mathematics and logic book that uses birds and their calling patterns to introduce and explore concepts from combinatory logic and related areas of mathematical logic.
-
A.
Gödel, Escher, Bach
Gödel, Escher, Bach is a Pulitzer Prize–winning interdisciplinary book by Douglas Hofstadter that explores deep connections between mathematics, art, music, and human consciousness.
-
B.
Society of Mind
Society of Mind is a seminal book by Marvin Minsky that proposes a theory of human intelligence as emerging from the interactions of many simple, non-intelligent agents within the mind.
-
C.
How to Create a Mind
"How to Create a Mind" is a nonfiction book by futurist Ray Kurzweil that explores the workings of human intelligence and proposes designs for advanced artificial intelligence based on the brain’s principles.
-
D.
Mathematical Circus
Mathematical Circus is a popular collection of recreational mathematics puzzles and essays by Martin Gardner, showcasing his playful and insightful approach to mathematical curiosities.
-
E.
The Zero Theorem
The Zero Theorem is a 2013 dystopian science fiction film directed by Terry Gilliam, featuring Christoph Waltz as a reclusive computer genius tasked with solving a mysterious mathematical formula that could reveal the meaning—or meaninglessness—of existence.
- F. None of above. chosen
Statements (44)
| Predicate | Object |
|---|---|
| instanceOf |
book
ⓘ
logic book ⓘ non-fiction book ⓘ recreational mathematics book ⓘ |
| author | Raymond Smullyan ⓘ |
| countryOfOrigin |
United States
ⓘ
linked to:
United States of America
|
| didacticApproach |
dialogue and story-like presentation
ⓘ
puzzle-based exposition ⓘ |
| educationalPurpose |
illustrate self-reference in logic
ⓘ
introduce combinatory logic ⓘ make advanced logic accessible ⓘ |
| firstPublicationDate | 1985 ⓘ |
| genre |
mathematical logic
ⓘ
popular mathematics ⓘ recreational mathematics ⓘ |
| hasFormat | print ⓘ |
| hasPart |
expository chapters
ⓘ
puzzle collections ⓘ |
| influenced | popular understanding of combinatory logic ⓘ |
| inSeries | Smullyan logic puzzle books ⓘ |
| language | English ⓘ |
| mainSubject |
combinatory logic
ⓘ
fixed-point combinators ⓘ lambda calculus (informal introduction) ⓘ logic puzzles ⓘ mathematical logic ⓘ self-reference ⓘ |
| notableConcept |
combinators as birds
ⓘ
mockingbird combinator ⓘ self-referential birds ⓘ |
| notableFor |
recreational treatment of advanced logical topics
ⓘ
using birds and calling patterns to represent combinators ⓘ |
| publisher | Oxford University Press ⓘ |
| relatedField |
foundations of mathematics
ⓘ
theoretical computer science ⓘ |
| relatedWork |
The Lady or the Tiger?
ⓘ
What Is the Name of This Book? ⓘ |
| style |
humorous
ⓘ
informal ⓘ |
| targetAudience |
general readers interested in logic
ⓘ
students of logic and mathematics ⓘ |
| title | To Mock a Mockingbird ⓘ |
| usesMotif |
bird calls
ⓘ
birds ⓘ |
How these facts were elicited
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
Instruction
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Input
Subject: To Mock a Mockingbird Description of subject: To Mock a Mockingbird is a recreational mathematics and logic book that uses birds and their calling patterns to introduce and explore concepts from combinatory logic and related areas of mathematical logic.
Referenced by (6)
Full triples — surface form annotated when it differs from this entity's canonical label.