The non-existence of such an algorithm, established by Yuri Matiyasevich in 1970, also implies a negative answer to the Entscheidungsproblem.
Inexistența unui astfel de algoritm, stabilită de către Iuri Matiasevici⁠(d) în 1970, implică, de asemenea, un răspuns negativ la problema deciziei.