Rickert on embedded computation (was re: science of consciousness.)
Patrick Juola
patrick at gryphon.psych.ox.ac.uk
Thu Apr 30 03:54:55 EST 1998
In article <6i88a8$j7g at ux.cs.niu.edu> rickert at cs.niu.edu (Neil Rickert) writes:
>andersw+ at pitt.edu (Anders N Weinstein) writes:
>>In article <6i7h70$gij at ux.cs.niu.edu>, Neil Rickert <rickert at cs.niu.edu> wrote:
>>>andersw+ at pitt.edu (Anders N Weinstein) writes:
>>>There are things that are being done by the computer on my desk that
>>>I could not map into a Turing machine.
>
>>>I'm not talking 'analog'. My concern is with interaction. A Turing
>>>machine is not interactive. A person is, and the computer on my desk
>>>is.
>
>>Formal models of computation treat *interaction* in terms of
>>symbols getting written onto the tape memory. This seems a
>>pretty good model of how the operating system code views a device.
>
>Right. But you generally have to model this as a Turing machine with
>oracle. You can't model it as a plain Turing machine. The oracle
>places the interactive symbols on the tape in a way that is not
>predictable from within the Turing machine model.
But Turing machines neither need nor are expected to predict their
inputs.
-kitten
More information about the Neur-sci
mailing list