The non-existence of such an algorithm, established by Yuri Matiyasevich in 1970, also implies a negative answer to the Entscheidungsproblem.
Avsaknaden av någon sådan algoritm, fastställt av Yuri Matiyasevich 1970, innebär också ett negativt svar på avgörbarhetsproblemet.