Caro Rodrigo, Vale a pena prestar atenção ao que diz o artigo
Turing Oracle Machines, Online Computing, and Three Displacements in Computability Theory<http://www.people.cs.uchicago.edu/~soare/History/turing.pdf> 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<http://www.sns.ias.edu/~tlusty/courses/InfoInBio/Papers/vonNeumann1951.pdf>”, 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<http://www.philosophie.uni-hamburg.de/Lehre/SS12/55-122-28_/tarski.pdf>(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
