Re: does sqrt(2) exist in CM?

From: David Kastrup (dak_at_gnu.org)
Date: 02/07/05 

Date: Mon, 07 Feb 2005 01:15:39 +0100

David C. Ullrich <ullrich@math.okstate.edu> writes:

> On 6 Feb 2005 22:01:05 GMT, rusin@vesuvius.math.niu.edu (Dave Rusin)
> wrote:
>
>>In article <blpc015kludisq7m84vfivf6l3m1phrekc@4ax.com>,
>>David C. Ullrich <ullrich@math.okstate.edu> wrote:
>>
>>>*&%#, you've sucked me into it. Ok, I'll ask: exactly what
>>>is a "random real"?
>>
>>In short: there are no random numbers, only
>>random-(number-generators).
>
> Come on. We all understand this - spelling it out explicitly takes
> all the fun out of seeing what the person who's talking about random
> reals is going to give for the definition.

Well, from what he wrote, it would appear that a random real is a real
that has a non-zero probability of being a sample from the uniform
distribution (0..1).

Or maybe it is a member of no set with a probability of zero of having
one of its members being a sample from the uniform distribution
(0..1).

Something like that. Deep thinking. Come on, you'll know what a
random real is when somebody shows you one. 

-- 
David Kastrup, Kriemhildstr. 15, 44793 Bochum

Relevant Pages

  • Re: does sqrt(2) exist in CM?
    ... that has a non-zero probability of being a sample from the uniform ... Or maybe it is a member of no set with a probability of zero of having ... one of its members being a sample from the uniform distribution ... David Kastrup, Kriemhildstr. ...
    (sci.logic)
  • Re: does sqrt(2) exist in CM?
    ... that has a non-zero probability of being a sample from the uniform ... Or maybe it is a member of no set with a probability of zero of having ... one of its members being a sample from the uniform distribution ... David Kastrup, Kriemhildstr. ...
    (sci.math)
  • Re: Back to attire (was Binary code in the LDS church (related to
    ... member of the First Presidency, any member of the twelve, etc, saying, "Ties ... or even "Refusing to wear a tie sucks". ... offense to those "little ones" in the Lord. ... Oh, says Jesse, you must mean David. ...
    (soc.religion.mormon)
  • Re: Please refer to Post "Help!!! I give up... Confused"
    ... Yes David, I did look into a few chapters ahead in my book, it was a little rough but I figured it out on how to declare static member variables in a class... ... //Set FLAG_AllTrueInCase to true if FLAG_AllTrueInCase //and bCondTrue equals to true else set it to false. ... I am choosing to stay with doing it in WndProc even though it means that I am re-creating it everytime WndProc is executed. ...
    (microsoft.public.vc.language)
  • Re: infinity
    ... > David R Tribble said: ... >>> largest member? ... I am defining set size in terms of some other measures of the set. ...
    (sci.math)