Re: [TUHS] Alan Turing and his computable numbers