Muito obrigado Ruy, excelente referência. Esse artigo do Soare contém o que eu gostaria de ver.
Abraço Rodrigo 2013/6/11 Ruy de Queiroz <r...@cin.ufpe.br>: > Caro Rodrigo, > > Vale a pena prestar atenção ao que diz o artigo > > Turing Oracle Machines, Online Computing, and Three Displacements in > Computability Theory > Robert I. Soare > > > sobretudo no que concerne a algumas referências à opinião de Gödel (em 1955) > sobre as contribuições de Turing: > > “When I first published my paper about undecidable propositions the result > could not be pronounced in this generality, because for the notions of > mechanical procedure and of formal system no mathematically satisfactory > definition had been given at that time. ... > The essential point is to define what a procedure is.” > “That this really is the correct definition of mechanical computability was > established beyond any doubt by Turing.” > > > > Johan von Neumann é outro que se rende à originalidade de Turing, sobretudo > no que diz respeito à noção de "máquina/autômato universal": > > “An automaton is “universal” if any sequence that can be produced by any > automaton whatsoever can also be produced by this automaton.” > “Turing observed that a completely general description of any conceivable > automaton can be (in the sense of the above definition) given in a finite > number of words.” > (“The General and Logical Theory of Automata”, Setembro 1948) > > > > Sobre a noção de máquina universal, Martin Davis diz: > > “People had been thinking about calculating machines for a long time, since > Leibniz’s time and even earlier. > Before Turing the general supposition was that in dealing with such machines > the three categories, machine, program, and data, were entirely separate > entities. The machine was a physical object; today we would call it > hardware. The program was the plan for doing a computation, perhaps embodied > in punched cards or connections of cables in a plugboard. Finally, the data > was the numerical input. > Turing’s universal machine showed that the distinctness of these three > categories is an illusion" > > The Universal Computer (2000) > > > > Resolver negativamente o Entscheidungsproblem de Hilbert através de um > modelo razoavelmente intuitivo de máquina/algoritmo não foi pouca coisa, > principalmente para o próprio desenvolvimento da Lógica Matemática. > > Abraço, > Ruy > > > > Em 11 de junho de 2013 21:11, Rodrigo Freire <freires...@gmail.com> > escreveu: >> >> 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 > > _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
