Computador quântico está bem próximo
A pesquisa, desenvolvida pelo Professor Walter Carnielli, do Centro de Lógica, Epistemologia e História da Ciência e do Departamento de Filosofia, e por seu orientando de doutorado, o colombiano Juan Carlos Agudelo, dá pistas para o avanço da informática quântica ao utilizar a lógica paraconsistente como fundamento para a elaboração de algoritmos voltados a esse modelo.
Por exemplo, um comando que indique virar à esquerda e à direita simultaneamente.
- Ou, mais dramaticamente, a transmissão de informações contraditórias de velocidade ao computador de bordo, como no caso da queda do voo 447 da Air France. A falta de controle racional da contradição tem como consequência, num caso desses, o desligamento do piloto automático, obrigando o comandante a pilotar sem nenhum instrumento, o que é extremamente difícil -, disse Carnielli.
Agudelo criou um modelo teórico que pode inspirar a criação de softwares para os computadores quânticos.
- Ao elaborar circuitos paraconsistentes, simulamos uma proposta de circuitos quânticos -, disse Agudelo.
Na versão quântica, essa concepção moderna da máquina de Turing admite não um, mas um conjunto de posições que seriam inconcebíveis para a lógica clássica, como, por exemplo, um comando que faça a fita correr para a esquerda e para a direita simultaneamente.
- Na lógica paraconsistente esses estados são superpostos, como se fossem empilhados -, explicou Agudelo.
- Os sistemas de criptografia atuais se baseiam em um código formado por um número grande que, para ser quebrado, deve ser decomposto em números primos -, explicou. Quanto maior forem esses fatores primos, mais difícil será a descoberta do código.
No entanto, com o advento do modelo de processamento quântico essa criptografia tradicional será atacada com muita facilidade, estima Carnielli.
- O esquema criptográfico conhecido como RSA, largamente utilizado no comércio digital, em bancos e compras com cartões de crédito pela internet, baseia-se no fato de que é computacionalmente muito difícil conseguir fatorar um número grande no produto de dois números primos -, disse.
- O tempo estimado, por exemplo, para se conseguir fatorar um número de 2048 bits (chave de uma criptografia RSA) ultrapassaria a idade da Terra. Um algoritmo quântico, no entanto, realizaria essa tarefa em menos de 6 horas. Dessa forma, com os computadores quânticos as chaves RSA perderiam completamente sua eficácia. Esse problema motivou a criação da criptografia quântica. Nessa tendência, crescem os investimentos feitos em pesquisas de criptografia quântica a fim de fazer frente aos futuros computadores e apresentar um sistema de codificação praticamente inexpugnável -, disse.
Para o professor da Unicamp, as máquinas quânticas devem começar pequenas.
- Antes do computador quântico, devem surgir estruturas mais simples, como o chip e o mouse quântico -, indicou.
Carnielli ressalta que a computação quântica é uma nova fronteira a ser explorada do ponto de vista científico, industrial e comercial.
- Aspectos essenciais a serem explorados são as correlações não-clássicas e a grande variedade de graus de liberdade em alto grau de desempenho computacional. A questão é estratégica a ponto de não poder ser negligenciada em nenhum aspecto da computação, ainda mais quando se têm presentes as limitações impostas pela chamada Lei de Moore -, disse.
- O projeto, que envolve alto custo e considerável complexidade, encontra-se em fase de negociação para financiamento por parte de empresas estrangeiras, prevendo um prazo de implantação inicial de dois anos e a criação de empresas incubadas -, explicou Carnielli.