Le professeur Yuri Matiyasevich de l’Université de Yale a remporté le prix Gödel pour son travail révolutionnaire sur le dixième problème de Hilbert. Le prix Gödel est considéré comme l'une des récompenses les plus prestigieuses en informatique théorique.

Les recherches de Matiyasevich résolvent le dixième problème de Hilbert, qui demande s’il existe un algorithme capable de décider si une équation diophantienne donnée (une équation avec des coefficients et des variables entiers) a une solution en nombres entiers. La preuve de Matiyasevich montre qu’un tel algorithme n’existe pas, ce qui constitue un résultat important en informatique théorique.

"Les travaux de Matiyasevich constituent une avancée majeure dans le domaine de l'informatique théorique", a déclaré Joan Feigenbaum, professeur d'informatique à Yale. « Il a montré qu’il existe certains problèmes que les ordinateurs ne peuvent pas résoudre, même en principe. Cela a de profondes implications pour le domaine de l’informatique et pour notre compréhension des limites du calcul.

Le prix Gödel est décerné chaque année par l'Association of Symbolic Logic pour récompenser des réalisations exceptionnelles en informatique théorique. Matiyasevich est le premier professeur de Yale à remporter le prix Gödel.

"Je suis honoré et reconnaissant de recevoir ce prix", a déclaré Matiyasevich. «Je suis fier du travail que j'ai accompli et je suis heureux qu'il ait été reconnu par l'Association of Symbolic Logic.»

Matiyasevich recevra le prix Gödel lors de la réunion annuelle de l'ASL à San Diego en juillet.