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 here. 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 everything-list+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/everything-list?hl=en.