Busca avançada
Ano de início
Entree

Computacao quantica, computacao paraconsistente e logica: interrelacoes e fundamentos dos algoritmos quanticos.

Processo: 05/04123-3
Modalidade de apoio:Bolsas no Brasil - Doutorado
Vigência (Início): 01 de junho de 2006
Vigência (Término): 31 de janeiro de 2010
Área do conhecimento:Ciências Humanas - Filosofia - Lógica
Pesquisador responsável:Walter Alexandre Carnielli
Beneficiário:Juan Carlos Agudelo Agudelo
Instituição Sede: Centro de Lógica, Epistemologia e História da Ciência (CLE). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil
Assunto(s):Lógica paraconsistente   Computação quântica
Palavra(s)-Chave do Pesquisador:Calculo De Polinomios | Computacao Paraconsistente | Computacao Quantica | Logica Paraconsistente | Computabilidade

Resumo

A computação quântica é hoje uma área de intensa atividade de pesquisa e que desperta grande interesse, devido em grande parte ao algoritmo quântico construído por Peter Shor para fatoração de inteiros em tempo polinomial, um problema para o qual não se conhece solução polinomial por meio de algoritmos clássicos. Mesmo com o resultado de Shor e desenvolvimento subsequente, as verdadeiraspotencialidades da computação quântica ainda não são claras. Com este projeto se pretende oferecer uma melhor explicação do papel que desempenham algumas características essenciais da computação quântica (superposição de estados, paralelismo quântico, estados emaranhados e interferência quântica) na construção de algoritmos quânticos eficientes. Para tal fim, a abordagem que se propõe pode-se dividir em duas frentes. A primeira consiste em estabelecer relações entre modelos de computação quântica e modelos de computação paraconsistentes, abrindo a possibilidade de interpretar, de maneira original, as características da computação quântica. A segunda frente consiste em estudar a lógica subjacente aos modelos de computação quântica e, por meio dela, oferecer uma nova fundamentação lógica às características da computação quântica. A interpretação e a fundamentação lógica das características da computação quântica, tal como as interpretações da mecânica quântica, não se resumem a aspectos técnicos, mas estão ligadas a problemas filosóficos tão relevantes como a questão ontológica da realidade física. Avanços nainterpretação e fundamentação lógica da computação quântica podem influenciarem avanços no mesmo sentido na mecânica quântica.

Matéria(s) publicada(s) na Agência FAPESP sobre a bolsa:
Mais itensMenos itens
Matéria(s) publicada(s) em Outras Mídias ( ):
Mais itensMenos itens
VEICULO: TITULO (DATA)
VEICULO: TITULO (DATA)

Publicações científicas
(Referências obtidas automaticamente do Web of Science e do SciELO, por meio da informação sobre o financiamento pela FAPESP e o número do processo correspondente, incluída na publicação pelos autores)
AGUDELO, JUAN C.; CARNIELLI, WALTER. POLYNOMIAL RING CALCULUS FOR MODAL LOGICS: A NEW SEMANTICS AND PROOF METHOD FOR MODALITIES. Review of Symbolic Logic, v. 4, n. 1, p. 150-170, . (05/04123-3, 04/14107-2)
Publicações acadêmicas
(Referências obtidas automaticamente das Instituições de Ensino e Pesquisa do Estado de São Paulo)
AGUDELO, Juan Carlos Agudelo. Computação paraconsistente: uma abordagem logica a computação quantica. 2009. Tese de Doutorado - Universidade Estadual de Campinas (UNICAMP). Instituto de Filosofia e Ciências Humanas Campinas, SP.

Por favor, reporte erros na lista de publicações científicas utilizando este formulário.