Professor de Yale ganha Prêmio Gödel por pesquisas inovadoras.

O professor da Universidade de Yale, Yuri Matiyasevich, ganhou o Prêmio Gödel por seu trabalho inovador no Décimo Problema de Hilbert. O Prêmio Gödel é considerado um dos mais prestigiados prêmios da ciência da computação teórica.

A pesquisa de Matiyasevich resolve o Décimo Problema de Hilbert, que pergunta se existe um algoritmo que pode decidir se uma determinada equação Diofantina (uma equação com coeficientes e variáveis ​​inteiras) tem solução em números inteiros. A prova de Matiyasevich mostra que tal algoritmo não existe, o que é um resultado significativo na ciência da computação teórica.

“O trabalho de Matiyasevich é um grande avanço na ciência da computação teórica”, disse Joan Feigenbaum, professora de ciência da computação de Yale. “Ele mostrou que existem alguns problemas que os computadores não conseguem resolver, mesmo em princípio. Isto tem implicações profundas para o campo da ciência da computação e para a nossa compreensão dos limites da computação.”

O Prêmio Gödel é concedido anualmente pela Associação de Lógica Simbólica para reconhecer realizações notáveis ​​na ciência da computação teórica. Matiyasevich é o primeiro membro do corpo docente de Yale a ganhar o Prêmio Gödel.

“Estou honrado e grato por receber este prêmio”, disse Matiyasevich. “Estou orgulhoso do trabalho que realizei e feliz por ter sido reconhecido pela Associação de Lógica Simbólica.”

Matiyasevich receberá o Prêmio Gödel na reunião anual da ASL em San Diego, em julho.