O aluno de Alan Turing, Robin Gandy, afirmou que Charles Babbage não tinha noção de uma máquina de computação universal?

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):

1. As funções aritméticas +, -, ×, onde - indica a subtração "adequada" x - y = 0 se y ≥ x.
2. Qualquer sequência de operações é uma operação.
3. Iteração de uma operação (repetindo n vezes uma operação P).
4. Iteração condicional (repetir n vezes uma operação P condicional ao "êxito" do teste T).
5. 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?

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

Embora Babbage mencione transferência condicional (67-68), ele, com um respeito natural pela programação bem estruturada, usa apenas iteração condicional [...]. Ele declara explicitamente a transferência condicional (240), permitindo que uma instrução 'vá para' pode ter que ser executado tocando uma campainha para convocar o atendente; ele dá um exemplo de seu uso (241).

(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

Que todo o desenvolvimento e operações de análise agora são capazes de serem executados por máquinas.

e escreve

Babbage, em seu trabalho sobre álgebra geral e equações funcionais, mostrou sua capacidade de pensar em termos abstratos. Se, então, alguém o levasse a especular (não é difícil!) O que poderia ser feito com uma máquina abstrata, livre de limitações em seu armazenamento, ele certamente teria consentido com uma versão (com base nas Seções 2.1. (1) - (5)) da tese da Igreja.

Em seguida, Gandy segue para a Seção 2.3, "Desenvolvimentos subsequentes". Ele escreve

Outros autores, preocupados com máquinas mais práticas, se referiram ao trabalho de Babbage. Exemplos de Ranell, 1982: M. d'Ocagne [1922], L. Couffignal [1933], V. Bush 1936, HH Aiken 11964] (que é um memorando não publicado de 1937). Mas 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, embora os princípios possam ser usados ​​em contextos muito particulares [...]

Por fim, Gandy escreve:

Conclusões Babbage afirmou o que era, de fato, uma versão da tese de Church. Seu trabalho nunca foi totalmente esquecido, mas sua importância teórica - sua importância, por assim dizer, como software - foi pouco reconhecida [...]