[extropy-chat] what is probability?
rafal.smigrodzki at gmail.com
Wed Jan 17 16:08:32 UTC 2007
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.
More information about the extropy-chat