Very interesting stuff
I haven't had a full read of it all, but remember those things coming up in my university courses (Computer & Maths Sci.), and being very interested in them but not managing to hang on to the understanding long! (can be heavy stuff, as suggested here)
