Gödel, Escher, Bach : an eternal golden braid / Douglas R. Hofstadter

Includes bibliographical references and index.

Part I : GEB -- Introduction : A Musico-logical offering -- Chapter I : The MU-puzzle -- Chapter II : Meaning and form in mathematics -- Chapter III : Figure and ground -- Chapter IV : Consistency, completeness, and geometry -- Chapter V : Recursive structures and processes -- Chapter VI : The Location of meaning -- Chapter VII : The Propositional calculus -- Chapter VIII : Typographical number theory -- Chapter IX : Mumon and Godel -- Chapter X : Levels of description, and computer systems -- Chapter XI : Brains and thoughts -- Chapter XII : Minds and thoughts -- Chapter XIII : Bloop and floop and gloop -- Chapter XIV : On formally undecidable propositions of TNT and related systems -- Chapter XV : Jumping out of the system -- Chapter XVI : Self-ref and self-rep -- Chapter XVII : Church, Turing, Tarski and others -- Chapter XVIII : Artificial intelligence : Retrospects -- Chapter XIX : Artificial intelligence : prospects -- Chapter XX : Strange loops or tangles hierarchies

Introduction : a musico-logical offering. The book opens with the story of Bach's musical offering. Bach made an impromptu visit to King Frederick the Great of Prussia, and was requested to improvise upon a theme presented by the King.