Yale University Professor Yuri Matiyasevich heeft een Gödelprijs gewonnen voor zijn baanbrekende werk over Hilberts tiende probleem. De Gödelprijs wordt beschouwd als een van de meest prestigieuze prijzen in de theoretische informatica.

Het onderzoek van Matiyasevich lost het tiende probleem van Hilbert op, waarin wordt gevraagd of er een algoritme is dat kan beslissen of een gegeven Diophantische vergelijking (een vergelijking met gehele coëfficiënten en variabelen) een oplossing heeft in gehele getallen. Het bewijs van Matiyasevich laat zien dat een dergelijk algoritme niet bestaat, wat een belangrijk resultaat is in de theoretische informatica.

“Het werk van Matiyasevich is een grote doorbraak in de theoretische informatica”, zegt Joan Feigenbaum, hoogleraar computerwetenschappen van Yale. “Hij heeft laten zien dat er een aantal problemen zijn die computers niet kunnen oplossen, zelfs niet in principe. Dit heeft diepgaande gevolgen voor het vakgebied van de informatica en ons begrip van de grenzen van berekeningen.”

De Gödelprijs wordt jaarlijks uitgereikt door de Vereniging van Symbolische Logica om uitmuntende prestaties op het gebied van de theoretische informatica te erkennen. Matiyasevich is het eerste lid van de Yale-faculteit dat de Gödel-prijs wint.

“Ik ben vereerd en dankbaar dat ik deze onderscheiding mag ontvangen”, zei Matiyasevich. “Ik ben trots op het werk dat ik heb gedaan en ik ben blij dat het is erkend door de Association of Symbolic Logic.”

Matiyasevich zal de Gödelprijs ontvangen tijdens de jaarvergadering van de ASL in San Diego in juli.