Re: "A random real number will be on a computables list to an infinite number of digits"
From: Will Twentyman (wtwentyman_at_read.my.sig)
Date: 01/20/05
- Next message: highegg: "Re: Who can prove Boruvka's algorithm ?"
- Previous message: Chris Menzel: "Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false?"
- In reply to: |-|erc: "Re: "A random real number will be on a computables list to an infinite number of digits""
- Next in thread: |-|erc: "Re: "A random real number will be on a computables list to an infinite number of digits""
- Reply: |-|erc: "Re: "A random real number will be on a computables list to an infinite number of digits""
- Messages sorted by: [ date ] [ thread ]
Date: Thu, 20 Jan 2005 12:35:18 -0500
|-|erc wrote:
> "george" <greeneg@cs.unc.edu> wrote in message
>
>>|-|erc wrote:
>>
>>>"All finite subsequences of a random real number will be on a
>>
>>computables list" True / False / Other
>>
>>Other.
>>You don't know what you mean by "random".
>>What you REALLY mean here is "arbitrary", NOT "random".
>>The point is that you are asking the question about
>>ABSOLUTELY EACH AND EVERY real number. It goes without
>>saying that the numbers that are NOT "random" -- i.e., are
>>computable -- must be on the list of all computable numbers.
>
>
>
> No I don't mean arbitrary. I mean 'non-computable irrational', arbitrary
> has a different interpretation, arbitrary could be 0.10000000..
Random could also mean 0.1000000... Say what you mean.
-- Will Twentyman email: wtwentyman at copper dot net
- Next message: highegg: "Re: Who can prove Boruvka's algorithm ?"
- Previous message: Chris Menzel: "Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false?"
- In reply to: |-|erc: "Re: "A random real number will be on a computables list to an infinite number of digits""
- Next in thread: |-|erc: "Re: "A random real number will be on a computables list to an infinite number of digits""
- Reply: |-|erc: "Re: "A random real number will be on a computables list to an infinite number of digits""
- Messages sorted by: [ date ] [ thread ]
Relevant Pages
|