Alguem comentou o trabalho de Turing de 1939 sobre sequências de teorias? Foi seu doutorado, creio.
Sent from my iPhone On 11/06/2013, at 21:45, Ruy de Queiroz <[email protected]> wrote: > 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 <[email protected]>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 >> [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
