Caros Ótimas respostas.
Alguns comentários e questões: 1- Walter: Pelo que me lembro, o livro de computabilidade adota o enfoque de Post para as máquinas de Turing, segundo o qual uma máquina de Turing é um conjunto finito de quadruplas, e não de quintuplas como fez o Turing? 2- O livro do Martin Davis, computability and unsolvability adota o enfoque de Post para máquinas de Turing. (página 5). 3- O Marcelo Finger respondeu muito bem sobre as motivações políticas em torno desse fenômeno de homenagens ao Turing. 4- O Jean Yves já respondeu a Valeria, mas o Martin Davis é de fato uma espécie de filho intelectual do Post. 5- Entendo que a homenagem ao Turing é uma homenagem à Lógica através de uma figura que tem apelo fora do meio restrito de lógicos. Mas acho que há alguns exageros. Por exemplo, por que a capa do recém criado journal "Computability" é uma imagem do Turing? Em que isso homenageia a lógica? Olhando para os conteúdos já publicados nesse journal, vejo que são artigos de computabilidade comparáveis aos que aparecem em outras revistas de lógica, e nada especialmente ligado ao Turing. 6- Enfim, me parece que o Post deveria ser considerado o "father of computer science" e não o Turing, como afirma o Barry Cooper. Certamente há pessoas na lista muito mais qualificadas que eu para fazer esse tipo de julgamento e eu gostaria de ouvir a opinião dos membros da lista sobre isso. Abraço Rodrigo _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
