A Madman Dreams of Turing Machines
E1544751
UNEXPLORED
A Madman Dreams of Turing Machines is a philosophical novel by Janna Levin that intertwines the lives and ideas of Alan Turing and Kurt Gödel to explore the nature of mathematics, logic, and madness.
All labels observed (1)
| Label | Occurrences |
|---|---|
| A Madman Dreams of Turing Machines canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T22593420 — 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: A Madman Dreams of Turing Machines Context triple: [Janna Levin, notableWork, A Madman Dreams of Turing Machines]
-
A.
The Mental Life of Some Machines
The Mental Life of Some Machines is a philosophical essay by Hilary Putnam that explores whether and how machines could possess mental states, contributing to debates in philosophy of mind and artificial intelligence.
-
B.
The Undecidable
The Undecidable is a classic anthology edited by Martin Davis that collects foundational papers on computability, Gödel’s incompleteness theorems, and the limits of formal mathematical systems.
-
C.
The Universal Computer
The Universal Computer is a book by mathematician and logician Martin Davis that traces the history and development of the concept of computation and the universal Turing machine.
-
D.
Computability and Unsolvability
Computability and Unsolvability is a classic 1958 textbook by Martin Davis that systematically develops the theory of computable functions and undecidable problems, helping to shape modern computability theory.
-
E.
Computing with Register Machines
"Computing with Register Machines" is a chapter in the classic computer science textbook *Structure and Interpretation of Computer Programs* that introduces low-level machine models and shows how higher-level language constructs can be implemented using simple register-based operations.
- 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: A Madman Dreams of Turing Machines Target entity description: A Madman Dreams of Turing Machines is a philosophical novel by Janna Levin that intertwines the lives and ideas of Alan Turing and Kurt Gödel to explore the nature of mathematics, logic, and madness.
-
A.
The Mental Life of Some Machines
The Mental Life of Some Machines is a philosophical essay by Hilary Putnam that explores whether and how machines could possess mental states, contributing to debates in philosophy of mind and artificial intelligence.
-
B.
The Undecidable
The Undecidable is a classic anthology edited by Martin Davis that collects foundational papers on computability, Gödel’s incompleteness theorems, and the limits of formal mathematical systems.
-
C.
The Universal Computer
The Universal Computer is a book by mathematician and logician Martin Davis that traces the history and development of the concept of computation and the universal Turing machine.
-
D.
Computability and Unsolvability
Computability and Unsolvability is a classic 1958 textbook by Martin Davis that systematically develops the theory of computable functions and undecidable problems, helping to shape modern computability theory.
-
E.
Computing with Register Machines
"Computing with Register Machines" is a chapter in the classic computer science textbook *Structure and Interpretation of Computer Programs* that introduces low-level machine models and shows how higher-level language constructs can be implemented using simple register-based operations.
- F. None of above. chosen
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.