Consegui o arquivo. Muito grato, é um grande presente!!! A pessoa que escaneou o mesmo fez um trabalho de profissional!
Eu estou aprendendo a fazer o mesmo. Compro ou consigo um exemplar do livro, peço a um bibliotecário ou profissional afim para desfiar o livro, e passo folha por folha do mesmo, incluindo a capa e contracapa, no meu escâner, usando o Document Express (http://www.celartem.com/en/products/djvu.asp), que gera um documento em djvu com uma qualidade excelente, e um arquivo de tamanho reduzido. No final, o mesmo profissional reconstitui para mim o livro, do qual passo a ter tanto a versão impressa como um arquivo em djvu para compartilhar com os demais. Considero o formato djvu muito superior ao formato pdf, que ainda é mais conhecido e popular. Com isto, estou formando uma biblioteca digital de livros de Lógica e assuntos afins (Matemática, Filosofia, Computação, etc.), a qual venho compartilhando com meus alunos e outros interessados. Em breve, vou enviar um DVD com este material para aqueles que me solicitaram. O processo antigo de comprar, fotocopiar e/ou pegar livros impressos emprestados é muito oneroso e ineficaz. Em geral, nem eu nem meus alunos podemos comprar legalmente o que necessitamos, e precisamos consultar várias fontes bibliográficas. As bibliotecas universitárias, mesmo que tivessem um acervo mais completo, também não podem atender na demanda necessária, pois precisamos dispor permanentemente de certas obras, e não apenas tomá-las emprestado por algumas semanas. a) Arthur Buchsbaum De: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] Em nome de Adolfo Neto Enviada em: quinta-feira, 9 de outubro de 2008 00:00 Para: Arthur Buchsbaum Assunto: Re: [Logica-l] RES: Livro sobre matemáticos e as origens do computador Oi Arthur, É só clicar na bandeira da inglaterra que fica em inglês... []s Adolfo ========================================== 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 ========================================== 2008/10/8 Arthur Buchsbaum <[EMAIL PROTECTED]> 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 <http://www.dainf.ct.utfpr.edu.br/%7Eadolfo> Blog: http://professoradolfo.blogspot.com ==========================================
_______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
