Caros colegas: Disponho de um acervo digital que, só em Lógica e Matemática, já totaliza cerca de 8600 livros, organizados em pastas nas mais diversas subáreas destes assuntos. Este acervo possui também, em Filosofia, mais 1460 livros, incluindo diversos ramos não ocidentais. Entre outros assuntos, estão cobertas as áreas Ciências da Natureza, Composição de Documentos Científicos, Inglês, LaTeX, Informática, etc. Nas pastas de quase todos os assuntos (se forem de um âmbito suficientemente amplo) há uma extensa classificação por subpastas. Na área de Matemática, fiz uma busca cuidadosa, sem filtros, em alguns sítios, entre eles o Gigapedia.com e o Library.nu, examinando livro por livro. Em outras áreas utilizei o filtro "Logic", pois o meu objetivo sempre foi o de pesquisar assuntos em torno do tema Lógica. Trabalhei nisto por cerca de dois anos, em várias horas por dia, às vezes noites inteiras. Neste trabalho fui gradualmente desenvolvendo o meu próprio método de como fazer isto da melhor forma. Quem examinar este acervo poderá avaliar em que medida fui bem sucedido, ou não. Creio que deve atender razoavelmente bem às necessidades da maioria dos docentes que lidam com Lógica, Matemática e/ou Filosofia. Levarei um disco externo por ocasião deste próximo EBL, para quem quiser copiar. Recomendo aos interessados trazerem um disco externo com uma capacidade de pelo menos 130 GB. a) Arthur Buchsbaum
-----Mensagem original----- De: [email protected] [mailto:[email protected]] Em nome de Joao Marcos Enviada em: segunda-feira, 2 de maio de 2011 19:30 Para: Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA Assunto: [Logica-l] Fwd: First CFP: DML 2011--Towards a Digital Mathematics Library, Bertinoro, July 20-21st Duas notícias relacionadas, de potencial interesse para os membros desta lista: (A) a CFP de um congresso sobre a construção de bibliotecas digitais universais de matemática (B) a existência online de um wiki com matemática formalizada e verificada: http://wikiproofs.org/ comentários em: http://slawekk.wordpress.com/2011/04/13/the-first-formalized-math-wiki-is-he re/ ver ainda, para o estado da arte do wiki do Mizar: http://mws.cs.ru.nl/mwiki/ Saudações lógicas, JM _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
