https://9dok.net/document/zlg5ekpl-halteproblem-unentscheidbarkeit-berechenbarkeitsbegriff-funktionen-zugeschnitten-entsprechen-begriff-mengen.html