In 1970, Yuri Matiyasevich proved that this could not be done.
1970年，尤里·马季亚谢维奇证明这不可能做到。