Text this: Solución negativa al décimo problema de Hilbert y recursión con diofantinos