Computação Paraconsistente: Uma Abordagem Lógica à Computação Quântica

Via Inovação Tecnológica

Imagem Universidade James Madiso

Fabio Reynol - Agência Fapesp

A pesquisa, desenvolvida pelo Professor Walter Carnielli 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.

A computação quântica é fundamentada em conceitos criados pela física quântica, como o da superposição (quando uma partícula está em condições contraditórias simultaneamente) e do entrelaçamento (quando a alteração em uma partícula provoca o mesmo efeito em outra que se encontra distante).

Segundo Carnielli, assim como a física clássica não apresenta resposta para situações de contradição em sistemas físicos, tampouco a lógica booleana, na qual os computadores atuais se baseiam, consegue responder a configurações em que as cláusulas sejam contraditórias.

A solução encontrada pelos pesquisadores foi utilizar a chamada "lógica paraconsistente", capaz de obter resultados racionais mesmo nos casos em que duas ou mais condições não possam ocorrer (na lógica clássica) ao mesmo tempo.

Em sua tese de doutorado, intitulada Computação Paraconsistente: Uma Abordagem Lógica à Computação Quântica, 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.

O pesquisador idealizou um computador que funciona com a lógica paraconsistente.

Utilizando o esquema idealizado pelo matemático britânico Alan Turing (1912-1954)

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. [Leia+]

"Segundo Carnielli, a originalidade do trabalho está na associação da lógica paraconsistente à computação quântica. Mesmo traçando modelos iniciais básicos, eles poderão abrir caminhos para uma produção de programas para computadores quânticos."