This was a very enjoyable read... twice. A metaphorical fugue on Turing, Godel, type theory and the generalization of this fundamental paradox that is Lawvere's proof. And, how it may relate to the more practical problems of memory management!

I've been reading Permutation City recently. There has to be a way to shoe horn the fundamental problem of consciousness in here somewhere.