On computable numbers with an application to the Entscheidugsproblem Universal Turing Machine