In 1970, Yuri Matiyasevich proved that this could not be done.
Το 1970 ο Yuri Matiyasevich απέδειξε ότι μια τέτοια διαδικασία δεν υπάρχει.