[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