Dr Turing het s Modäll im Rahme vom Hilbertprogramm zur Lösig vom so genannte Entscheidigsproblem, wo dr David Hilbert im Johr 1920 formuliert het, in dr Schrift "On Computable Numbers, with an Application to the Entscheidungsproblem" vorgstellt.