Portal UNICAMP ' Evento relembra centenário de Alan Turing, o "pai da computação moderna' http://www.unicamp.br/unicamp/noticias/2012/09/12/evento-relembra-centenario-de-alan-turing-o-pai-da-computacao-moderna
Ref: https://sites.google.com/site/colloquiumlogicae/ Próximo evento: 20 de setembro Entre outros, "O Problema da Parada: Alan Turing, de Leibniz a Gödel" Palestrante: Walter Carnielli http://turing100.fee.unicamp.br/programacao.html -- ----------------------------------------------- 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 Institutional 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
