Revisiting Hilbert's tenth problem

Autor: Michel Faleiros Martins
Přispěvatelé: Matucci, Francesco, 1977, Torres Orihuela, Fernando Eduardo, 1961-2020, Tafazolian, Saeed, Arakelian, Nazar, Universidade Estadual de Campinas. Instituto de Matemática, Estatística e Computação Científica, Programa de Pós-Graduação em Matemática, UNIVERSIDADE ESTADUAL DE CAMPINAS
Jazyk: portugalština
Rok vydání: 2018
Předmět:
Zdroj: Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
Universidade Estadual de Campinas (UNICAMP)
instacron:UNICAMP
Popis: 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á 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 in Number Theory (Diophantine equations, Pell¿s equation, congruences, etc) and in Computability Theory (recursive functions, computable functions, algorithms, Turing machines, etc) Mestrado Matemática Mestre em Matemática CAPES
Databáze: OpenAIRE