| Processo: | 05/04123-3 |
| Modalidade de apoio: | Bolsas no Brasil - Doutorado |
| Data de Início da vigência: | 01 de junho de 2006 |
| Data de Término da vigência: | 31 de janeiro de 2010 |
| Área de 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 | |
| TITULO | |
| Matéria(s) publicada(s) em Outras Mídias ( ): | |
| Mais itensMenos itens | |
| VEICULO: TITULO (DATA) | |
| VEICULO: TITULO (DATA) | |