Email Record: Thinking about Gödel and Turing :