O sítio está em russo, daí não consigo saber onde clicar para importar o arquivo do referido livro, se este estiver disponível. Sabes como proceder?
De: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] Em nome de Adolfo Neto Enviada em: quarta-feira, 8 de outubro de 2008 15:29 Para: Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA Assunto: [Logica-l] Livro sobre matemáticos e as origens do computador Engines of Logic: Mathematicians and the Origin of the Computer Author: Martin Davis Publisher: W. W. Norton & Company File size: 2 MB File type: djvu rared A truly excellent book. Both as a 'history of ideas' and in its consideration of the personal trials and tribulations faced by Leibniz, Frege, Boole, Hilbert, Cantor, Godel, and Turing. The book traces the development of the computer through the life and work of these logicians/mathematicians, from Leibniz's dream of a language of symbolic logic and a machine capable of producing and testing true propositions in that language. This book is relevant not only to philosophers, mathematicians, and computer scientists, but to writers who seek understanding of the relations between language and logic in the contemporary electronic landscape. It will also be a good read for anyone wishing to understand the intellectual atmospheres from which the computer arose. And it is poignant in its reflections on the fate of some of the most gifted logicians in history. Cantor spent a lot of time in sanitoriums; Godel starved himself to death over paranoia that his food was being poisoned; Alan Turing probably committed suicide by eating a poisoned apple. Fonte: http://englishtips.org/index.php?newsid=1150804312 ========================================== Adolfo Neto Departamento Acadêmico de Informática Universidade Tecnológica Federal do Paraná Fone: (41) 3310-4644 / Fax: (41) 3310-4646 Web: http://www.dainf.ct.utfpr.edu.br/~adolfo Blog: http://professoradolfo.blogspot.com ==========================================
_______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
