Godel, Escher, Bach: An Eternal Golden Braid -- A Metaphorical Fugue on Minds and Machines in the Spirit of Lewis Carroll

777 pp. "Winner of the Pulitzer Prize, this book applies Godel's seminal contribution to modern mathematics to the study of the human mind and the development of artificial intelligence." Includes: Overview; List of Illustrations; Words of Thanks; GEB; Introduction: A Musico-Logical Offering; The MU-puzzle; Meaning and Form in Mathematics; Figure and Ground; Consistency, Completeness, and Geometry; Recursive Structures and Processes; Location of Meaning; Propositional Calculus; Typographical Number Theory; Mumon and Godel; Levels of Description, and Computer Systems; Brains and Thoughts; Minds and Thoughts; BlooP and FlooP and GlooP; On the Formally Undecidable Propositions of TNT and Related Systems; Jumping out of the System; Self-Ref and Self-Rep; Church, Turing, Tarski, and Others; Artificial Intelligence: Retrospects; Artificial Intelligence: Prospects; Strange Loops, or Tangled Hierarchies; Notes; Bibliography; Credits; Index.