En 1970, Yuri Matiyasevich demostró (usando los resultaos de Julia Robinson) el Teorema de Matiyasevich, que implica quel décimu problema de Hilbert nun tien una solución eficaz; esti problema preguntaba si había o non un procedimientu por aciu el cual pudiera decidise si una ecuación diofántica sobre los númberos enteros tien una solución entera.