Thanks. This looks like some interesting reading material. I have included an untitled chapter that is a mixed bag of philosophical issues etc. in my AI lecture (as a follow up to the chapters on propositional calculus and first order logic) and am always on the lookout for simpler ways to explain things.

Currently it's Kantor->Gödel(+ some historical background on Hilbert program/Principia etc.)->Turing(halting problem as it relates to the incompleteness theorems)->Cohen on the math front (+Chaitin numbers and some other random ideas)