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 > > > -- > > > ---------------------------------------------------------------------------- > 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.
