Colegas:
Descobri (obrigado ao colega Mamede Lima-Marques da UnB que me chamou a atenção para o artigo) que um povinho nutrido ali do Departamento de Física da University of California (Santa Barbara) publicou uma conclusão, para mim muitíssimo interessante, na Nature 461, 504-506 (24 September 2009) , doi:10.1038/nature08363 que concorda com uma conclusão nossa: Em ``Violation of Bell's inequality in Josephson phase qubits" ( Markus Ansmann, H. Wang, Radoslaw C. Bialczak, Max Hofheinz, Erik Lucero, M. Neeley, A. D. O'Connell, D. Sank1, M. Weides, J. Wenner1, A. N. Cleland & John M. Martinis) o grupo de 12 autores afirma: ``The “paddle” was then both vibrating and not vibrating (in excess of the quantum limit) at the same time, or in other words, was in a superposed phonon state. '' e ``It is impossible to understand quantum mechanics using classical logic. Quantum logic is the only way to understand quantum mechanics, and understanding quantum logic can be a powerful thing. '' Acho que isso mostra o quanto nossas "paraconsistent Turing machines" (Juan Carlos Agudelo e eu) que rodam algoritmos quânticos podem estar no caminho certo! Agudelo, Juan C. and Carnielli, Walter. Paraconsistent Machines and their Relation to Quantum Computing. Journal of Logic and Computation vol. 20, no. 2, pp. 573-595, 2010 O interessante é que nosso artigo foi publicado online em novembro de 2009, um pouco depois do deles, mas é claro que havia sido recebido pela revista meses antes, cf. doi:10.1093/logcom/exp072 . O que eles chamam de "quantum logic" é completamente aberto e vago-- o que eles buscam é um mecanismo lógico que possa expressar essa contradição, o que obviamente é tarefa para o paradigma paraconsistente; assim argumentamos nós em nosso artigo, e conseguimos exemplos surpreendentes. Minha intenção aqui não é fazer nenhuma apologia, nem menos jogar auto-confetes e serpentinas, mas chamar a atenção dos colegas mais competentes que eu em mecânica quântica e sua relação com lógica para que não deixem a ideia morrer! Um abraço, Walter -- ++++++++++++++++++++++++++++++++++++ Prof. Dr. Walter Carnielli Director Centre for Logic, Epistemology and the History of Science – CLE State University of Campinas –UNICAMP 13083-859 Campinas -SP, Brazil Phone: (+55) (19) 3521-6517 Fax: (+55) (19) 3289-3269 e-mail: [email protected] Website: http://www.cle.unicamp.br/prof/carnielli _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
