Teorema de Matiyasevich
Origem: Wikipédia, a enciclopédia livre.
O Teorema de Matiyasevich, provado em 1970 por Yuri Matiyasevich, implica que o décimo problema de Hilbert é insolúvel.
Este problema é um desafio para achar um algoritmo geral que possa determinar se um dado sistema de equações Diofantinas (polinomiais com coeficientes inteiros) tem uma solução entre os inteiros. David Hilbert colocou esse problema na sua intervenção ao Congresso internacional de Matemáticos de 1900.
[editar] Referências
- Y. Matiyasevich. "Enumerable sets are Diophantine." Doklady Akademii Nauk SSSR, 191, pp. 279-282, 1970. English translation in Soviet Mathematics. Doklady, vol. 11, no. 2, 1970.
- M. Davis. "Hilbert's Tenth Problem is Unsolvable." American Mathematical Monthly 80, pp. 233-269, 1973.
