Book:Douglas R. Hofstadter/Gödel, Escher, Bach: an Eternal Golden Braid

Subject Matter

 * Strange Loops
 * Gödel's Incompleteness Theorems

Contents

 * 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 Gödel
 * Part II: EGB
 * 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 Tangled Hierarchies