1150L

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