Teorema de Matiyasevich

Origem: Wikipédia, a enciclopédia livre.
Ir para: navegação, pesquisa
Question book.svg
Esta página ou secção não cita nenhuma fonte ou referência, o que compromete sua credibilidade (desde Setembro de 2014).
Por favor, melhore este artigo providenciando fontes fiáveis e independentes, inserindo-as no corpo do texto por meio de notas de rodapé. Encontre fontes: Googlenotícias, livros, acadêmicoYahoo!Bing. Veja como referenciar e citar as fontes.

O Teorema de Matiyasevich, provado em 1970 por Yuri Matiyasevich, implica que o décimo problema de Hilbert é irresolú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.

Referências[editar | editar código-fonte]

  • Y. Matiyasevich. "Enumerable sets are Diophantine." Doklady Akademii Nauk SSSR, 191, pp. 279–282, 1970. English translation in Soviet Mathematics. Doklady, vol. 11, nº 2, 1970.
  • M. Davis. "Hilbert's Tenth Problem is Unsolvable." American Mathematical Monthly 80, pp. 233–269, 1973.
Ícone de esboço Este artigo sobre matemática é um esboço. Você pode ajudar a Wikipédia expandindo-o.