Yale Professor vinder Godel-prisen for at vise, hvordan computeralgoritmer løser problemer

Yale University Professor Yuri Matiyasevich har vundet en Gödel-pris for sit banebrydende arbejde med Hilberts tiende problem. Gödel-prisen betragtes som en af ​​de mest prestigefyldte priser inden for teoretisk datalogi.

Matiyasevichs forskning løser Hilberts tiende problem, som spørger, om der er en algoritme, der kan afgøre, om en given diofantligning (en ligning med heltalskoefficienter og variable) har en løsning i heltal. Matiyasevichs bevis viser, at der ikke er en sådan algoritme, hvilket er et væsentligt resultat i teoretisk datalogi.

"Matiyasevichs arbejde er et stort gennembrud inden for teoretisk datalogi," sagde Yale Computer Science Professor Joan Feigenbaum. »Han har vist, at der er nogle problemer, som computere ikke kan løse, selv i princippet. Dette har dybtgående implikationer for området datalogi og vores forståelse af grænserne for beregning."

Gödel-prisen uddeles årligt af Association of Symbolic Logic for at anerkende fremragende resultater inden for teoretisk datalogi. Matiyasevich er det første Yale-fakultetsmedlem til at vinde Gödel-prisen.

"Jeg er beæret og taknemmelig for at modtage denne pris," sagde Matiyasevich. "Jeg er stolt af det arbejde, jeg har udført, og jeg er glad for, at det er blevet anerkendt af Association of Symbolic Logic."

Matiyasevich modtager Gödel-prisen ved ASL’s årsmøde i San Diego i juli.