Dado que "existe un conjunto recursivamente enumerable que no es computable", la irresolubilidad del décimo problema de Hilbert es una consecuencia inmediata.