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

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.