[extropy-chat] what is probability?

[Rafal Smigrodzki]

On 1/17/07, gts <gts_2000 at yahoo.com> wrote:

To prove under constructivism that an infinite random sequence
> exists that meets this criterion, we need somehow to formulate a rule for
> determining its successive digits. But any such rule would amount to a
> successful gambling system and thus prove the sequence to be non-random!
>
### A rule enumerating all infinite sequences would not be a
successful gambling system (unless I am missing something here) but
would still specify the successive digits for every possible number.

Rafal