On Wed, Jul 30, 2014 at 03:13:01PM +0200, Platonist Guitar Cowboy wrote: > > Better than to keep reacting like monkey to his post, which I do, would be > imho for the list to focus on precise prerequisites, exercises, reading > lists to get firmer grasp of AUDA, and make that more universally > accessible than perhaps overemphasizing Step 7 and MGA. >
I don't think step 7 and the MGA have been overemphasised at all - although step 3 has been done to death it seems. The MGA, in particular, is very subtle. I think I have now found a way of coming to grips with it, and it is a little different to the usual precis given here. Fundamentally, computational supervenience (which requires counterfactual correctness, a factor often overlooked in the summaries) is incompatible with physical supervenience, but only in a single universe, not a multiverse. Since physical supervenience is well supported empirically (something JC has banged on a bit about, as well as Brent), the only way of rescuing computational supervenience is to insist that we do, in fact, live in a multiverse. But that multiverse entails the universal dovetailer, or at least enough of it to emulate consciousness, which suffices to get the reversal result of step 7. I'm in process of writing this up as a paper, which I'll hopefully post to this list in the next week or so to be shredded by the denizens here. On another note, I've done a calculation of the observer moment measure given by the universal dovetailer, which shows that the measure is indeed independent of the chosen reference machine, as we widely suspected, and hopefully might be comparable with Solomonoff-Levin's universal prior. More likely, it might be compared with the Bayesian probability after an infinite number of updates. Not sure if it belongs in the above paper, as it is necessarily more technical, but I'll post that to this list in one form or other soon. But I'm happy for there to me more discussion of the AUDA too :) The underpinnings of that theory still seem rather weakly motivated for me, as opposed to being mandated by computationalism. -- ---------------------------------------------------------------------------- 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.
