2014-02-19 0:22 GMT+01:00 David Nyman <[email protected]>: > On 18 February 2014 22:34, Russell Standish <[email protected]> wrote: > > On Tue, Feb 18, 2014 at 02:06:37PM +0000, David Nyman wrote: >> > >> > I must admit it hasn't been entirely clear to me why you decided that >> the >> > MGA can go through without addressing the counterfactuals, especially >> since >> > Maudlin felt he had to address them in his alternative formulation. I >> > appreciate that Maudlin proceeds by trivialising the amount of activity >> > involved in the computation whereas MGA relies on evacuating the notion >> of >> > physical computation itself, but does the latter approach obviate the >> need >> > to account for any possible counterfactual activity? >> > >> >> If the counterfactuals are physical (Multiverse situation), then we >> are automatically in a robust universe (for which the reversal is >> already addressed by step 7). > > > Right. Sorry if I'm being a bit slow. I can see that if there is a > Multiverse then we automatically get the physical counterfactuals in any > given situation. But I'm not sure that I get the point that a physical > Multiverse guarantees the actual physical computation of the UD (or rather > its completed trace), which I assume is necessary to the reversal (in the > sense that the infinity of computation intrinsic to the UD* is assumed to > swamp every competing measure). I guess that means that I haven't > understood quite what is meant by robust here. Can you help with what I'm > missing? > > If the universe is not robust, then the >> counterfactuals are not physical, and so if physical supervenience >> were true, the counterfactuals are irrelevent to supervenience. >> > > Yes, I get that part. So robust = Multiverse? > > David >
The problem I have with step 8 or more specifically maudlin olympia... is that adding the inert part to the klara, does not render olympia counterfactually correct, it only permits (if MWI is true) that olympia execute the exact *same* "computation"/"record" *whatever happens*... if you are in another branch where the "inert" part is activated, it just restore the same computation/record that was unfolding where the inert part wasn't activated... the computation/record itself is the same, it does not handle another input... or I think counterfactuality is that it could have compute something else if the input was different, but that's not what happen, the part are there to ensure the exact same computation unfold with the exact same input. Hence olympia still does not compute anything, but just play a record in every branch... and the counterfactual argument still seems valid for me, and adding inert klara does not help here (ISTM). Regards, Quentin > > >> >> >> -- >> >> >> ---------------------------------------------------------------------------- >> Prof Russell Standish Phone 0425 253119 (mobile) >> Principal, High Performance Coders >> Visiting Professor of Mathematics [email protected] >> University of New South Wales http://www.hpcoders.com.au >> >> ---------------------------------------------------------------------------- >> >> -- >> You received this message because you are subscribed to the Google Groups >> "Everything List" group. >> To unsubscribe from this group and stop receiving emails from it, send an >> email to [email protected]. >> To post to this group, send email to [email protected]. >> Visit this group at http://groups.google.com/group/everything-list. >> For more options, visit https://groups.google.com/groups/opt_out. >> > > -- > You received this message because you are subscribed to the Google Groups > "Everything List" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To post to this group, send email to [email protected]. > Visit this group at http://groups.google.com/group/everything-list. > For more options, visit https://groups.google.com/groups/opt_out. > -- All those moments will be lost in time, like tears in rain. (Roy Batty/Rutger Hauer) -- You received this message because you are subscribed to the Google Groups "Everything List" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/groups/opt_out.
