Il professor Yuri Matiyasevich della Yale University ha vinto il Premio Gödel per il suo lavoro innovativo sul decimo problema di Hilbert. Il Premio Gödel è considerato uno dei premi più prestigiosi dell'informatica teorica.

La ricerca di Matiyasevich risolve il decimo problema di Hilbert, che chiede se esiste un algoritmo in grado di decidere se una data equazione diofantea (un’equazione con coefficienti e variabili interi) ha una soluzione in numeri interi. La dimostrazione di Matiyasevich mostra che non esiste un simile algoritmo, il che rappresenta un risultato significativo nell’informatica teorica.

"Il lavoro di Matiyasevich rappresenta un importante passo avanti nell'informatica teorica", ha affermato Joan Feigenbaum, professoressa di informatica alla Yale. “Ha dimostrato che ci sono alcuni problemi che i computer non possono risolvere, nemmeno in linea di principio. Ciò ha profonde implicazioni per il campo dell’informatica e per la nostra comprensione dei limiti del calcolo”.

Il Premio Gödel viene assegnato ogni anno dall'Associazione di Logica Simbolica per riconoscere i risultati eccezionali nel campo dell'informatica teorica. Matiyasevich è il primo membro della facoltà di Yale a vincere il Premio Gödel.

"Sono onorato e grato di ricevere questo premio", ha detto Matiyasevich. “Sono orgoglioso del lavoro che ho svolto e sono felice che sia stato riconosciuto dall’Associazione di Logica Simbolica”.

Matiyasevich riceverà il Premio Gödel all’incontro annuale dell’ASL a San Diego a luglio.