Caro Eduardo, Será lançado no evento, é um livro de Teoria da Recursão do Prof. Matias Francisco Dias.
http://www.editoraunesp.com.br/titulo_view.asp?IDT=1169 AUTOR(ES): DIAS, MATIAS FRANCISCO E WEBER, LEONARDO SINOPSE: Na década de 30 do século passado, antes dos modernos computadores digitais, alguns lógicos já haviam descoberto certos problemas insolúveis por métodos algorítmicos, isto é, problemas insuscetíveis de serem resolvidos por meio de um computador. Foi uma descoberta impressionante, que impactou profundamente a lógica, a matemática, a filosofia, e lançou as bases teóricas da futura ciência da computação. Teoria da recursão, de Matias Francisco Dias e Leonardo Weber, lançamento da Editora Unesp, oferece uma visão clara do que se faz atualmente no terreno dos mais interessantes e significativos deste campo. O ponto de partida da teoria da recursão - disciplina que também é conhecida sob outras designações, como "teoria da computabilidade" ou "teoria das funções recursivas" - consiste em analisar conceitualmente, em termos matematicamente precisos, as noções intuitivas de algoritmo e função algorítmica. Lógicos como Herbrand, Post, Gödel, Turing, Church e Kleene conceberam os primeiros modelos matemáticos abstratos de computação, que orientariam a construção de computadores reais nas décadas seguintes. As questões básicas que motivaram tais modelos eram: qual a natureza da computação? Quais os requisitos mínimos para que um agente, humano ou não (como uma máquina), seja capaz de computar certos problemas, isto é, resolvê-los por meios algorítmicos? Que tipos de problemas são computáveis, ou algoritmicamente solúveis? Há problemas incomputáveis? O estudo sistemático desses modelos abstratos é aqui apresentando em uma abordagem tematicamente unificada. Como lembra Newton da Costa, no prefácio, "o caráter matemático da teoria da recursão é óbvio e o leitor atento tomará, então, consciência plena do espírito que norteia a investigação lógica de nosso tempo". E também comenta que o trabalho de Matias Francisco Dias e Leonardo Weber "preenche uma lacuna na literatura especializada - em língua portuguesa", e que tende "a se tornar um clássico entre nós." Abraços, Dídimo Matos http://didimogeorge.blogspot.com/ http://twitter.com/didimogeorge _______________________ "Se você não está preocupado, deve estar mal informado." From: Eduardo Ribeiro Sent: Monday, July 26, 2010 1:49 PM To: Dídimo Matos Subject: Re: [Logica-l] Off-topic: Marcelo Gleiser e "Criação Imperfeita" Caro Dídimo, Parabéns, pelo evento, que será sem dúvida um sucesso! Fiquei curioso a respeito do livro que mencionas na mensagem. De que se trata? Já está lançado? Gostaria de garantir um exemplar... Abraço Amigo, Eduardo Em 26 de julho de 2010 12:49, Dídimo Matos <[email protected]> escreveu: Prof. Dória e todos, Em agosto estaremos realizando na UFPB uma homenagem ao professor Newton da Costa. Aproveitaremos o lançamento do livro do Prof. Matias Francisco Dias sobre Teoria da Recursão, que será no dia 19, e faremos um pequeno encontro de 3 dias (17, 18 e 19 de agosto deste ano) para discutir suas teorias e seu trabalho, bem como trabalhos de seus amigos e colaboradores. Sintam-se todos convidados e quem tiver interesse em apresentar trabalhos no encontro mandem um resumo em português para meu e-mail ([email protected]) até o dia 31 de julho de 2010. Enviarei a programação em breve. Abraços, Dídimo Matos http://didimogeorge.blogspot.com/ http://twitter.com/didimogeorge _______________________ "Se você não está preocupado, deve estar mal informado." From: Francisco Antonio Doria Sent: Monday, July 26, 2010 7:32 AM To: Alvaro Augusto (L) Cc: "Lista acadêmica brasileira dos profissionais e estudante"@dimap.ufrn.br ; s da área de LOGICA Subject: Re: [Logica-l]Off-topic: Marcelo Gleiser e "Criação Imperfeita" Marcelo foi meu aluno de mestrado... Essas ideias dele vêm de longe. 2010/7/22 Alvaro Augusto (L) <[email protected]> Alguém já teve oportunidade de ler o último livro de Marcelo Gleiser, "Criação Imperfeita"? Cometi a temeridade de publicar uma resenha no meu blog, que pode ser acessada em http://alvaroaugusto.blogspot.com/2010/07/criacao-imperfeita-de-marcelo-glei ser.html . Gostaria de conhecer mais opiniões sobre uma das teses dele: a de que a busca por uma teoria final (supercordas, etc.) deve-se à influência do monoteísmo pitagórico na ciência ocidental. Abraços, Alvaro Augusto _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l -- fad ahhata alati, awienta Wilushati ------------------------------------------------------------------------------ _______________________________________________ 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
_______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
