From Martin's list on computer science without coding.
The focus of this book is self-reference and recursion. By explaining what formal systems are and how they can be identified in music and art, Hofstadter illustrates how fundamental concepts of computing appear in unexpected areas of our lives. A focus of this book is on the principal limitations of formal systems and thus of computing. Some parts of the book may be hard to digest due to the significant use of formal symbol manipulation, and with 777 pages it is not a quick read. The effort is, however, rewarded with deep insights into Gödel's incompleteness theorem and its implication for computing. This is a brilliant book, a true classic, which contains much food for thought.
Why should I read it?
What is this book about?
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. Goedel, Escher, Bach is a wonderful exploration of fascinating ideas at the heart of cognitive science: meaning, reduction, recursion, and much more.