Uma prova da insolubilidade do Décimo Problema de Hilbert e relações com complexidade de algoritmos

Detalhes bibliográficos
Ano de defesa: 2000
Autor(a) principal: Tsukimoto, Edson Tiharu
Orientador(a): Não Informado pela instituição
Banca de defesa: Não Informado pela instituição
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Biblioteca Digitais de Teses e Dissertações da USP
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
Computabilidade E Complexidade
Lógica Matemática
Link de acesso: https://teses.usp.br/teses/disponiveis/45/45131/tde-20210729-115809/
Resumo: Em seu Décimo Problema, Hilbert indaga se existe um procedimento efetivo que decida se uma dada equação diofantina admite solução. Neste trabalho vamos mostrar uma prova, finalizada por Yuri Matyasevic na década de setenta, de que tal procedimento efetivo não existe. Ao final, mostraremos como esse resultado tem relações com a teoria de complexidade de algoritmos. Mais especificamente, veremos que se a demonstração da insolubilidade do Décimo Problema de Hilbert puder ser formalizada em um certo fragmento da aritmética de Peano, em um sentido que iremos precisar, então NP=coNP
id USP_7d5c977765223b12c61ebe2907ea97a2
oai_identifier_str oai:teses.usp.br:tde-20210729-115809
network_acronym_str USP
network_name_str Biblioteca Digital de Teses e Dissertações da USP
repository_id_str
spelling Uma prova da insolubilidade do Décimo Problema de Hilbert e relações com complexidade de algoritmosnot availableComputabilidade E ComplexidadeLógica MatemáticaEm seu Décimo Problema, Hilbert indaga se existe um procedimento efetivo que decida se uma dada equação diofantina admite solução. Neste trabalho vamos mostrar uma prova, finalizada por Yuri Matyasevic na década de setenta, de que tal procedimento efetivo não existe. Ao final, mostraremos como esse resultado tem relações com a teoria de complexidade de algoritmos. Mais especificamente, veremos que se a demonstração da insolubilidade do Décimo Problema de Hilbert puder ser formalizada em um certo fragmento da aritmética de Peano, em um sentido que iremos precisar, então NP=coNPHilbert, in his Tenth Problem, questioned whether there would exist an effective procedure which decided if a given diofantine equation has solution. In this work, we will present a proof, published in the seventies by Yuri Matyasevic which states that such an effective procedure does not exist. We will also show that the above result has implications with the theory of complexity of algorithms. Precisely, we will see that if the proof of the unsolvability of the Hilbert's Tenth Problem can be stated in a certain fragment of the Peano's Arithmetic, in a certain sense we are going to make precise, then NP=coNPBiblioteca Digitais de Teses e Dissertações da USPBianconi, RicardoTsukimoto, Edson Tiharu2000-08-24info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttps://teses.usp.br/teses/disponiveis/45/45131/tde-20210729-115809/reponame:Biblioteca Digital de Teses e Dissertações da USPinstname:Universidade de São Paulo (USP)instacron:USPLiberar o conteúdo para acesso público.info:eu-repo/semantics/openAccesspor2021-07-31T19:03:38Zoai:teses.usp.br:tde-20210729-115809Biblioteca Digital de Teses e Dissertaçõeshttp://www.teses.usp.br/PUBhttp://www.teses.usp.br/cgi-bin/mtd2br.plvirginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.bropendoar:27212021-07-31T19:03:38Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)false
dc.title.none.fl_str_mv Uma prova da insolubilidade do Décimo Problema de Hilbert e relações com complexidade de algoritmos
not available
title Uma prova da insolubilidade do Décimo Problema de Hilbert e relações com complexidade de algoritmos
spellingShingle Uma prova da insolubilidade do Décimo Problema de Hilbert e relações com complexidade de algoritmos
Tsukimoto, Edson Tiharu
Computabilidade E Complexidade
Lógica Matemática
title_short Uma prova da insolubilidade do Décimo Problema de Hilbert e relações com complexidade de algoritmos
title_full Uma prova da insolubilidade do Décimo Problema de Hilbert e relações com complexidade de algoritmos
title_fullStr Uma prova da insolubilidade do Décimo Problema de Hilbert e relações com complexidade de algoritmos
title_full_unstemmed Uma prova da insolubilidade do Décimo Problema de Hilbert e relações com complexidade de algoritmos
title_sort Uma prova da insolubilidade do Décimo Problema de Hilbert e relações com complexidade de algoritmos
author Tsukimoto, Edson Tiharu
author_facet Tsukimoto, Edson Tiharu
author_role author
dc.contributor.none.fl_str_mv Bianconi, Ricardo
dc.contributor.author.fl_str_mv Tsukimoto, Edson Tiharu
dc.subject.por.fl_str_mv Computabilidade E Complexidade
Lógica Matemática
topic Computabilidade E Complexidade
Lógica Matemática
description Em seu Décimo Problema, Hilbert indaga se existe um procedimento efetivo que decida se uma dada equação diofantina admite solução. Neste trabalho vamos mostrar uma prova, finalizada por Yuri Matyasevic na década de setenta, de que tal procedimento efetivo não existe. Ao final, mostraremos como esse resultado tem relações com a teoria de complexidade de algoritmos. Mais especificamente, veremos que se a demonstração da insolubilidade do Décimo Problema de Hilbert puder ser formalizada em um certo fragmento da aritmética de Peano, em um sentido que iremos precisar, então NP=coNP
publishDate 2000
dc.date.none.fl_str_mv 2000-08-24
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://teses.usp.br/teses/disponiveis/45/45131/tde-20210729-115809/
url https://teses.usp.br/teses/disponiveis/45/45131/tde-20210729-115809/
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv
dc.rights.driver.fl_str_mv Liberar o conteúdo para acesso público.
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Liberar o conteúdo para acesso público.
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.coverage.none.fl_str_mv
dc.publisher.none.fl_str_mv Biblioteca Digitais de Teses e Dissertações da USP
publisher.none.fl_str_mv Biblioteca Digitais de Teses e Dissertações da USP
dc.source.none.fl_str_mv
reponame:Biblioteca Digital de Teses e Dissertações da USP
instname:Universidade de São Paulo (USP)
instacron:USP
instname_str Universidade de São Paulo (USP)
instacron_str USP
institution USP
reponame_str Biblioteca Digital de Teses e Dissertações da USP
collection Biblioteca Digital de Teses e Dissertações da USP
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)
repository.mail.fl_str_mv virginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.br
_version_ 1865492556691800064

Registros relacionados