[FOM] Difference Engine
praatika@mappi.helsinki.fi
praatika at mappi.helsinki.fi
Fri Feb 10 06:07:56 EST 2006
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.
Best, Panu
Panu Raatikainen
Ph.D., Academy Research Fellow,
Docent in Theoretical Philosophy
Department of Philosophy
P.O. Box 9
FIN-00014 University of Helsinki
Finland
E-mail: panu.raatikainen at helsinki.fi
http://www.helsinki.fi/collegium/eng/Raatikainen/raatikainen.htm
Quoting José Félix Costa <fgc at math.ist.utl.pt>:
>
> 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
> +++++++++++++++++++++++++++++++++++++++++++++++
>
> _______________________________________________
> FOM mailing list
> FOM at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/fom
>
More information about the FOM
mailing list