[FOM] Difference Engine
a.hazen at philosophy.unimelb.edu.au
Mon Feb 13 23:38:46 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.
To which José Felix Costa said
>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.
To which I say:
It's been a few years since I read the Gandy paper Panu referes
to, but my recollection is that it does something like that: shows
that Babbage's machine could perform each of a set of operations
(computing some basic functions, minimization-- that sort of thing)
known to suffice for a universal computer. It's also very readable.
University of Melbourne
More information about the FOM