Resolvió en 1969 el décimo problema de Hilbert, de la lista de 23 que el matemático alemán había propuesto en 1900. Esto le llevó de inmediato al puesto de uno de los principales investigadores del mundo en matemáticas. Recibió el reconocimiento mundial cuando presentó su resultado durante su conferencia 'Representación diofántica de predicados recursivamente enumerables' en el Congreso Internacional de Matemáticos de Niza, en agosto de 1970, demostrando que no existe ningún algoritmo para determinar si las ecuaciones diofánticas tienen soluciones enteras.

30 junio 2018