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 Godel

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.