Prezados, Parece-me que uma forma de lidar com a 'inconsistencia' em sistemas é usar fuzzy logic para escapar da dicotomizacao 'pertence ou nao-pertence'. Na pesquisa de voces, como a inconsistencia é resolvida? Vou ler o artigo depois.
Abraços, Carlos. 2011/6/11 Decio Krause <[email protected]> > Walter > Vou ver o artigo deles em Nature (se você tiver, me manda que facilita), > pois me interessa a parte teórica disso. Porém, o seu resultado parece > indicar algo realmente legal, e então vocês merecem os confetes. Mas eu > quero ver o que eles entendem por exemplo por "at the same time" e outros > bichos. Obrigado pela dica. > Abraço, > D. > > ________________________________ > Decio Krause > Departamento de Filosofia > Universidade Federal de Santa Catarina > 88040-940 Florianópolis, SC -- Brasil > deciokrause[at]gmail.com > www.cfh.ufsc.br/~dkrause <http://www.cfh.ufsc.br/%7Edkrause> > ________________________________ > "He [God] will never choose among indiscernibles" > (G.W.Leibniz) > > > > > > > Em 11/06/2011, às 11:39, Walter Carnielli escreveu: > > > 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 > > _______________________________________________ > Logica-l mailing list > [email protected] > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > -- Carlos D Santos Jr., PhD Research Fellow @ University of Nottingham https://www.horizon.ac.uk/ _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
