Computação paraconsistente : uma abordagem logica a computação quantica

Detalhes bibliográficos
Autor(a) principal: Agudelo, Juan Carlos Agudelo
Data de Publicação: 2009
Tipo de documento: Tese
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/1610668
Resumo: Orientador: Walter Alexandre Carnielli
id UNICAMP-30_79388f3cd6aa16131916fb821f6c9fa6
oai_identifier_str oai::470540
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 Computação paraconsistente : uma abordagem logica a computação quanticaParaconsisted computation : a logic approach to quantumFunções computáveisMáquinas de TuringCircuitos lógicosComputação quânticaComputability theoryTuring machinesLogical circuitsQuantum computationOrientador: Walter Alexandre CarnielliTese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias HumanasResumo: Neste trabalho levantamos, e investigamos do ponto de vista conceitual, evidências de que a complexidade algorítmica pode ser vista como relativa à lógica. Propomos, para tanto, novos modelos de computação fundados sobre lógicas não-clássicas, estudando suas características quanto à expressabilidade computacional e eficiência. A partir desta visão, sugerimos um novo caminho para estudar a eficiência dos modelos de computação quântica, enfatizando a análise de uma lógica subjacente a tais modelos. O conteúdo da tese está estruturado da seguinte maneira: no primeiro capítulo apresentamos uma análise conceitual da noção de 'computação', indicando como este conceito tem mudado desde os trabalhos fundacionais da década de 1930, e discutindo se o conceito deve ser considerado como puramente físico, puramente lógicomatemático ou uma combinação de ambos. O Capítulo 2 introduz duas versões de 'máquinas de Turing paraconsistentes', usando sistemas lógicos diferentes e obtendo modelos com diferentes poderes computacionais (quanto à eficiência); tal resultado constitui uma primeira evidência a favor da relatividade lógica da computação que queremos defender. Outra evidência na mesma direção é apresentada no Capitulo 3, através da generalização dos circuitos booleanos para lógicas não-clássicas, em particular para a lógica paraconsistente mbC e para a lógica modal S5, e da análise do poder computacional de tais generalizações. O Capítulo 4 consiste numa introdução à computação quântica, para logo (no Capítulo 5) estabelecer algumas relações entre modelos de computação quântica e modelos de computação paraconsistente, de maneira a propor uma interpretação lógica dos modelos quânticos. No capítulo final (Capítulo 6) descrevemos várias relações entre mecânica quântica e lógica paraix consistente, relações estas que sugerem potencialidades com alto grau de relevância a respeito da abordagem paraconsistente dos fenômenos computacionais quânticos e que incitam a continuar explorando esta alternativa.Abstract: This work provides evidences to view computational complexity as logic-relative, by introducing new models of computation through non-classical logics and by studying their features with respect to computational expressivity and efficiency. From this point of view, we suggest a new way to study the efficiency of quantum computational models consisting in the analysis of an underlying logic. The contents of the thesis is structured in the following way: the first chapter presents a conceptual analysis of the notion of 'computation', showing how this concept evolved since the decade of 1930 and discussing whether it can be considered a pure physical or a pure logic-mathematical concept, or a combination of both paradigms. Chapter 2 introduces two versions of 'paraconsistent Turing machines', by considering different logic systems and obtaining models with different computational capabilities (with respect to efficiency); such a result constitute a first evidence in favor of the logical relativity of computation that we are defending here. Another evidence in the same direction is presented in Chapter 3 through a generalization of boolean circuits to non-classical logics, particularly for the paraconsistent logic mbC and for the modal logic S5, and by analyzing the computational power of such generalizations. Chapter 4 consists in an introduction to quantum computation. This is used in Chapter 5 to establish some relationships between quantum and paraconsistent models of computation, in order to propose a logic interpretation of quantum models. The final chapter (Chapter 6) describes several connections between quantum mechanics and paraconsistent logic; such relationship suggests highly relevant potentialities in favor of the paraconsistent approach to quantum computation phenomena encouraging to continue exploring this alternative.DoutoradoLógicaDoutor em Filosofia[s.n.]Carnielli, Walter Alexandre, 1952-Coniglio, Marcelo EstebanFinger, MarceloOliveira, Marcos César dePessoa Junior, OsvaldoUniversidade Estadual de Campinas. Instituto de Filosofia e Ciências HumanasPrograma de Pós-Graduação em FilosofiaUNIVERSIDADE ESTADUAL DE CAMPINASAgudelo, Juan Carlos Agudelo2009info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisapplication/pdf161 p. : il.https://hdl.handle.net/20.500.12733/1610668AGUDELO, Juan Carlos Agudelo. Computação paraconsistente: uma abordagem logica a computação quantica. 2009. 161 p. Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1610668. Acesso em: 15 mai. 2024.https://repositorio.unicamp.br/acervo/detalhe/470540porreponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)instname:Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMPinfo:eu-repo/semantics/openAccess2019-06-24T13:19:56Zoai::470540Biblioteca Digital de Teses e DissertaçõesPUBhttp://repositorio.unicamp.br/oai/tese/oai.aspsbubd@unicamp.bropendoar:2019-06-24T13:19:56Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)false
dc.title.none.fl_str_mv Computação paraconsistente : uma abordagem logica a computação quantica
Paraconsisted computation : a logic approach to quantum
title Computação paraconsistente : uma abordagem logica a computação quantica
spellingShingle Computação paraconsistente : uma abordagem logica a computação quantica
Agudelo, Juan Carlos Agudelo
Funções computáveis
Máquinas de Turing
Circuitos lógicos
Computação quântica
Computability theory
Turing machines
Logical circuits
Quantum computation
title_short Computação paraconsistente : uma abordagem logica a computação quantica
title_full Computação paraconsistente : uma abordagem logica a computação quantica
title_fullStr Computação paraconsistente : uma abordagem logica a computação quantica
title_full_unstemmed Computação paraconsistente : uma abordagem logica a computação quantica
title_sort Computação paraconsistente : uma abordagem logica a computação quantica
author Agudelo, Juan Carlos Agudelo
author_facet Agudelo, Juan Carlos Agudelo
author_role author
dc.contributor.none.fl_str_mv Carnielli, Walter Alexandre, 1952-
Coniglio, Marcelo Esteban
Finger, Marcelo
Oliveira, Marcos César de
Pessoa Junior, Osvaldo
Universidade Estadual de Campinas. Instituto de Filosofia e Ciências Humanas
Programa de Pós-Graduação em Filosofia
UNIVERSIDADE ESTADUAL DE CAMPINAS
dc.contributor.author.fl_str_mv Agudelo, Juan Carlos Agudelo
dc.subject.por.fl_str_mv Funções computáveis
Máquinas de Turing
Circuitos lógicos
Computação quântica
Computability theory
Turing machines
Logical circuits
Quantum computation
topic Funções computáveis
Máquinas de Turing
Circuitos lógicos
Computação quântica
Computability theory
Turing machines
Logical circuits
Quantum computation
description Orientador: Walter Alexandre Carnielli
publishDate 2009
dc.date.none.fl_str_mv 2009
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/doctoralThesis
format doctoralThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://hdl.handle.net/20.500.12733/1610668
AGUDELO, Juan Carlos Agudelo. Computação paraconsistente: uma abordagem logica a computação quantica. 2009. 161 p. Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1610668. Acesso em: 15 mai. 2024.
url https://hdl.handle.net/20.500.12733/1610668
identifier_str_mv AGUDELO, Juan Carlos Agudelo. Computação paraconsistente: uma abordagem logica a computação quantica. 2009. 161 p. Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1610668. 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/470540
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
161 p. : il.
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_ 1799138461392830464