Re: Emulation and Stuff

From: Flammarion <peterdjones.domain.name.hidden>
Date: Thu, 20 Aug 2009 02:09:59 -0700 (PDT)

On 20 Aug, 02:23, David Nyman <david.ny....domain.name.hidden> wrote:
> 2009/8/19 Flammarion <peterdjo....domain.name.hidden>:
>
>
>
>
>
> > On 19 Aug, 13:35, David Nyman <david.ny....domain.name.hidden> wrote:
>
> >> It doesn't.  It just has to be *amenable* of spelling out: i.e. if it
> >> is a posteriori compressed - for example into 'computational' language
> >> - then this demands that it be *capable* of prior justification by
> >> rigorous spelling out in physical terms for every conceptual
> >> reduction.  MGA claims to show that this is impossible for the
> >> conjunction of CTM and PM.  Of course, CTM on the basis of
> >> arithmetical realism is not spelled out either, but is immunised from
> >> physical paraphrase by making no appeal to PM for justification.
>
> > Err. yeah. The hard part is reducing mentation to computation.
> > The physical paraphrase of computation is just engineering,
>
> >> I understand both your discomfort with arithmetical realism and your
> >> defence of PM, but this discussion hinges on "CTM +PM = true".
> >> Couldn't we try to focus on the validity or otherwise of this claim?
>
> > OK. It's invalid because you can't have computaiton with zero phyiscal
> > activity.
>
> But that is **precisely** the conclusion of the reductio that MGA
> proposes.  MGA claims precisely that - as you say - since it is
> implausible to justify the ascription of computation to zero physical
> activity, if you still want to claim that there is computation 'going
> on', then it can't be attached to physical activity.  Are you
> questioning that MGA constitutes a valid instantiation of a physical
> TM?  What about Olympia?

I should have added that you can;t have computaton with zero
computational activity.
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups "Everything List" group.
To post to this group, send email to everything-list.domain.name.hidden
To unsubscribe from this group, send email to everything-list+unsubscribe.domain.name.hidden
For more options, visit this group at http://groups.google.com/group/everything-list?hl=en
-~----------~----~----~----~------~----~------~--~---
Received on Thu Aug 20 2009 - 02:09:59 PDT

This archive was generated by hypermail 2.3.0 : Fri Feb 16 2018 - 13:20:16 PST