On 18 February 2014 22:34, Russell Standish <li...@hpcoders.com.au> 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 hpco...@hpcoders.com.au > 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 everything-list+unsubscr...@googlegroups.com. > To post to this group, send email to everything-list@googlegroups.com. > 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 everything-list+unsubscr...@googlegroups.com. To post to this group, send email to everything-list@googlegroups.com. Visit this group at http://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/groups/opt_out.
