O décimo problema de Hilbert revisitado

Detalhes bibliográficos
Autor(a) principal: Martins, Michel Faleiros, 1987-
Data de Publicação: 2018
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
Texto Completo: https://hdl.handle.net/20.500.12733/1633514
Resumo: Orientadores: Francesco Matucci, Fernando Eduardo Torres Orihuela
id UNICAMP-30_8ed944860960f7c1dbb49b6242561bee
oai_identifier_str oai::996103
network_acronym_str UNICAMP-30
network_name_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository_id_str
spelling O décimo problema de Hilbert revisitadoRevisiting Hilbert's tenth problemMáquinas de TuringAlgoritmosEquações diofantinasTeoria dos númerosFunções recursivasTuring machinesAlgorithmsDiophantine equationsNumber theoryRecursive functionsOrientadores: Francesco Matucci, Fernando Eduardo Torres OrihuelaDissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matemática Estatística e Computação CientíficaResumo: 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)MestradoMatemáticaMestre em MatemáticaCAPES[s.n.]Matucci, Francesco, 1977-Torres Orihuela, Fernando Eduardo, 1961-2020Tafazolian, SaeedArakelian, NazarUniversidade Estadual de Campinas. Instituto de Matemática, Estatística e Computação CientíficaPrograma de Pós-Graduação em MatemáticaUNIVERSIDADE ESTADUAL DE CAMPINASMartins, Michel Faleiros, 1987-20182018-03-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdf1 recurso online (60 p.) : il., digital, arquivo PDF.https://hdl.handle.net/20.500.12733/1633514MARTINS, Michel Faleiros. O décimo problema de Hilbert revisitado. 2018. 1 recurso online (60 p.) Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matemática Estatística e Computação Científica, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1633514. Acesso em: 15 mai. 2024.https://repositorio.unicamp.br/acervo/detalhe/996103Requisitos do sistema: Software para leitura de arquivo em PDFporreponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)instname:Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMPinfo:eu-repo/semantics/openAccess2021-04-23T10:05:50Zoai::996103Biblioteca Digital de Teses e DissertaçõesPUBhttp://repositorio.unicamp.br/oai/tese/oai.aspsbubd@unicamp.bropendoar:2021-04-23T10:05:50Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)false
dc.title.none.fl_str_mv O décimo problema de Hilbert revisitado
Revisiting Hilbert's tenth problem
title O décimo problema de Hilbert revisitado
spellingShingle O décimo problema de Hilbert revisitado
Martins, Michel Faleiros, 1987-
Máquinas de Turing
Algoritmos
Equações diofantinas
Teoria dos números
Funções recursivas
Turing machines
Algorithms
Diophantine equations
Number theory
Recursive functions
title_short O décimo problema de Hilbert revisitado
title_full O décimo problema de Hilbert revisitado
title_fullStr O décimo problema de Hilbert revisitado
title_full_unstemmed O décimo problema de Hilbert revisitado
title_sort O décimo problema de Hilbert revisitado
author Martins, Michel Faleiros, 1987-
author_facet Martins, Michel Faleiros, 1987-
author_role author
dc.contributor.none.fl_str_mv 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
dc.contributor.author.fl_str_mv Martins, Michel Faleiros, 1987-
dc.subject.por.fl_str_mv Máquinas de Turing
Algoritmos
Equações diofantinas
Teoria dos números
Funções recursivas
Turing machines
Algorithms
Diophantine equations
Number theory
Recursive functions
topic Máquinas de Turing
Algoritmos
Equações diofantinas
Teoria dos números
Funções recursivas
Turing machines
Algorithms
Diophantine equations
Number theory
Recursive functions
description Orientadores: Francesco Matucci, Fernando Eduardo Torres Orihuela
publishDate 2018
dc.date.none.fl_str_mv 2018
2018-03-01T00:00:00Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://hdl.handle.net/20.500.12733/1633514
MARTINS, Michel Faleiros. O décimo problema de Hilbert revisitado. 2018. 1 recurso online (60 p.) Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matemática Estatística e Computação Científica, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1633514. Acesso em: 15 mai. 2024.
url https://hdl.handle.net/20.500.12733/1633514
identifier_str_mv MARTINS, Michel Faleiros. O décimo problema de Hilbert revisitado. 2018. 1 recurso online (60 p.) Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matemática Estatística e Computação Científica, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1633514. Acesso em: 15 mai. 2024.
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv https://repositorio.unicamp.br/acervo/detalhe/996103
Requisitos do sistema: Software para leitura de arquivo em PDF
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
1 recurso online (60 p.) : il., digital, arquivo PDF.
dc.publisher.none.fl_str_mv [s.n.]
publisher.none.fl_str_mv [s.n.]
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
instname:Universidade Estadual de Campinas (UNICAMP)
instacron:UNICAMP
instname_str Universidade Estadual de Campinas (UNICAMP)
instacron_str UNICAMP
institution UNICAMP
reponame_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
collection Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)
repository.mail.fl_str_mv sbubd@unicamp.br
_version_ 1799138524591554560

Registros relacionados