b'\n_START_ARTICLE_\nTeorema de Matiyasevich\n_START_PARAGRAPH_\nO Teorema de Matiyasevich, provado em 1970 por Yuri Matiyasevich, implica que o d\xc3\xa9cimo problema de Hilbert \xc3\xa9 irresol\xc3\xbavel._NEWLINE_Este problema \xc3\xa9 um desafio para achar um algoritmo geral que possa determinar se um dado sistema de equa\xc3\xa7\xc3\xb5es Diofantinas (polinomiais com coeficientes inteiros) tem uma solu\xc3\xa7\xc3\xa3o entre os inteiros. David Hilbert colocou esse problema na sua interven\xc3\xa7\xc3\xa3o ao Congresso internacional de Matem\xc3\xa1ticos de 1900.'