Live data from Hacker News

How real are real numbers? (2004)

arxiv.org

101–108 of 108 posts

Re: How real are real numbers? (2004)

#101
post #50

Earlier quoted context omitted.

Bad example. You can do all of this with constructivism. Any constructable Cauchy sequence converges to a constructable member of the space. What you get for the formalism around computable numbers is this. Every mathematical object in the theory is something that can be, at least in principle, actually written down. When we say that it exists, this existence is of the most tangible form that any mathematical thing c…

Having constructible Cauchy sequences doesn't guarantee that we can construct unbounded operators. I'm no expert, but the little searching I've done suggests this is an open research question. I don't see the benefit of being able to write something down "in principle." A number can only ever be computed to a finite number of digits in practice. If we're talking about finite approximations, then the standard approach…

Yes. There exist numbers that cannot actually be written down because they are too big.

But you get there by a path of increasing fuzziness, and no clear boundaries, from numbers that we can both write down, and work with.

Then there is a jump to numbers that cannot be written down. Not even in principle.

Some people feel that that jump matters. Others don't. I feel it matters. But I accept that most mathematicians, don't.

Re: How real are real numbers? (2004)

#102

Earlier quoted context omitted.

> With important properties such as conservation of energy that any partial precision wouldn't be able to achieve. If your measurement of energy is 150 +/- 2, you only need a handful of digits to do calculations involving that value that preserve it just fine. Insisting that that billionth digit and more still match is no longer working with the real world. > The relationships themselves make predictions more powerfu…

> If your measurement of energy is 150 +/- 2, you only need a handful of digits to do calculations involving that value that preserve it just fine. Insisting that that billionth digit and more still match is no longer working with the real world. You just repeated the misunderstanding. Numbers like pi are not just magnitudes, but form critical relationships. And relationship tests offer (unimaginable) orders of magni…

> Numbers like pi are not just magnitudes, but form critical relationships.

Yes, relationships. But the only way to test relationships is to eventually get to measurements of magnitudes.

> And relationship tests offer (unimaginable) orders of magnitude more stringent testing.

How?

> "Weak" relationship test: The 3-body problem.

You can't prove the 3-body problem isn't rounding to the nearest planck unit. You can't measure it precisely enough.

> Strong example: If wave equations were not exact to pi, the discrepancy would be obvious in a nanosecond, much less thousands, millions or 14 billion years.

I don't think you're conceptualizing "a thousand digits" properly.

> where any offset completely destroys its properties

What's an experiment we could do that verifies pi doesn't have an offset of 1e-1000?

Also keep in mind that just the slightest bit of gravity or cosmic expansion has a much much bigger warping effect then 1e-1000 and yet physics keeps working the way we expect, and we can't tell the difference for small enough amounts of those things.

> The maximum discrepancy you can come up with would be an unimaginable infinitesimal, shrinking faster and faster every Plank unit of time since the Big Bang. And also shrinking relative to the increasing volume, in Plank lengths, of observable space ever since the Big Bang.

Why would it have to keep shrinking?

I think you're saying that for it to have no difference at all it would have to be that small. But my challenge is for an experiment that measures the difference. If some physical effect shifted over by 5 Planck units would you be able to tell? What if reality has just a tiny itty bit of jitter to it that ruins perfect numbers like Pi?

> It is impossible to create a circle made up of discrete lengths (Plank or not) in flat space, due to basic geometry. So using that as a test, when no theory predicts or depends on a "perfect" spacial circle, is a red herring. We already know it does not exist.

It's not a red herring when I'm suggesting that no test is even possible.

Can you come up with a test?

Re: How real are real numbers? (2004)

#103

Earlier quoted context omitted.

> If your measurement of energy is 150 +/- 2, you only need a handful of digits to do calculations involving that value that preserve it just fine. Insisting that that billionth digit and more still match is no longer working with the real world. You just repeated the misunderstanding. Numbers like pi are not just magnitudes, but form critical relationships. And relationship tests offer (unimaginable) orders of magni…

> Numbers like pi are not just magnitudes, but form critical relationships. Yes, relationships. But the only way to test relationships is to eventually get to measurements of magnitudes. > And relationship tests offer (unimaginable) orders of magnitude more stringent testing. How? > "Weak" relationship test: The 3-body problem. You can't prove the 3-body problem isn't rounding to the nearest planck unit. You can't me…

> What's an experiment we could do that verifies pi doesn't have an offset of 1e-1000?

Quantum mechanics, the wave equation. Electron shells, photochemistry, general chemistry, just about everything if we are talking about pi, or e, or i.

1 part off in trillions ^ trillions would impact the fusion of stars, the rates of chemical reactions, require adjustments to basic laws, violate conservation of energy as we know it, ... really obvious impacts. As in: "we would not be here" impacts.

Cosmology has run experiments for us that ran billions of years.

Contrast: Not everything can be tested with virtually unlimited precision, but basic mathematical constants in physics often can be. The gravitational constant is not testable like that. We don't have a mathematic derivation that we can leverage to test for violations like we do with pi, e, i, and other basic mathematical relationships that show up in physics.

But often, even a tiny difference becomes obvious. We exist because the production of matter and anti-matter at the beginning of the universe was off by a tiny amount. Despite the small discrepancy, that there was a discrepancy is very clear. Another "we would not be here" test.

Re: How real are real numbers? (2004)

#104

Earlier quoted context omitted.

> Numbers like pi are not just magnitudes, but form critical relationships. Yes, relationships. But the only way to test relationships is to eventually get to measurements of magnitudes. > And relationship tests offer (unimaginable) orders of magnitude more stringent testing. How? > "Weak" relationship test: The 3-body problem. You can't prove the 3-body problem isn't rounding to the nearest planck unit. You can't me…

> What's an experiment we could do that verifies pi doesn't have an offset of 1e-1000? Quantum mechanics, the wave equation. Electron shells, photochemistry, general chemistry, just about everything if we are talking about pi, or e, or i. 1 part off in trillions ^ trillions would impact the fusion of stars, the rates of chemical reactions, require adjustments to basic laws, violate conservation of energy as we know i…

> 1 part off in trillions ^ trillions would impact the fusion of stars, the rates of chemical reactions, require adjustments to basic laws, violate conservation of energy as we know it

Pointing at entire fields is not helpful. Can you give me one specific measurement and an estimate of how far off it would be?

> really obvious impacts. As in: "we would not be here" impacts.

That sounds pretty nonsense to me. The range of possible values for life isn't that narrow. And relativity is already in there ruining any straightforward conservation of energy and mass by constantly shifting the weight of things as their state changes. But it still works just fine! And we don't know exactly how strong that effect is, which could hide all sorts of imprecision in the real world. It would not be obvious.

> Not everything can be tested with virtually unlimited precision, but basic mathematical constants in physics often can be.

I'm begging you, name a specific test. One that could tease out 1e-1000.

> But often, even a tiny difference becomes obvious. We exist because the production of matter and anti-matter at the beginning of the universe was off by a tiny amount. Despite the small discrepancy, that there was a discrepancy is very clear. Another "we would not be here" test.

And if the matter-antimatter imbalance was 1e-1000 it would be imperceptible. It would be less than one atom in the entire visible universe, by an unimaginable factor. It was somewhere around 1e-9, probably, sort of. Not that small at all.

Re: How real are real numbers? (2004)

#105

Earlier quoted context omitted.

> What's an experiment we could do that verifies pi doesn't have an offset of 1e-1000? Quantum mechanics, the wave equation. Electron shells, photochemistry, general chemistry, just about everything if we are talking about pi, or e, or i. 1 part off in trillions ^ trillions would impact the fusion of stars, the rates of chemical reactions, require adjustments to basic laws, violate conservation of energy as we know i…

> 1 part off in trillions ^ trillions would impact the fusion of stars, the rates of chemical reactions, require adjustments to basic laws, violate conservation of energy as we know it Pointing at entire fields is not helpful. Can you give me one specific measurement and an estimate of how far off it would be? > really obvious impacts. As in: "we would not be here" impacts. That sounds pretty nonsense to me. The rang…

> Pointing at entire fields is not helpful. Can you give me one specific measurement and an estimate of how far off it would be?

You are dismissing my point, then asking me to make it.

You can think of tests/measurements of values as falling into different classes. The strongest tests of all are for the critical values of systems. Because any discrepancy would result in entirely different system behaviors.

Single highly accurate measurements are much lower on the rung. Complementing those are many tests with known statistical inaccuracy. Etc.

Single tests? Every experiment involving quantum mechanics tests pi's role in those equations to a much lesser extent. Similarly, any test involving gravity tests the gravitational constant. But we have much stronger tests for pi in quantum mechanics that we do for g in gravitation.

There isn't just one kind of measurement/test, there are many. And we want the strongest test we can make in any given situation.

But of course, we can always perform weaker tests.

Validating pi in quantum mechanics can be done with extreme robustness, because the entire theory depends on that value critically. Even the tiniest discrepancy would result in different physics compounding over all Plank space and time units, over billions of years and universe expansion, and we wouldn't be here.

Of course, we can't rule out any discrepancy. But in this case, we can rule out discrepancies down to unimaginable infinitesimals. I doubt anyone even knows how to characterize how much of a discrepancy from pi would still be consistent with what we know. That tiny.

The criticality is what gives us this far stronger test. Non-critical values cannot be tested this way. Pi can. Particular tiny ranges of stable constants in a stable 3-body system can (to a lesser extent, given the smaller system and higher bounds on criticality).

Another way to view the systemic criticality of pi, is to recognize that pi is not just a representation for a particular magnitude, but a representation of conserved cyclic behavior. Any deviation from pi breaks cyclic behavior. Thus, the implications of pi in a theory, and our ability to test pi, are profoundly greater than for most other constants. Because the difference between cyclic vs. non-cyclic behaviors, is profound. Not just slightly different behavior, but entirely different behavior.

Re: How real are real numbers? (2004)

#106

Earlier quoted context omitted.

> 1 part off in trillions ^ trillions would impact the fusion of stars, the rates of chemical reactions, require adjustments to basic laws, violate conservation of energy as we know it Pointing at entire fields is not helpful. Can you give me one specific measurement and an estimate of how far off it would be? > really obvious impacts. As in: "we would not be here" impacts. That sounds pretty nonsense to me. The rang…

> Pointing at entire fields is not helpful. Can you give me one specific measurement and an estimate of how far off it would be? You are dismissing my point, then asking me to make it. You can think of tests/measurements of values as falling into different classes. The strongest tests of all are for the critical values of systems. Because any discrepancy would result in entirely different system behaviors. Single hig…

> Validating pi in quantum mechanics can be done with extreme robustness, because the entire theory depends on that value critically. Even the tiniest discrepancy would result in different physics compounding over all Plank space and time units, over billions of years and universe expansion, and we wouldn't be here.

And if you had two separate copies of the universe, you could measure this compounding.

But we only have one universe. How do we know which one we're in?

> Any deviation from pi breaks cyclic behavior. Thus, the implications of pi in a theory, and our ability to test pi, are profoundly greater than for most other constants. Because the difference between cyclic vs. non-cyclic behaviors, is profound. Not just slightly different behavior, but entirely different behavior.

Or it just knocks off the frequency by an absurdly small amount.

But even if it did ruin cyclic behavior, how long are your cycles? The universe is only 1e61 planck times old. A discrepancy of 1e-100 would have no effect yet, let alone 1e-1000.

Re: How real are real numbers? (2004)

#107

Earlier quoted context omitted.

> Pointing at entire fields is not helpful. Can you give me one specific measurement and an estimate of how far off it would be? You are dismissing my point, then asking me to make it. You can think of tests/measurements of values as falling into different classes. The strongest tests of all are for the critical values of systems. Because any discrepancy would result in entirely different system behaviors. Single hig…

> Validating pi in quantum mechanics can be done with extreme robustness, because the entire theory depends on that value critically. Even the tiniest discrepancy would result in different physics compounding over all Plank space and time units, over billions of years and universe expansion, and we wouldn't be here. And if you had two separate copies of the universe, you could measure this compounding. But we only ha…

You are pushing me hard! :)

> And if you had two separate copies of the universe, you could measure this compounding.

> But even if it did ruin cyclic behavior, how long are your cycles? The universe is only 1e61 planck times old. A discrepancy of 1e-100 would have no effect yet, let alone 1e-1000.

When this is true:

When there are no threshold conditions, then discrepancies accumulate just as you have described. And for any given t, a small enough discrepancy can be chosen so that it does not impact measurements of a given accuracy.

When it is not true:

For any system with thresholding conditions, any discrepancy can have profound immediate effects. A collision can result in a particle heading off in an entirely different direction after a collision, cascading into an entirely different system state.

How critical constraints change structure:

When pi, i and e are used structurally, i.e. "pi" represents traversal of a cycle, "i" a quarter turn traversal, "e" a positive feedback traversal, each of them represent something invariant: for "pi" some sum of two squared units is conserved (the squared radius on two units), for "i" a position may be conserved while an orientation rotates, for "e" some feedback value maintains an invariant relation between its position, its rate of change, and its accumulation. These relations define the system itself, not just some proportions.

So for those cases, where constants define structure, any change to those constants changes the structure. Suddenly, there are differences where they did not exist before, non-unity proportions where they did not exist before. The system has new state values, new interactions. The system itself has changed, not just proportions. The system likely has more states.

Structural change is threshold change:

Changing the system's structure is the most significant threshold-type change one might imagine. The entire system is different starting at time = zero.

Can a structural constant be changed in a way that leaves it only proportionally changed? So that discrepancies simply accumulate, until they are measurable? Sometimes, yes.

But will that hold in general? No. In general, the difference between interactions that exist, vs. interactions that do not exist, states that exist vs. states that do not, includes systems that can behave qualitatively differently from the very first time step.

Does that make sense? (I rewrote this several times!)

Sometimes numbers define structure. They define what interacts with what. And what does not interact. Not just proportions.

Changing structure is a threshold-type change: 0 to something, equal to unequal. A state that didn't exist, to one that exists. No interaction, to interaction. That might result in a system that simply accumulates discrepancy. But it may also result in entirely different behavior from the first step onward.

Re: How real are real numbers? (2004)

#108

Earlier quoted context omitted.

> Validating pi in quantum mechanics can be done with extreme robustness, because the entire theory depends on that value critically. Even the tiniest discrepancy would result in different physics compounding over all Plank space and time units, over billions of years and universe expansion, and we wouldn't be here. And if you had two separate copies of the universe, you could measure this compounding. But we only ha…

You are pushing me hard! :) > And if you had two separate copies of the universe, you could measure this compounding. > But even if it did ruin cyclic behavior, how long are your cycles? The universe is only 1e61 planck times old. A discrepancy of 1e-100 would have no effect yet, let alone 1e-1000. When this is true: When there are no threshold conditions, then discrepancies accumulate just as you have described. And…

It's possible something could lead to a discrepancy that you could measure if you knew exactly where to look. (I'd still want to see a non-vague theory for how that could happen, but I'll put that aside.) But even if you knew where to look, you'd just get a value, and that value wouldn't tell you which side of the discrepancy you're on. If the universe had very subtle shifts in how things align, or did very subtle rounding of certain numbers, anyone stuck inside the universe without external knowledge would not be able to tell whether physics matches the pure mathematical expectations or not.

I understand that there might be a threshold in some cases. But given how much of the universe is already effectively random when you get down into the itty bitty details, and that you can only make an experiment so big to tame the statistics, there could easily be untold rough edges that are invisible to us. Some particle went a different way than it "would have", but you can't measure "would have", it still looks like a normal interaction with a normal distribution of outcomes.

Even if you had access to a parallel universe and you knew either you or them had 'correct' physics and the other didn't, I don't see how you'd be able to figure out which is which.

Post reply on HN