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 -- 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.