El profesor de la Universidad de Yale, Yuri Matiyasevich, ganó el Premio Gödel por su innovador trabajo sobre el Décimo Problema de Hilbert. El Premio Gödel está considerado uno de los premios más prestigiosos en informática teórica.

La investigación de Matiyasevich resuelve el Décimo Problema de Hilbert, que pregunta si existe un algoritmo que pueda decidir si una ecuación diofántica dada (una ecuación con coeficientes enteros y variables) tiene una solución en números enteros. La prueba de Matiyasevich muestra que no existe tal algoritmo, lo cual es un resultado significativo en la informática teórica.

"El trabajo de Matiyasevich es un gran avance en la informática teórica", afirmó Joan Feigenbaum, profesora de informática de Yale. “Ha demostrado que hay algunos problemas que las computadoras no pueden resolver, ni siquiera en principio. Esto tiene profundas implicaciones para el campo de la informática y nuestra comprensión de los límites de la computación”.

El Premio Gödel lo otorga anualmente la Asociación de Lógica Simbólica para reconocer logros destacados en la informática teórica. Matiyasevich es el primer profesor de Yale en ganar el Premio Gödel.

"Me siento honrado y agradecido de recibir este premio", afirmó Matiyasevich. “Estoy orgulloso del trabajo que he realizado y me alegro de que haya sido reconocido por la Asociación de Lógica Simbólica”.

Matiyasevich recibirá el Premio Gödel en la reunión anual de la ASL en San Diego en julio.