[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