Re: does sqrt(2) exist in CM?
examachine_at_gmail.com
Date: 02/07/05
- Next message: examachine_at_gmail.com: "Re: My claim on Omega's defn"
- Previous message: r.e.s.: "Re: My claim on Omega's defn"
- In reply to: tchow_at_lsa.umich.edu: "Re: does sqrt(2) exist in CM?"
- Next in thread: tchow_at_lsa.umich.edu: "Re: does sqrt(2) exist in CM?"
- Reply: tchow_at_lsa.umich.edu: "Re: does sqrt(2) exist in CM?"
- Reply: David C. Ullrich: "Re: does sqrt(2) exist in CM?"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Date: 7 Feb 2005 11:47:59 -0800
tchow@lsa.umich.edu wrote:
> In article <1107787399.948658.246920@l41g2000cwc.googlegroups.com>,
> Now, it's not an accident that the same word "random" is used for
these
> two different meanings. They are related. As you say, Martin-Loef's
> definition uses concepts from measure theory and statistics, which
are
> of course related to probability theory. And you're also right that
> a random variable X that is uniformly distributed on [0,1] will take
> on a noncomputable value with probability 1.
No, it's no accident. What does it mean for something to occur with
probability 1? That it's certain.
By "random real", I was referring to a random variable X that is
uniformly distributed on (0,1) as you said. If that was unclear, I
apologize. Our randomly choosing infinitisimal pin can never pick a
real that is computable, that is right, and that is all the information
I wanted to convey in response to another poster, and nothing more.
Regards,
-- Eray Ozkural
- Next message: examachine_at_gmail.com: "Re: My claim on Omega's defn"
- Previous message: r.e.s.: "Re: My claim on Omega's defn"
- In reply to: tchow_at_lsa.umich.edu: "Re: does sqrt(2) exist in CM?"
- Next in thread: tchow_at_lsa.umich.edu: "Re: does sqrt(2) exist in CM?"
- Reply: tchow_at_lsa.umich.edu: "Re: does sqrt(2) exist in CM?"
- Reply: David C. Ullrich: "Re: does sqrt(2) exist in CM?"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Relevant Pages
|
