If 'Algorithm' is understood as being equivalent to a Turing Machine, and with the answer to the latter question negative (in general), the question about the existence of an Algorithm for the Entscheidungsproblem also must be negative (in general).
Dacă cuvântul „algoritm” este înțeles ca fiind echivalent cu o mașină Turing, și în condițiile în care întrebarea din urmă are răspuns negativ (în general), întrebarea despre existența unui algoritm pentru problema opririi are răspuns tot negativ (în general).