[FOM] Difference Engine

José Félix Costa fgc at math.ist.utl.pt
Mon Feb 13 12:20:03 EST 2006

Panu Raatikainen wrote:

This is probably not the reference you meant, but anyway, the relation
between Babbage's engine and Turing computability etc. is discussed also
here: Gandy, Robin (1988) "The confluence of ideas in 1936", in: Rolf Herken
(ed.) The Universal Turing Machine. A Half-Century Survey, Oxford University
Press, Verlagen Berlin, 55-111.


Many thanks.
However, there is one paper with a full proof of equivalence (a simulation
of a generic Turing machine, let us say).
I had the that paper, but it disapeared.

J. Felix Costa
Departamento de Matematica
Instituto Superior Tecnico
Av. Rovisco Pais, 1049-001 Lisboa, PORTUGAL
tel:      351 - 21 - 841 71 45
fax:     351 - 21 - 841 75 98
e-mail:   fgc at math.ist.utl.pt
www:    http://fgc.math.ist.utl.pt/jfc.htm

More information about the FOM mailing list