Robin Gandy era aluno de Alan Turing .
Gandy fez uma análise do Analytical Engine de Babbage (veja 'Gandy - A confluência de idéias em 1936' citado em 'Herken, Rolf - A Máquina Universal de Turing - Uma Pesquisa de Meio Século . Springer Verlag') - e disse que sim (cf. 52-53):
- As funções aritméticas +, -, ×, onde - indica a subtração "adequada" x - y = 0 se y ≥ x.
- Qualquer sequência de operações é uma operação.
- Iteração de uma operação (repetindo n vezes uma operação P).
- Iteração condicional (repetir n vezes uma operação P condicional ao "êxito" do teste T).
- Transferência condicional (isto é, "ir" condicional).
Então ele afirma
as funções que podem ser calculadas por (1), (2) e (4) são precisamente aquelas que são computáveis em Turing.
(p. 53)
Então ele afirma:
… A ênfase está na programação de uma sequência iterável fixa de operações aritméticas. A importância fundamental da iteração condicional e da transferência condicional para uma teoria geral das máquinas de calcular não é reconhecida…
Gandy p. 55
Estou avaliando o escopo da reivindicação de Gandy aqui. (Se está certo ou errado). Ele parece estar afirmando que, embora Babbage pareça ter tropeçado em uma noção de Completude de Turing (pode expressar qualquer programa usando (1), (2) e (4)), ele não tinha noção de uma Função Computável . Gandy estava dizendo que, como o trabalho de Babbage era anterior ao trabalho de Hilbert e Godel , ele não tinha as ferramentas matemáticas para amarrar a definição de uma máquina de computação universal.)
Minha pergunta é: o aluno de Alan Turing, Robin Gandy, afirmou que Charles Babbage não tinha noção de uma máquina de computação universal?
Respostas:
Não, pelo contrário. Essa citação de Gandy não se refere a Babbage, mas a algumas propostas de computação em estilo universal entre Babbage e Turing. Gandy diz que essas propostas não tiveram o reconhecimento de Babbage da importância da ramificação e iteração para a computação universal.
Em "A Confluência de Ideias em 1936", de Gandy, conforme impresso no livro "A Máquina Universal de Turing - Uma Pesquisa de Meio Século", a Seção 2 é "Babbage e Seus Seguidores".
Aqui, Gandy enfatiza que Babbage compreendeu e respeitou "iteração condicional" e "transferência condicional", por exemplo, final da p53 e topo da p54
(Aqui Gandy se refere ao artigo de Menabrea 1842 sobre o mecanismo de Babbage, mas parece atribuir as idéias ao próprio Babbage.)
Gandy então cita Babbage
e escreve
Em seguida, Gandy segue para a Seção 2.3, "Desenvolvimentos subsequentes". Ele escreve
Por fim, Gandy escreve:
fonte