1: Edge List data: semantic network from Hofstadter book Godel, Escher, Bach nodes: topics links: discussion of ideas together in book Turing - Halting problem Halting problem - Infinity Infinity - Paradoxes Paradoxes - Lewis Carroll Infinity - Lewis Carroll Infinity - Unpredictably long searches Infinity - Recursion Infinity - Zeno Infinity - Paradoxes Lewis Carroll - Zeno Lewis Carroll - Wordplay Halting problem - Decision procedures BlooP and FlooP - AI Halting problem - Unpredictably long searches BlooP and FlooP - Unpredictably long searches BlooP and FlooP - Recursion Tarski - Truth vs. provability Tarski - Epimenides Tarski - Undecidability Paradoxes - Self-ref Epimenides - Tarski Epimenides - Paradoxes Epimenides - Self-ref [...] 5