Yale University Professor Yuri Matiyasevich har vunnit ett Gödelpris för sitt banbrytande arbete med Hilberts tionde problem. Gödelpriset anses vara ett av de mest prestigefyllda priserna inom teoretisk datavetenskap.

Matiyasevichs forskning löser Hilberts tionde problem, som frågar om det finns en algoritm som kan avgöra om en given diofantisk ekvation (en ekvation med heltalskoefficienter och variabler) har en lösning i heltal. Matiyasevichs bevis visar att det inte finns någon sådan algoritm, vilket är ett betydande resultat inom teoretisk datavetenskap.

"Matiyasevichs arbete är ett stort genombrott inom teoretisk datavetenskap," sa Yale Computer Science Professor Joan Feigenbaum. ”Han har visat att det finns några problem som datorer inte kan lösa, inte ens i princip. Detta har djupgående konsekvenser för området datavetenskap och vår förståelse av beräkningens gränser."

Gödelpriset delas ut årligen av Association of Symbolic Logic för att uppmärksamma framstående prestationer inom teoretisk datavetenskap. Matiyasevich är den första Yale-fakultetsmedlemmen att vinna Gödelpriset.

"Jag är hedrad och tacksam över att få detta pris," sa Matiyasevich. "Jag är stolt över det arbete jag har gjort och jag är glad att det har uppmärksammats av Association of Symbolic Logic."

Matiyasevich kommer att ta emot Gödelpriset vid ASL:s årsmöte i San Diego i juli.