On Fri, Sep 26, 2014 at 04:09:06AM -0700, meekerdb wrote: > On 9/26/2014 1:14 AM, Russell Standish wrote: > > > >Additionally, in a robust universe, the Church-Turing thesis tells us > >that physics we supervene on must be emergent from the properties of > >universal systems (Bruno's reversal result). Thus the matter we supervene > >on cannot be "primitive". The primitive urstuff is something else > >entirely - the arithmetic of integers, perhaps, as Bruno suggests - > >but not matter as we know it. > > I think I agree with you (see further query's below). But it's not > entirely clear why matter cannot be primitive. It's not clear > because "matter" isn't defined (as Bruno likes to point out when > criticizing what he calls "Aristotelianism"). I think your point is > that naively conceived matter isn't complex enough to avoid the > reductio's like the MGA. But at PGC intuites quantum "matter" may > well be. Lots of physicists have already observed that the "matter" > they talk about has become so abstract it's hard to say how it > differs from mathematical objects. > > So are you agreeing with my point that the world (being quantum) is > so complex that to take all the counterfactuals into account in the > MGA requires creating a whole simulated universe in which the > "playback" occurs, thus vitiating the reductio? >
I think it requires the whole multiverse to be simulated (or significant portion thereof), and yes that evacuates the reductio. I tried to incorporate your insight into my paper, but ultimately could find a way of naturally fitting it in. -- ---------------------------------------------------------------------------- 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 Latest project: The Amoeba's Secret (http://www.hpcoders.com.au/AmoebasSecret.html) ---------------------------------------------------------------------------- -- 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/d/optout.
