- #1

- 4,239

- 1

## Main Question or Discussion Point

What's the value of a random variable?

- Thread starter Phrak
- Start date

- #1

- 4,239

- 1

What's the value of a random variable?

- #2

- 607

- 0

Or do you mean the "value" in the sense [itex]X(\omega) [/itex] where [itex] X[/itex] is a random variable and [itex] \omega[/itex] is a sample point?

- #3

- 4,239

- 1

[itex]X(\omega) [/itex] doesn't really seem like a mathematical function but the result of an experimental trial.

Or do you mean the "value" in the sense [itex]X(\omega) [/itex] where [itex] X[/itex] is a random variable and [itex] \omega[/itex] is a sample point?

- #4

mathman

Science Advisor

- 7,798

- 430

The experimental trial can be conceptual, like analysis of what happens after a series of coin flips by an ideal coin.

- #5

- 4,239

- 1

Thanks mathman. I've since been reading about axiomatic probability. My interest is in quantum mechanics where probabilities seem to have a central role.

The experimental trial can be conceptual, like analysis of what happens after a series of coin flips by an ideal coin.

So I am curious as to the answer to the question: Can probability theory be separated from physics (in this case classical stochastic processes), so that axiomatic quantum mechanics is, in part, defined upon classical uncertainty?

- #6

mathman

Science Advisor

- 7,798

- 430

I don't know what you mean by separated.So I am curious as to the answer to the question: Can probability theory be separated from physics (in this case classical stochastic processes), so that axiomatic quantum mechanics is, in part, defined upon classical uncertainty?

- #7

- 4,239

- 1

This is the pivotal question, isn't it? I hadn't been sure at the time. Now, however:-I don't know what you mean by separated.

If the axioms and theorems of probability theory are so abstract as to be free of any reference to any physical system, then probability theory is separate from physics. If there is an explicit reliance they are not.

Does this sound meaningful to you?

- #8

- 607

- 0

- #9

mathman

Science Advisor

- 7,798

- 430

Probability theory is a branch of mathematics. Physicists use it just like they use many other branches such as calculus, vector analysis, differential equations, etc.This is the pivotal question, isn't it? I hadn't been sure at the time. Now, however:-

If the axioms and theorems of probability theory are so abstract as to be free of any reference to any physical system, then probability theory is separate from physics. If there is an explicit reliance they are not.

Does this sound meaningful to you?

Other fields where probability is used include statistics, finance, biology, etc.

- #10

- 4,239

- 1

That's not really what I meant. I'm struggling to express this question in an understandable way. This may be it: A computer algorithm may be one way to test independence of a mathematical system from physical props.Probability theory is a branch of mathematics. Physicists use it just like they use many other branches such as calculus, vector analysis, differential equations, etc.

Other fields where probability is used include statistics, finance, biology, etc.

I may be mistaken, but can all axiomatic mathematical systems be encoded as computer algorithms? This should depend on what 'encoded' means. Arithmetic might be a good example to look at.

I should be able to take the axioms of arithmetic and compute new statements that are consistent with the axioms through combination.

Not so obvious is that any result such as 2+2=4 is a new statement when expressed as

[tex]\forall A,B \in R: ( A=2 \ \wedge \ B=2 \ \wedge \ C=A+B ) \rightarrow C=4[/tex]

I'm not sure the axioms of probability theory can be encoded by computer algorithm and obtain new and constant statements such as the addition of specific values in addition. We can’t use pseudo random number generators. That would be cheating.

Or maybe I’m looking at this wrong. Any thoughts?

g_edgar, you gave me a thought. Maybe the elements that can form new statements are sample spaces but not the points of the sample spaces.

- #11

mathman

Science Advisor

- 7,798

- 430

- #12

- 4,239

- 1

Which point?

- #13

mathman

Science Advisor

- 7,798

- 430

In any case the axioms for probability theory are essentially the same as those for measure theory, with the additional condition that the total measure (probability) is one.

- #14

- 4,239

- 1

It is not irrelevent. If an axiomatic system cannot be encoded in a symbolic language, it is flawed.

In any case the axioms for probability theory are essentially the same as those for measure theory, with the additional condition that the total measure (probability) is one.

- #15

mathman

Science Advisor

- 7,798

- 430

I have never tried to and I don't care to. I'll presume it is doable.It is not irrelevent. If an axiomatic system cannot be encoded in a symbolic language, it is flawed.

Since the Kolmogoroff axioms as well as measure theory have been in use for a very long time, I strongly believe that they are not flawed.

- #16

- 2,123

- 79

By encoding, do you mean the automation of the logic of probability theory (PT) to prove theorems? If so, the answer is yes. There is no flaw in PT if you accept the axioms and definitions. The definition of a random variable in particular, is that it is simply a mapping from a probability space to an event space with no guidance at all as to what value the function assigns to an event provided it is in the interval [0,1]. The following link is book sized, but the preface should at least shed some light on your question. The basic thrust is that the idea of "randomness" should be replaced by "incomplete information". There is also a good article (IMHO) on Quantum Logic and Probability Theory in the Stanford Encyclopedia of Philosophy.It is not irrelevent. If an axiomatic system cannot be encoded in a symbolic language, it is flawed.

http://bayes.wustl.edu/etj/prob/book.pdf

Last edited:

- #17

- 4,239

- 1

I'm sorry I can't reply intelligently to your post. I'll have to satisfy for myself that PT is consistent, unflawed or otherwise by putting in the effort.By encoding, do you mean the automation of the logic of probability theory (PT) to prove theorems? If so, the answer is yes. There is no flaw in PT if you accept the axioms and definitions. The definition of a random variable in particular, is that it is simply a mapping from a probability space to an event space with no guidance at all as to what value the function assigns to an event provided it is in the interval [0,1]. The following link is book sized, but the preface should at least shed some light on your question. The basic thrust is that the idea of "randomness" should be replaced by "incomplete information". There is also a good article (IMHO) on Quantum Logic and Probability Theory in the Stanford Encyclopedia of Philosophy.

http://bayes.wustl.edu/etj/prob/book.pdf

As I stated earlier, my question is indirectly about probability in (formalized) quantum mechanics. So in addition, consistency between the two is also a subject of interest.

My use of the word 'encoded' was trite. Symbolically encoded, by rules of substitution, two true statements should yield another true statement under the set of axioms.

I've downloaded your recommended article.

- #18

- 2,123

- 79

That's an unrealistic goal. No one has proved the axioms of ZFC are self consistent or "unflawed".I'm sorry I can't reply intelligently to your post. I'll have to satisfy for myself that PT is consistent, unflawed or otherwise by putting in the effort.

Last edited:

- #19

- 4,239

- 1

Thanks SW. I'll keep ZFC in mind. My quest in this is not a large priority--just something that has nagged me on occasion over 10 to 15 years or so.That's an unrealistic goal. No one has proved the axioms of ZFC are self consistent or "unflawed".

- Replies
- 1

- Views
- 2K

- Last Post

- Replies
- 6

- Views
- 2K

- Last Post

- Replies
- 5

- Views
- 1K

- Replies
- 17

- Views
- 20K

- Replies
- 5

- Views
- 1K

- Replies
- 3

- Views
- 7K

- Replies
- 2

- Views
- 2K

- Last Post

- Replies
- 4

- Views
- 2K

- Replies
- 8

- Views
- 10K

- Replies
- 5

- Views
- 8K