Title: Thinking about Godel and Turing