Quentin Anciaux kirjoitti:
> 2009/6/3 Torgny Tholerus :
...
>> How do you know that there is no biggest number?
>
> You just did.
> You shown that by assuming there is one it entails a contradiction.
>
>> Have you examined all
>> the natural numbers?
>
> No, that's what demonstration is
juergen wrote:
> Russell, at the risk of beating a dead horse: a uniform measure is _not_ a
> uniform probability distribution. Why were measures invented in the first
> place? To deal with infinite sets. You cannot have a uniform probability
> distribution on infinitely many things.
The la
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
the need of speed prior would come to play if I
thought more carefully about the detailed assumptions
involved? E.g. that each program would be run just once,
with the same speed etc? I am not sure.
Juho
/****
Juho Pennanen
Department of Forest
4 matches
Mail list logo