Re: Predictions duplications

2001-10-15 Thread Marchal
Hal Finney wrote: Isn't this fixed by saying that the uniform measure is not over all universe histories, as you have it above, but over all programs that generate universes? Now we have the advantage that short programs generate more regular universes than long ones, and the WAP grows teeth.

Re: ODP: Free will/consciousness/ineffability

2001-10-15 Thread George Levy
rwas wrote: --- Marchal [EMAIL PROTECTED] wrote: Brent Meeker wrote: On 10-Oct-01, Marchal wrote: You talk like if you have a proof of the existence of matter. Like if it was obvious subtancia are consistent. But you know substancia only appears in Aristote mind when

Re: ODP: Free will/consciousness/ineffability

2001-10-15 Thread Marchal
Zbigniew Motyka wrote: [...] http://iridia.ulb.ac.be/~marchal It would be not polite from my side to express any opinion about UDA before I really make acquaintance with it. Thanks. I whish everyone were like you :-) For now I may only repeat: When you start from some suitable axiomatic

Re: ODP: Free will/consciousness/ineffability

2001-10-15 Thread Marchal
Brent Meeker wrote: On 10-Oct-01, Marchal wrote: You talk like if you have a proof of the existence of matter. Like if it was obvious subtancia are consistent. But you know substancia only appears in Aristote mind when he misunderstood Plato doctrine on intelligible ideas. (My opinion!).

Re: Predictions duplications

2001-10-15 Thread Russell Standish
Hal - that is not a uniform measure! [EMAIL PROTECTED] wrote: Juergen Schmidhuber writes: But there is no uniform prior over all programs! Just like there is no uniform prior over the integers. To see this, just try to write one down. I think there is. Given a program of length l,

Re: Predictions duplications

2001-10-15 Thread Saibal Mitra
Hal Finney wrote: Juergen Schmidhuber writes: But there is no uniform prior over all programs! Just like there is no uniform prior over the integers. To see this, just try to write one down. I think there is. Given a program of length l, the prior probability is 2^(-l). (That is 2 to

Re: Random, was Predictions duplications

2001-10-15 Thread jamikes
According to whim or taste implies a conscious entity performing choices according to a free will. This need not be the case. In my mind, random means selected without cause (or without procedure/algorithm). Russell picked my example from a language which has no equivalent to the word random .

Definition of measure

2001-10-15 Thread Russell Standish
To try and settle this debate on uniform measures, the best definition of measure I could find was at http://www.probability.net/. Unfortunately, this site is rather difficult to get into. However, a measure is a function m defined over the subsets of the set O in question (eg O=Z in the case of