Godel, Escher, Bach: An Eternal Golden BraidWinner of the Pulitzer Prize A metaphorical fugue on minds and machines in the spirit of Lewis Carroll Douglas 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, 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
Photó of an ant bridge de Fourmi Lierre  63 
A HOLISMREDUCTIONISM propeller  64 
Schematic drawing of a neuron  65 
Copyright  
104 other sections not shown
Other editions  View all
Common terms and phrases
Achilles answer Anteater ants arithmetical assembly language axiom Babbage Bach BlooP brain Buddhanature called cell Chapter chess chunked ChurchTuring Thesis colony complex course Crab Canon derivation Dialogue enzyme Epimenides paradox example fact FANCY NOUN fantasy FIGURE Floop formal system formula fugue geometry Gödel number Gödel's Theorem happens highlevel human idea infinite inside instance intelligence interpretation isomorphism kind köan look M. C. Escher machine language mathematicians mathematics matter meaning mind MIUsystem Mumon natural numbers neurons notion number theory paradox patterns perhaps piece play problem procedure proof Propositional Calculus proteins question reason record player recursive rules of inference seems sense sentence SHRDLU simple statement Strange Loops string structure symbols tell things thought tion Tortoise translation triggering true Turing typographical understand variable wellformed words