CS027th: paper1--Turing--On computable numbers, with an application to the entscheidungsproblem 《On computable numbers, with an application to the entscheidungsproblem》