Parabéns, Walter e Juan Carlos.
Belo trabalho.
D.

________________________________
Decio Krause
Departamento de Filosofia
Universidade Federal de Santa Catarina
88040-990 Florianópolis, SC -- Brasil
[email protected]
www.cfh.ufsc.br/~dkrause
________________________________

"But there is a contradiction here!---Well, then there is a contradiction here. Does it do any harm here?" (Wittgenstein, Remarks on the Foundations of Mathematics)




Em 21/01/2010, às 11:17, Walter Carnielli escreveu:

Preaso Clegas:

passo a vocês a repercussão das  nossas  tentativas de  misturar (de
verdade) lógica e computação


abs,


Walter

http://www.agencia.fapesp.br/materia/11661/em-busca-da-computacao-quantica.htm#
--

+++++++++++++++++++++++++++++++++++++++++++++++++
Walter Carnielli
Centre for Logic, Epistemology and the History of Science – CLE
State University of Campinas –UNICAMP
P.O. Box 6133 13083-970 Campinas -SP, Brazil
Phone: (+55) (19) 3788-6519
Fax: (+55) (19) 3289-3269
e-mail: [email protected]
Website: http://www.cle.unicamp.br/prof/carnielli



--

+++++++++++++++++++++++++++++++++++++++++++++++++
Walter Carnielli
Centre for Logic, Epistemology and the History of Science – CLE
State University of Campinas –UNICAMP
P.O. Box 6133 13083-970 Campinas -SP, Brazil
Phone: (+55) (19) 3788-6519
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

Responder a