Gödel, Escher, Bach. Anniversary Edition: An Eternal Golden BraidDouglas Hofstadter’s book is concerned directly with the nature of “maps” or links between formal systems. However, according to Hofstadter, the formal system that underlies all mental activity transcends the system that supports it. If life can grow out of the formal chemical substrate of the cell, if consciousness can emerge out of a formal system of firing neurons, then so too will computers attain human intelligence. Gödel Escher and Bach is a wonderful exploration of fascinating ideas at the heart of cognitive science: meaning, reduction, recursion, and much more. 
What people are saying  Write a review
User ratings
5 stars 
 
4 stars 
 
3 stars 
 
2 stars 
 
1 star 

LibraryThing Review
User Review  KirkLowery  LibraryThingHere's where I first learned about formal linguistic systems, which forever changed the course of my intellectual pursuits. Worth read and rereading. Read full review
LibraryThing Review
User Review  kiparsky  LibraryThingThis is probably one of the most consistently difficult and enlightening books I've ever come across. Completely wonderful  it took me three tries over five years to finish it the first time, and ... Read full review
Contents
Cretan Labyrinth  119 
The structure of the Dialogue Little Harmonic Labyrinth  129 
Recursive Transition Networks for ORNATE NOUN and FANCY NOUN  132 
Copyright  
117 other sections not shown
Other editions  View all
Common terms and phrases
Achilles answer Anteater arithmetical axiom Babbage Bach BlooP brain Buddhanature called cell Chapter chess chunked ChurchTuring Thesis complex course Crab Canon derivation Dialogue enzyme Epimenides paradox example fact fantasy FIGURE FlooP formal system formula fugue geometry Godel Godel number Godel's Theorem happens highlevel human idea infinite inside instance interpretation involves isomorphism kind koan look M. C. Escher machine language mathematicians mathematics matter meaning mind MlUsystem Mumon natural numbers neurons notion number theory paradox patterns perhaps piece play pqsystem problem procedure proof Propositional Calculus proteins question reason record player recursive rules of inference seems selfreference sense sentence SHRDLU simple statement Strange Loops string structure symbols tell theorem of TNT things thought tion Tortoise translation triggering true Turing typographical understand variable wellformed words