[TUHS] Alan Turing and his computable numbers