[FOM] Difference Engine

[José Félix Costa]

I was not able to find within my things,
a paper published in the last 5 years
with the proof that Babbage's Difference Engine (equipped with Ada's routine
language) is equivalent to the Turing's model.

Can someone help me with this reference?


+++++++++++++++++++++++++++++++++++++++++++++++
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
+++++++++++++++++++++++++++++++++++++++++++++++