Orientadores: Francesco Matucci, Fernando Eduardo Torres Orihuela

Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matemática Estatística e Computação Científica

Resumo: Nesta dissertação revisitamos a solução do Décimo Problema de Hilbert publicada por Martin Davis. A ideia é apresentar de forma compreensível os pontos principais abordados nesta demonstração acrescentando alguns que foram omitidos da original e simplificam a leitura. O texto está...

Resumo: Nesta dissertação revisitamos a solução do Décimo Problema de Hilbert publicada por Martin Davis. A ideia é apresentar de forma compreensível os pontos principais abordados nesta demonstração acrescentando alguns que foram omitidos da original e simplificam a leitura. O texto está intimamente relacionado à diversos temas da Teoria dos Números (equações Diofantinas, equação de Pell, congruências, etc) e da Teoria da Computabilidade (funções recursivas, funções computáveis, algoritmos, máquinas de Turing, etc)

Abstract: In this thesis we revisit the Martin Davis¿ version of the solution of Hilbert¿s 10th problem. The idea is to carefully present the main points of the proof by adding a few details left out in the original text and which simplify the reading. This work is closely related to several themes...

Abstract: In this thesis we revisit the Martin Davis¿ version of the solution of Hilbert¿s 10th problem. The idea is to carefully present the main points of the proof by adding a few details left out in the original text and which simplify the reading. This work is closely related to several themes in Number Theory (Diophantine equations, Pell¿s equation, congruences, etc) and in Computability Theory (recursive functions, computable functions, algorithms, Turing machines, etc)

Requisitos do sistema: Software para leitura de arquivo em PDF