Décimo problema de Hilbert
problema matemático / De Wikipedia, a enciclopédia encyclopedia
O Décimo Problema de Hilbert é um dos 23 problemas propostos pelo matemático alemão David Hilbert em 1900. A declaração consiste no seguinte:
Descrever, em um número finito de operações, se uma dada equação diofantina tem raíz(es) inteira(s)
Este artigo ou secção contém uma lista de referências no fim do texto, mas as suas fontes não são claras porque não são citadas no corpo do artigo, o que compromete a confiabilidade das informações. (Julho de 2012) |
Uma equação diofantina é uma equação da forma:
onde P é um polinômio com coeficientes inteiros. Levou anos até o problema ser resolvido com uma resposta negativa. Hoje, sabe-se que não existe tal algoritmo. O resultado é uma combinação do trabalho realização por Martin Davis, Yuri Matiyasevich, Hilary Putnam and Julia Robinson.