Hacker News new | ask | show | jobs
by Nevermark 1 hour ago
Pi, i and e show up with apparent perfect "precision" in all kinds of physics.

Waves are pervasive and described by relationships involving those numbers. They show up in other relationships. With important properties such as conservation of energy that any partial precision wouldn't be able to achieve.

Numbers are not just evident by single value measurement, but even more powerfully when they govern a system, where any problem with the definition would result in an easily recognizable failure of an entire theory.

I think "precision" is the wrong way to look at what can mean something or not.

I think the boundary between numbers that "make sense", relative those that don't is better found by looking at the progression of numbers.

From naturals, to integers, to rationals, to algebraic (both non-rational roots, and roots of negatives), all the way to limits and series. (Note that the infinite computation associated with expanding digits is not a definition problem. Even 1/3 requires infinite digits in decimal, but the relationship between 1 and 3 is clear.)

What is true about all these numbers is not precision, but that they emerge from a finite number of relationships.

They can be written exactly, defined perfectly, with finite numbers of symbols. (Meaning, abstracting away notation, with a finite number of relationships.)

And all those types of numbers do show up exactly (for all appearances), in waves, and other relationships. The relationships themselves make predictions more powerful than the practical precisions we might have in measuring single values.

So pi really exists. All kinds of physics would fail if it didn't. That doesn't mean we can make a perfect pi circle with plan length, since that would be an arbitrary test, and if the medium is discrete units, one chosen to a priori fail.

Contrast with: The uncomputable, undefinable numbers, which we can't define, can't measure, etc., and are introduced via shaky (relative to the general body of mathematics) means. They require infinite information to define exactly. Not just measure, but even to define. Which is a remarkable postulation, and is not needed to solve any problems they don't themselves introduce.