En 1970, Yuri Matiyasevich probó que esto es imposible de hacer.