On Fri, Oct 11, 2013 at 05:46:57PM -0700, meekerdb wrote: > On 10/11/2013 4:36 PM, Russell Standish wrote: > >On Fri, Oct 11, 2013 at 04:08:05PM -0700, meekerdb wrote: > >>Maybe I'm not clear on what UD* means. I took it to be, at a given > >>state of the UD, the last bit output by the 1st prog, the last bit > >>output by the 2nd program,...up to the last prog that the UD has > >>started. Right? > >> > >Its not the output, because the UD doesn't actually output > >anything. Rather its an internal view of the states the machines > >emulated by the UD pass through, rather like what the Helsinki man > >experiences when being duplicated to Moscow and Washington. > > > >Its a subtle point, and I fell into the same trap you did (and Liz did > >also, this morning) a few years ago. I'm not sure anyone has a clear, > >crisp mathematical explanation of what UD* is - I certainly don't. > > Even if we have the complete record of everything the UD has done up > to some point I don't see how we can define the kind of measure we > need over that, because the measure has to be over all threads of > computation corresponding to a particular classical state. >
And these correspond to a countable union of sets of strings sharing the same prefix, which is just the Solomonoff-Levin measure. -- ---------------------------------------------------------------------------- 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.
