Question: What school is the author of A Madman Dreams of Turing Machines a professor at?
Sentence (from "Description number"): They are very similar to Gödel numbers, and are also occasionally called "Gödel numbers" in the literature.
Relevant evidence: No