Gödel, Escher, Bach

Everything is so deeply tight together that one couldn't remove a line. An incredible density of meaning.

Quotes:

• Gödel: theorem, consequences, limitations
• Meaning, recursively enumerable vs recursive
• (Implicit) Definition, Peano arithmetic
• Recursion and DNA, Peano postulates, chess pruning
• Thought, classes, diagonal method
• Mathematics
• Genetics, locality, AI, Kuhn
• Soul, death and western science
• Bibliography