On Sun, Jan 20, 2013 at 01:53:49PM +0100, Bruno Marchal wrote:
> On 19 Jan 2013, at 00:15, Stephen P. King wrote:
> >   You seem to not understand a simple idea that is axiomatic for
> >me. I am trying to understand why this is. Do you understand the
> >thesis of Russell Standish's book and the concept of "Nothing" he
> >describes?
> Sure no problem. It is not always enough clearcut, as Russell did
> acknowledge, as to see if it is coherent with comp and its reversal,
> but that can evolve.

In some sense, my work is not ontology, as I do not ask the question
"what is fundamental" like you two are doing. Indeed, I believe the
question to be largely meaningless (I had a long debate with Colin
Hales on this topic).

More on this later today, if I get time. I had some thoughts during
the night crystallising my understanding of the UDA.

I do acknowledge Bruno's point that set theory is already too
rich. Yet none of my work is based on controversial aspects of set
theory, such as the axiom of choice, so I don't see a big problem

As for compatibility with COMP, UD* is already the Nothing I refer
to. I do use the uniform measure over the reals as a means for motivating
the use of Solomonoff-Levin's universal prior measure, and Bruno has
criticised this, however the S-L measure over the semantic space is
rather insensitive to the assumed measure over the underlying syntactic
space. It is, of course, an open problem whether the measure induced
by the universal dovetailer over UD* makes any difference, as that
measure has not been calculated. My gut feeling is that it wouldn't
make any difference, however.


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 post to this group, send email to everything-list@googlegroups.com.
To unsubscribe from this group, send email to 
For more options, visit this group at 

Reply via email to