Gödel, Escher, Bach: an eternal golden braid

GEB:A musico-logical offering --

The mu-puzzle --

Meaning and form in mathematics --

Figure and ground --

Consistency, completeness, and geometry --

Recursive structures and processes --

The location of meaning --

The propositional calculus --

Typographical number theory --

Mumon and Gödel --

EGB: Levels of description and computer systems --

Brains and thoughts --

Minds and thoughts --

Bloop and floop and gloop --

On formally undecidable propositions of TNT and related systems --

Jumping out of the system --

Self-ref and self-rep --

Church, Turing, Tarski, and others --

Artificial intelligence: retrospects --

Artificial intelligence: prospects --

Strange loops, or tangled hierarchies.