B Is there a definition of randomness?

  • #51
entropy1 said:
That is what I mean.

Finding a pattern in a sequence of 0s and 1s doesn't prove that it's not random. The real test is this:
  • Find a pattern
  • Generate some more bits
  • If the bits are truly randomly, eventually the pattern will break
 
  • Like
Likes PeroK
Physics news on Phys.org
  • #52
stevendaryl said:
Finding a pattern in a sequence of 0s and 1s doesn't prove that it's not random. The real test is this:
  • Find a pattern
  • Generate some more bits
  • If the bits are truly randomly, eventually the pattern will break

So there is never a point where you conclusively show that the sequence is or is not random, although in a Bayesian sense, you can become more and more confident, one way or the other.
 
  • #53
stevendaryl said:
So there is never a point where you conclusively show that the sequence is or is not random, although in a Bayesian sense, you can become more and more confident, one way or the other.

And, allows you to model a physical process using the theory of random variables. In fact, at least in this case there is a chance that it really is a random variable. Whereas, for example, modelling the Earth as a test particle in it's solar orbit is known not to be exactly the case!
 
  • Like
Likes stevendaryl
  • #54
stevendaryl said:
Tests for randomness are a little strange. If you have some random process for generating a sequence of 0s and 1s, then the sequence

01010101010101010101010101...

is just as possible as the sequence

001001000011111101101010100...

Daryl
Indeed, but they are both unlikely.
 
  • #55
PeroK said:
The inability, theoretically or practically, to predict the outcome of an experiment is essentially what is meant by randomness - in QM at least.
Would you say the results of coin flipping in a wind tunnel satisfies randomness in QM? Many don't.
I think it is a paradigm for randomness, and perhaps could be used as a definition of random.
 
  • #56
stevendaryl said:
If you have some random process for generating a sequence of 0s and 1s, then the sequence

01010101010101010101010101...

is just as possible as the sequence

001001000011111101101010100...
Wouldn't you need a process for random(ly) generating a sequence... ?
No... that's wrong...

Wouldn't you need a process for generating a random sequence... ?

A random process won't necessarily generate any sequence, will it ?
What I mean is... the process itself should not be random, only the numbers it generates.

I am probably wrong, though...
stevendaryl said:
Tests for randomness are a little strange.
Zafa Pi said:
I told David several times to stop...
You really think I pay heed to David ?? . :oldeyes: .
 
Last edited:
  • #57
OCR said:
You really think I pay heed to David ??
My bad. I should have trusted that you know every electron by name.
 
  • #58
Zafa Pi said:
Would you say the results of coin flipping in a wind tunnel satisfies randomness in QM? Many don't.
I think it is a paradigm for randomness, and perhaps could be used as a definition of random.

Randomness in QM is different, because you have perfect information. You have an ensemble of electrons that are spin-up in the z-direction; you measure their spin in the x-direction and you get spin-up 50% and spin-down 50%.

The theory of QM predicts this and suggests that there is no further information that could possibly be available to you (hidden variables) that would allow you to predict when an electron will be spin-up and spin-down.

Tossing a coin is random because you have inexact information about the experiment. Let's take a concrete example. In a month's time or so someone will toss the coin at the Superbowl. How could you predict the `outcome of the coin toss? Assume you know who will do it and which physical coin will be used. How do you predict the variables of the coin toss itself? You would, somehow, have to study every cell of that person's body to determine how high they will throw the coin etc. In fact, it may also depend on all their interactions and activities in the intervening month. It may depend on the weather and exactly when the toss takes place - to the nearest second at least.

I know there are those who cling to determinism in these cases, but I'm sceptical that any theory, measuring process (to get all the necessary initial conditions) and computer power could ever predict such a thing. Let alone, say, the coin toss for Superbowl 2019 or 2029.

That, in my view, is a different sort of randomness, caused by the nature of complex, dynamical systems. And I don't see how any theory of everything could ever predict outcomes like these.
 
  • #59
PeroK said:
The theory of QM predicts this and suggests that there is no further information that could possibly be available to you (hidden variables) that would allow you to predict when an electron will be spin-up and spin-down.
I am guessing you are drawing on Bell's Theorem here.

If you are then the argument for Nondeterminism doesn't work, as Bell requires an assumption of Counterfactual Definiteness, which is not compatible with Determinism (It assumes that the experimenter could have made a different measurement from the one they made). That is, the argument assumes its conclusion.
 
Last edited:
  • #60
PeroK said:
Randomness in QM is different, because you have perfect information. You have an ensemble of electrons that are spin-up in the z-direction; you measure their spin in the x-direction and you get spin-up 50% and spin-down 50%.

The theory of QM predicts this and suggests that there is no further information that could possibly be available to you (hidden variables) that would allow you to predict when an electron will be spin-up and spin-down.
I acknowledged this about QM (a mathematical theory) in post #47, and some label this intrinsically random. But QM doesn't actually produce the spin values (up or down), for that you need a S/G apparatus. And I asked how do you check that the values produce by the device are "random"?
PeroK said:
Tossing a coin is random because you have inexact information about the experiment.
The outcome of the coin toss is affected by the neurons in the tosser's brain and the position and momentum of a zillion air molecules. If you accept QM then these are all subject to quantum effects. No hidden variables, right?
 
  • #61
Zafa Pi said:
I acknowledged this about QM (a mathematical theory) in post #47, and some label this intrinsically random. But QM doesn't actually produce the spin values (up or down), for that you need a S/G apparatus. And I asked how do you check that the values produce by the device are "random"?

How do you prove they are not random? Physics can never prove anything. All you can do is gather data that meets certain criteria to certain confidence levels. You would have a lot more trouble to produce any sort of algorithm that predicted electron spin values.

To me, this is where physics diverges from philosophy. Philosophically, you can argue that we cannot prove that anything is random. But, as far as the physics is concerned electron spin values are random.

Zafa Pi said:
The outcome of the coin toss is affected by the neurons in the tosser's brain and the position and momentum of a zillion air molecules. If you accept QM then these are all subject to quantum effects. No hidden variables, right?

You don't need intrinsic randomness at the QM level for this. You could assume that the processes of cells and macro-mechanics are deterministic in themselves. It's not really the air molecules that are the problem. It's the behaviour of one of more human beings that is the bigger issue. QM would, perhaps, induce an underlying intrinsic randomness as well, but you don't need that for this example.
 
  • #62
andrewkirk said:
I am guessing you are drawing on Bell's Theorem here.

If you are then the argument for Nondeterminism doesn't work, as Bell requires an assumption of Counterfactual Definiteness, which is not compatible with Determinism (It assumes that the experimenter could have made a different measurement from the one they made). That is, the argument assumes its conclusion.

It's quite ironic that in order to explain random spin values, you end up assuming that every action is predetermined. That, equally, is an argument that assumes its conclusion. And, although this perhaps boils down to taste, it seems to me much more contrived.

In fact, it seems to me that employing the concept of randomness to QM is going with the flow, as it were. The pioneers of QM didn't adopt randomness because that were keen on it from the outset. The arguments for randomness are not designed to foist it upon a deterministic universe for whatever reason. Whereas, imposing or assuming an a priori ultra-determinism, is done precisely to support that view - it seems to me very much to be forcing nature into a preconceived notion of what it should be. Allowing the randomness in QM seems to me to be a case of being led by nature, rather that fighting against it.
 
  • #63
PeroK said:
Physics can never prove anything.
Agreed. In spite of claims otherwise.
PeroK said:
You don't need intrinsic randomness at the QM level for this. You could assume that the processes of cells and macro-mechanics are deterministic in themselves. It's not really the air molecules that are the problem. It's the behaviour of one of more human beings that is the bigger issue. QM would, perhaps, induce an underlying intrinsic randomness as well, but you don't need that for this example.
In a wind tunnel air is relevant. Physicists regularly claim that the results of coin flipping are deterministic with insufficient information, but the results from S/G apparatus are intrinsically random. I think that is a lot of hot air from human wind generators. Many say the firing of neurons is QM stuff.

Also the evolution of the electron state through the S/G is governed by a deterministic unitary process.
 
  • #64
:check:...
Zafa Pi said:
In a wind tunnel air is relevant.
:DD . :DD
 
  • #65
PeroK said:
It's quite ironic that in order to explain random spin values, you end up assuming that every action is predetermined.
I am not assuming anything, nor am I trying to explain anything - least of all 'random' spin values, since I am perfectly content with the epistemological definition of 'random'.

I am merely saying that - so far as I am aware - there is nothing in QM that implies there cannot be a larger theory containing it that predicts exact measurements. If you wish to claim otherwise, the onus is on you to produce a proof.

What was novel about QM and its relation to randomness was not that it asserted that phenomena are 'random'. It could not do that, as it doesn't include a definition of random. Rather, it was the first - again, to the best of my knowledge - physical theory that made probabilistic predictions. The fact that it does so says nothing about whether a larger theory may be able to replace those probabilistic predictions with non-probabilistic ones. In short, QM is a probabilistic theory because it makes probabilistic predictions. But that 'probabilistic' is a property of the theory, not of the universe.

I have no opinion about whether the universe 'is random' because, given that there is no accepted definition of random that fits that context, the question is meaningless.
 
  • #66
andrewkirk said:
In short, QM is a probabilistic theory because it makes probabilistic predictions. But that 'probabilistic' is a property of the theory, not of the universe.

That's an interesting distinction! It's not unlike saying that "natural selection" is a property of the theory of evolution, not of life on Earth!
 
  • Like
Likes Zafa Pi
  • #67
andrewkirk said:
I am merely saying that - so far as I am aware - there is nothing in QM that implies there cannot be a larger theory containing it that predicts exact measurements. If you wish to claim otherwise, the onus is on you to produce a proof.

If QM were an obviously stop-gap theory that we have until something better comes along, then there would be some merit in what you say. But, given the established success of QM, I don't think there is any onus to prove that it will never be replaced. But, if you claim that there is such a non-probabilistic theory, then that does need justification, especially in terms of how your theory could explain the observed phenomena - which appear to be highly probabilistic.

In fact, there is nothing very difficult in hypothesising this or that all-encompassing theory. The difficult thing is to justify and formulate how such a theory can apply to our universe. It was easy for Einstein to see that Newtonian gravity had to be replaced. What was difficult was to find that replacement theory.

In your case, you can hypothesise that QM might be replaced - frankly, anyone can do the hypothesising - but the critical question is how your exact, non-probabilistic theory could explain the observed phenomena. What are its key elements that would allow it to do that? And, moreover, what experimental or theoretical justification is there to get your theory going in this or that direction?
 
  • Like
Likes WWGD and Zafa Pi
  • #68
andrewkirk said:
What was novel about QM and its relation to randomness was not that it asserted that phenomena are 'random'. It could not do that, as it doesn't include a definition of random. Rather, it was the first - again, to the best of my knowledge - physical theory that made probabilistic predictions. The fact that it does so says nothing about whether a larger theory may be able to replace those probabilistic predictions with non-probabilistic ones. In short, QM is a probabilistic theory because it makes probabilistic predictions. But that 'probabilistic' is a property of the theory, not of the universe.
You realize that a deterministic theory that replaced QM would need to be nonlocal. Is that a bother?
 
  • #69
PeroK said:
If QM were an obviously stop-gap theory that we have until something better comes along
It's entry-level Popper. All theories are temporary stop-gaps, awaiting falsification and replacement by a more comprehensive and accurate theory.

Zafa Pi said:
You realize that a deterministic theory that replaced QM would need to be nonlocal. Is that a bother?
Yes, it wouldn't bother me, but non-locality is not the only answer. Bell's Theorem, which is what I believe is being invoked here, despite the fact that nobody mentions it, tells us that:

Counterfactual Definiteness (CFD) AND Quantum Mechanics AND Local hidden variables ##\Longrightarrow## Bell's Inequality

Bell's Inequality is probabilistic, and experimental evidence gives results that have vanishingly small probabilities under that inequality.

Hence we need to conclude that EITHER we have witnessed an astonishingly unlikely sequence of experimental results OR one of the three conjuncts in the antecedent is false. I don't want to give up on the middle one - QM, so that leaves CFD and local hidden variables. I'm happy to give up on either of them. Bohm's mechanics sacrifices local hidden variables in favour of global hidden variables. But what's relevant to this discussion is that CFD denies determinism, so if we retain it, we have implicitly assumed nondeterminism, and hence cannot use the inequality as evidence for nondeterminism without making the argument circular, since it assumes the conclusion.
 
  • #70
andrewkirk said:
It's entry-level Popper. All theories are temporary stop-gaps, awaiting falsification and replacement by a more comprehensive and accurate theory.
I wonder how long it will take to replace that.
andrewkirk said:
Counterfactual Definiteness (CFD) AND Quantum Mechanics AND Local hidden variables ⟹⟹\Longrightarrow Bell's Inequality
Hold on. Locality and CFD imply Bell's inequality. QM refutes it.
Determinism implies CFD, so my statement: You realize that a deterministic theory that replaced QM would need to be nonlocal. Is that a bother? is correct.
 
  • Like
Likes PeroK
  • #71
andrewkirk said:
It's entry-level Popper. All theories are temporary stop-gaps, awaiting falsification and replacement by a more comprehensive and accurate theory.

Popper was a philosopher. And, philisophy doesn't have the last word on physics. Maybe Popper was wrong? That said, I think "comprehensive" and "accurate" are key words. Whatever replaces QM would have QM at its core. The probabilities would remain.

There is a quotation in one of the Feynman Messenger lectures where he says:

"A philosopher once said: 'it is necessary for the very existence of science that the same conditions always produce the same results'."

To which Feynman added "well, they don't! And, yet the science goes on in spite of it."

If Popper is your last word on QM, then I'll take Feynman as my last word.
 
  • Like
Likes Zafa Pi
  • #72
PeroK said:
Popper was a philosopher. And, philisophy doesn't have the last word on physics. Maybe Popper was wrong?
Actually Popper made a foray into QM, unfortunately it turned out wrong. In spite of that I have great respect for Popper.
As an example of something cool, he showed that the usual shibboleth, that tests confirming a hypothesis lend greater credence to the hypothesis, is false.
 
  • Like
Likes PeroK
  • #73
PeroK said:
philisophy doesn't have the last word on physics.
I agree. But they are generally pretty good on philosophy, and your statements in this thread have not been science but philosophy, as they consist of claims about the interpretation of quantum mechanics, which, being unfalsifiable, lie in the realm of metaphysics, a part of philosophy. If you want to turn your metaphysical assertions into science, you'll have to offer a precise, testable definition of 'random', which after all is what this thread is about.
 
  • #74
andrewkirk said:
I agree. But they are generally pretty good on philosophy, and your statements in this thread have not been science but philosophy, as they consist of claims about the interpretation of quantum mechanics, which, being unfalsifiable, lie in the realm of metaphysics, a part of philosophy. If you want to turn your metaphysical assertions into science, you'll have to offer a precise, testable definition of 'random', which after all is what this thread is about.

Talk about pot, kettle, black!
 
  • #75
PeroK said:
Talk about pot, kettle, black!
You are making the positive claim. I am merely observing there is no evidence to support your claim. Hence the onus of proof is entirely on you.
 
  • #76
andrewkirk said:
You are making the positive claim. I am merely saying there is no evidence to support your claim. Hence the onus of proof is entirely on you.

What no evidence? There is no evidence for probabilities in QM?

Honestly, I don't see how quoting the Stern-Gerlach experiment is philosophy. Your blog on M-theory is, on the other hand, pure philosophy.

Nothing can be proved scientifically. And, one thing above all else that definitely can't be proved is that there is an omniscient M-Theory out there that predicts everything.

Anyway. Enough said.
 
  • #77
entropy1 said:
Is there a definition of "random(ness)"? Is it defined?
Definition of random: A sequence of heads and tails obtain by flipping a coin* from the top of the Eiffel Tower.

* For specificity we should use the standard platinum-iridium metric coin stored in the same chamber as the Platonic Kilogram.
The Eiffel Tower was chosen due to its proximity to the Platonic Coin.

N.B. Some say a Pt-Ir Stern/Gerlach apparatus would also suffice.
 
  • #78
PeroK said:
What no evidence? There is no evidence for probabilities in QM?
What does 'evidence for probabilities' mean? Probabilities is a word, not a proposition. Evidence is something that supports a proposition, not a word. You might as well ask what is the evidence for blue, or for three.

The reason you need to resort to such vague statements is that you cannot form a proposition for what you think you are trying to argue, because propositions must be couched only in defined terms, and you have no definition of 'random'. I have pointed this out more than once, and you have failed to supply one. Without such a definition, claims that the universe is random, or that QM says it is, are not even wrong.
 
  • #79
andrewkirk said:
The reason you need to resort to such vague statements is that you cannot form a proposition for what you think you are trying to argue, because propositions must be couched only in defined terms, and you have no definition of 'random'. I have pointed this out more than once, and you have failed to supply one. Without such a definition, claims that the universe is random, or that QM says it is, are not even wrong.
I believe I understand what you are saying, and you have made a reasonable point.

QM says measurements are random variables As example we can take the case of post #58 by @PeroK. that QM says will lead to an iid sequence of two valued inform r.v.s.

Now we go to the lab use a S/G apparatus (which physicists believe is what is being modeled by QM) to generate a sequence of ups and downs and ask if that sequence is random. Now you say, what does random mean? Good question.

Well some may answer by saying the sequence passes a battery of randomness tests. But I personally find that inadequate for several reasons, one being the bits of pi pass the tests, but are the results of a program.

My 1st step in answering your question is: Would you accept
Zafa Pi said:
Definition of random: A sequence of heads and tails obtain by flipping a coin* from the top of the Eiffel Tower.
 
  • #81
OCR said:
I was going to get there, but do you have any idea how much a platinum-iridium S/G apparatus would cost?
 
  • #82
Zafa Pi said:
...do you have any idea how much a platinum-iridium S/G apparatus would cost?
N.B. Only a random guess...
 
Last edited:
  • #83
Zafa Pi said:
My 1st step in answering your question is: Would you accept:

Definition of random: A sequence of heads and tails obtain by flipping a coin* from the top of the Eiffel Tower.
It's a nice suggestion. The difficulty with it is that at most it could be an example of a single outcome from a stochastic ('random') process. Although in everyday life we use collections of examples to serve as pragmatic definitions, that is only ever an approximation, and the further removed we get from everyday objects and concepts, the more ineffective such approximations become. In order to define what it means for a physical process to be random, we need to specify a set of properties that are necessary and sufficient conditions for a process to be random. Setting the condition to be the above would then mean that any process that did not involve coins and the Eiffel Tower would not be random, be it a sequence of S/G measurements, Geiger counter readings, or anything else.

You might be interested in this Fourmilabs link, at which one can order and then download a sequence of measurements by a Geiger counter, which gives you the same sort of thing as a SG setup, but at much lower cost.

The question remains though, what does Fourmilabs (the supplier of the numeric sequences) mean by 'random'. My preferred definition, as per the aforelinked essay, is:

'a process P is random with respect to a theory T iff, for any time t, there is no set of physical measurements that can be made prior to t that enables exact, certain prediction of outcomes of P at times later than t'​

Under that (epistemological) definition, the radioactive process that generates the Fourmilabs sequence is random with respect to T=Quantum Mechanics, as is a SG process. And the sequence of 'random numbers' generated by computer programs like R, Matlab or Excel (which they call 'pseudorandom number generators' when they are speaking precisely) are not. But that tells us nothing about whether there may be some more powerful theory T2, with respect to which the Fourmilabs or SG processes are not random.
 
  • Like
Likes stevendaryl and Zafa Pi
  • #84
andrewkirk said:
It's a nice suggestion. The difficulty with it is that at most it could be an example of a single outcome from a stochastic ('random') process. Although in everyday life we use collections of examples to serve as pragmatic definitions, that is only ever an approximation, and the further removed we get from everyday objects and concepts, the more ineffective such approximations become. In order to define what it means for a physical process to be random, we need to specify a set of properties that are necessary and sufficient conditions for a process to be random. Setting the condition to be the above would then mean that any process that did not involve coins and the Eiffel Tower would not be random, be it a sequence of S/G measurements, Geiger counter readings, or anything else.

You might be interested in this Fourmilabs link, at which one can order and then download a sequence of measurements by a Geiger counter, which gives you the same sort of thing as a SG setup, but at much lower cost.

The question remains though, what does Fourmilabs (the supplier of the numeric sequences) mean by 'random'. My preferred definition, as per the aforelinked essay, is:

'a process P is random with respect to a theory T iff, for any time t, there is no set of physical measurements that can be made prior to t that enables exact, certain prediction of outcomes of P at times later than t'​

Under that (epistemological) definition, the radioactive process that generates the Fourmilabs sequence is random with respect to T=Quantum Mechanics, as is a SG process. And the sequence of 'random numbers' generated by computer programs like R, Matlab or Excel (which they call 'pseudorandom number generators' when they are speaking precisely) are not. But that tells us nothing about whether there may be some more powerful theory T2, with respect to which the Fourmilabs or SG processes are not random.

That is a workable definition. Still, how do you define a theory? Is it a collection of predictive algorithms , general rules of inference, etc? Is it fixed or does it allow add-ons? Does it allow for infinitely-many inference rules? Does it have a specific measure for detecting fit between predicted and modeled by the theory, etc?
 
  • #85
WWGD said:
That is a workable definition. Still, how do you define a theory? Is it a collection of predictive algorithms , general rules of inference, etc? Is it fixed or does it allow add-ons? Does it allow for infinitely-many inference rules? Does it have a specific measure for detecting fit between predicted and modeled by the theory, etc?
Physics is loaded with undefined terms as opposed to math. You mention theory, and there is measurement and random. The OP was concerned about random, so sticking with that, it seems (@PeroK, @andrewkirk , and me) that random is contextual.

I suggest that a random sequence is generated by certain specified physical processes. For example coin flipping. More general, lab measurements that correspond to QM measurements that are random variables, e.g. measuring electron spin at 90° from spin up electrons at 0°.
Both of the above example have been found to satisfy randomness checks for two valued uniform sequences, but they are not generated by any algorithm.

How about?
Random := The value(s) produce by an objective* physical* process that when repeated yields a sequence that passes randomness tests.
* objective means repeatable by others. * physical means non-algorithmic, like coin flips.

Now note this not a math definition. Is it any more vague than defining length?
 
  • #86
Zafa Pi said:
Physics is loaded with undefined terms as opposed to math. You mention theory, and there is measurement and random.

I would see things as follows. I'll use "circle" as an analogy:

Circle: mathematical concept with precise mathematical definition. In general, a perfect circle cannot be proved to exist in nature, even though a mathematical model predicts it.

Random variable: mathematical concept with precise mathematical definition. In general, a random variable cannot be proved to exist in nature, even if a theory predicts it.

However, to say that a particle executes a circular orbit is not absurd. Neither is it absurb to say that a measurable in QM is a random variable. You can never prove or measure either precisely, but that's not the point.

The question vis-a-vis the Stern-Gerlach experiment is whether QM will ever be replaced by a theory that will predict in advance the direction each electron will take. There are three possibly answers:

Definitely not (QM may be replaced but not by something that gets rid of the probabilities)
Possibly (maybe the universe is deterministic after all and maybe it isn't)
Definitely (the universe is definitely fully deterministic and QM must be replaced at some stage by a theory that gets rid of the probabilities)

The answer of "definitely", which is assumed by some as an a priori property of a fundamentally deterministic universe is not correct. There is no way to be certain that the universe is fundamentally deterministic. There is no way to be certain that the probabilities apparently observed in the Stern-Gerlach experiment and predicted by QM will ever go away.
 
  • #87
WWGD said:
That is a workable definition. Still, how do you define a theory? Is it a collection of predictive algorithms , general rules of inference, etc? Is it fixed or does it allow add-ons? Does it allow for infinitely-many inference rules? Does it have a specific measure for detecting fit between predicted and modeled by the theory, etc?
Good questions. After some reflection, my suggestions are:

Let's adopt the formal definition of 'theory' that is used in First Order Predicate Logic (FOPL), which is that a theory is a set of propositions, where a proposition is a statement that is true or false.

We then define a 'Physical Theory' to be a set of propositions T that is the closure, under the operation of deduction, of a set of propositions G, such that every proposition in G is of the form "probability of B, given A, is p" (call a proposition of this type a predictive proposition), where A and B are both 'constructions' of physical observations, where the set of 'constructions' is the closure of the set of observations under the operations of conjunction (AND) and disjunction (OR).

The B propositions are the predicted physical observations and the A propositions are those on which the predictions are based.

A 'physical observation' is a proposition of the form

'result of measurement M <operand> x'​

where <operand> is <, = or > and x is a real number.

We could say T is 'a deterministic theory' if all probabilities p in propositions in G are either 0 or 1.
Is it fixed or does it allow add-ons?
T is determined by G. If we add or subtract anything from G, then the modified generating set G' generates (via closure over deduction) a theory T' that is different from T, unless the added or removed propositions were redundant.
Does it allow for infinitely-many inference rules?
Inference rules are what generates G. So if we have a set R of inference rules. which is just a set of propositions, that generates a set G of predictive propositions via closure through deduction, subject to requiring any deduced propositions to be predictive. It is the set R of inference rules that we usually think of as a physical theory, as in the postulates of QM or of GR, but here we reserve the term 'theory' for T, the set of all propositions deducible from R , for consistency with the usual terminology of FOPL.

With that meaning of 'inference rules', there is no compelling reason to require R to be finite. If we want the theory to be comprehensible by finite beings like humans, we would have to require it to be finite, but I don't feel the need to apply that restriction, and I don't think it materially influences the issues under discussion here.

Note however, that if we don't require R to be finite, the M-Law, which is the infinite set of observations of every particle in the universe ever, qualifies as a theory.
Does it have a specific measure for detecting fit between predicted and modeled by the theory
The measures could be as follows:

- if the theory contains a proposition of the form ##P(B|A)=1 (0)## and ##A## is observed to occur and ##B## is observed not to occur (##B## is observed to occur), then the theory has been falsified and must be discarded.

- if the theory contains a proposition of the form ##P(B|A)=p## and ##A## is observed to occur and ##B## is observed not to occur then the 'degree of doubt' in the theory raised by the observations is ##p##.
 
  • #88
In software engineering, a random number generator "creates" a sequence of numbers that is pseudo-random. But it is predictable if you know the seed number.

In the quest for "secure randomness" some engineers used the idea that photon "noise" (another word for random data), from a digital video camera can be used to help create more secure encryption methods... but I have come to believe that randomness simply does not exist. It is paramount to saying "god did it" and generally points to a lack of knowledge of a pattern. If a pattern is too complicated for you to see as order, you will call it random. With the photon/camera trick, the only thing random about it is that it is highly unlikely that you will know all of the interacting cycles of the dynamic system of light and matter being captured in the camera's view in order to properly predict when a photon will hit the camera's lens and cause the pixel bucket to pass a specific threshold for that position.

So to put it simply, randomness is just a reflection of our own ignorance of any system. In the case of the camera trick, it's simply our own ignorance of the dynamical system of light reflection and refraction with matter. There will be no definition of randomness truly until we have fully defined physics and somehow have the ability to know the position, heading, charge, and velocity of every electron in the universe.
 
  • #89
Curiose said:
So to put it simply, randomness is just a reflection of our own ignorance of any system.

I'm a bit puzzled by what you say. If I gave you, say, the weekly football results. Just a sequence of the goals scored in each game, home and away, in alphabetical order. Then, you're saying that eventually you can (or could?) predict the scores?

Or, if I tossed a coin repeatedly and gave you that data, then you could eventually predict each and every toss? I don't see how you could do that.
 
  • Like
Likes Curiose
  • #90
PeroK said:
I'm a bit puzzled by what you say. If I gave you, say, the weekly football results. Just a sequence of the goals scored in each game, home and away, in alphabetical order. Then, you're saying that eventually you can (or could?) predict the scores?

Or, if I tossed a coin repeatedly and gave you that data, then you could eventually predict each and every toss? I don't see how you could do that.

No, because that is not enough data about the system which is being analyzed and predicted.

What I'm saying is that if I knew the state of every air particle, the exact pressure/position of the thumb, how many atoms the thumb and the coin had in them, the exact height of the point of release, the exact distance to the ground, the exact layout of the ground or surface of which the coin was falling, maybe down to the micron, and the environmental conditions directly surrounding and interacting with the coin as it flips through the air, and probably a number of other physical factors which it is currently impossible to measure, I could predict which side the coin would end up on when it finally came to rest. But pretty much, since I don't know those things and have no interest in developing some sort of analysis device which could, for me, it is impossible to know, thus I would say it is "random".

The underlying issue is that I cannot know these things with the very limited sensory perception I have. You imagine watching a coin toss with your eyes, but eyes are not a very accurate measuring device. It would be possible IF I knew every factor affecting the coin, and the toss. But that would basically take me becoming some sort of coin-toss analytical genius, so it's not plausible to know, thus, I can just sum up the entire system as "random" and get on with the rest of life.

Every dynamical system has rules and a myriad of components plus their interactions over time (if talking about a "moving" dynamical system). It would only be possible to say, predict whether a kicker would make a kick or not, with 100% accuracy if you could literally measure every stride and every angle of every part of the holarchich dynamical system which is the kicker's body, leg, ball, field, etc.

It's like the difference between having a set of statistics about something, and literally being an omnipotent observer of that system in real time, having much more detailed statistics about factors which may not seem to affect the outcome but actually do. This is why I say that it is not randomness that exists, but rather a lack of observational knowledge.

You can't predict which way the wind will be blowing at a given point if you think of the wind as "wind speed and a 2D angular direction", no matter how many times you sample the wind speed at that given point. The wind is a dynamical system that is the size of the entire earth.
 
  • #91
Zafa Pi said:
Physics is loaded with undefined terms as opposed to math. You mention theory, and there is measurement and random. The OP was concerned about random, so sticking with that, it seems (@PeroK, @andrewkirk , and me) that random is contextual.

I suggest that a random sequence is generated by certain specified physical processes. For example coin flipping. More general, lab measurements that correspond to QM measurements that are random variables, e.g. measuring electron spin at 90° from spin up electrons at 0°.
Both of the above example have been found to satisfy randomness checks for two valued uniform sequences, but they are not generated by any algorithm.

How about?
Random := The value(s) produce by an objective* physical* process that when repeated yields a sequence that passes randomness tests.
* objective means repeatable by others. * physical means non-algorithmic, like coin flips.

Now note this not a math definition. Is it any more vague than defining length?
I understand, but it seems self-referential: defining randomness in terms of passing random tests. Maybe you can say that the outcome can only be determined probabilistic , over the long run. No method exists * which can predict with 100% accuracy the outcome of the experiment.

Maybe can exist
 
  • Like
Likes Curiose
  • #92
Curiose said:
It's like the difference between having a set of statistics about something, and literally being an omnipotent observer of that system in real time, having much more detailed statistics about factors which may not seem to affect the outcome but actually do. This is why I say that it is not randomness that exists, but rather a lack of observational knowledge.

But, what if there is a physical, theorectical limit to observation knowledge? This could come from a) there being a limit on how accurate a measurement of position could possibly be; and/or b) a limit to the knowledge of two observables - the HUP (Heisenberg Uncertainty Principle) essentially says that the more accurately you know the position of a particle, the less accurately you know its momentum - in any case, you can't know both to an arbitray precision; and/or c) a piece of data that is intrinsically random, such as the spin on an electron, which may be theorectically unknowable.

This ties into my post above. There is no certainty that Quantum Mechanics will one day be replaced by a "deterministic" theory, where the HUP and the instrinsic probabilities disappear. And, unless that happens, then there are clear limits to observational knowledge.
 
  • #93
PeroK said:
There is no way to be certain that the probabilities apparently observed in the Stern-Gerlach experiment and predicted by QM will ever go away.

"Apparently observed" is a wise choice of words. Technically, we don't observe specific probabilities. We observe actual frequencies of occurence. Can we observe the distinction between "there is some probability involved" versus "the result is always the same" for a given situation? - i.e. distinguish between certainty versus a probability very near 1?

I find it interesting to consider whether the concept of (physical) probability must always involve a notion of time - at least "time" in the sense of something that has a "before" and "after" aspect. For example, we think of a probability that a fair coin "will" land heads in a scenario where the coin does land. So there is a "collapse" of the probability to a definite outcome even in this non-quantum-mechanical model.

One can try to circumvent the time aspect by thinking about "ensembles". For example, we can think about an "ensemble" of fair coin tosses that were done in the past. However, to extract a probability model for a coin toss of experiment from that point of view, we have to introduce the idea that an experiment is "chosen at random" from the ensemble. So implicitly we have the the idea of the probability of heads before the experiment is chosen then a definite result after the experiment is chosen.
 
  • #94
WWGD said:
I understand, but it seems self-referential: defining randomness in terms of passing random tests.
I didn't do that. The randomness tests were included to ensure the physical process wasn't do something ridiculous like turning out the same digit over and over.
For example, if one looks at the displayed temperature (F) at Times Square at noon on June 1st, I would say the leading digit is not uniform (over the 10 digits), but I would not be surprised if the 2nd digit was (with respect to randomness tests).
 
  • #95
PeroK said:
The answer of "definitely", which is assumed by some as an a priori property of a fundamentally deterministic universe is not correct. There is no way to be certain that the universe is fundamentally deterministic. There is no way to be certain that the probabilities apparently observed in the Stern-Gerlach experiment and predicted by QM will ever go away.
You have said this before and I agreed. However, you didn't respond to my statement
Zafa Pi said:
Also the evolution of the electron state through the S/G is governed by a deterministic unitary process.
 
  • #96
Curiose said:
What I'm saying is that if I knew the state of every air particle, the exact pressure/position of the thumb, how many atoms the thumb and the coin had in them, the exact height of the point of release, the exact distance to the ground, the exact layout of the ground or surface of which the coin was falling, maybe down to the micron, and the environmental conditions directly surrounding and interacting with the coin as it flips through the air, and probably a number of other physical factors which it is currently impossible to measure, I could predict which side the coin would end up on when it finally came to rest.
In spite of many physicist saying this, I find it nonsense. It is untestable, not even wrong, philosophical fluff. I find it on par with: If I knew enough I could predict anything.
PeroK's statement is germane,
PeroK said:
But, what if there is a physical, theorectical limit to observation knowledge?
You then go on to say,
Curiose said:
But pretty much, since I don't know those things and have no interest in developing some sort of analysis device which could, for me, it is impossible to know, thus I would say it is "random".
I like the last 6 words. See post #85.
 
Last edited:
  • #97
Zafa Pi said:
I didn't do that. The randomness tests were included to ensure the physical process wasn't do something ridiculous like turning out the same digit over and over.
For example, if one looks at the displayed temperature (F) at Times Square at noon on June 1st, I would say the leading digit is not uniform (over the 10 digits), but I would not be surprised if the 2nd digit was (with respect to randomness tests).
I see, so you first define the randomness test and then use that. Ok, sorry I misread you.
 
  • #98
A truly random phenomena must have some probability of failing a randomness test.
 
  • Like
Likes Curiose and andrewkirk
  • #99
Stephen Tashi said:
A truly random phenomena must have some probability of failing a randomness test.
Although uncertain, the possibility exists; Mr Pi can appreciate simplicity to a greater degree, using his contextualy more constrained version of randomness...

Defined as... Deterministic Unridiculous Randomness (DUR) .

Zafa Pi said:
The randomness tests were included to ensure the physical process wasn't do[sic] [recte to] something ridiculous like turning out the same digit over and over.
 
Last edited:
  • #100
Stephen Tashi said:
A truly random phenomena must have some probability of failing a randomness test.
I would use possibility rather than probability.
The definition I gave in post #85 has that built in. It's the 1st time I've tried to give a definition, what deficiencies do you find with it?
 
Back
Top