Turing versus Godel on computability and the mind