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
> > appea
--- 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 he
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 i
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 le
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). (Tha
Saibal wrote:
> 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 pro
"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"
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 the power of negative
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.
>> (M
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
Saibal Mitra wrote:
>John Mikes wrote:
>`` If you say: a sequence defying all
>rules, then it is not random, it is calculable. You have to consider all
>rules and cut them out.ยดยด
>
>If you try to do that then you encounter the famous halting problem.
Exactly. So why not defined random by inc
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 axio
Juergen 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.
This is of course true (if uniform measure is a
measure that gives the same, non-zero, probability
for each program. I got no idea
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.
BTW, it's not Solomon-Levy but Solomonoff-Levin. And
it has nothing to do with resource bounds!
Juergen Schmidhuber
http://www.idsia.ch/~juergen/
ht
14 matches
Mail list logo
