Bruno wrote:

> Of course the reversal result introduces ambiguity in expressions  
> like "mental activity". That is why I sum up "comp" by YD + CT + AR.  
> ("Yes doctor" + Church Thesis + Arithmetical realism).

But if "comp" is computationalism, that is the doctrine that our
mental processes can be modelled/reproduced by computational activity.
This would seem to correspond to Bruno's "Yes Doctor".  That is, you
say "yes" to a doctor who wants to replace your mind with a computer,
at least if it is done carefully and correctly.  If you believe in
computationalism, then you should believe that a computer could reproduce
and substitute for the activity of your mind.  (Some people have qualms
about the details of the transfer process from the mind to the computer,
but they are often satisfied if the change is done slowly, perhaps one
neuron at a time.)  Likewise if you would accept that your mind could
be substituted by a computer, you are a computationalist.

So where do the Church Thesis and Arithmetical realism come into play
as part of the DEFINITION of "comp"?  I don't understand this.

Hal Finney

Reply via email to