[thaumasiotes]

You're taking an anomalously narrow view of the parent comment. Say the minimum distance is one inch.

You want to say that the concept of half an inch lacks physical representation, but that isn't true. You can easily demonstrate it as the ratio between one inch and two feet, compared to the reference ratio between one inch and one foot.

dhosek is saying that in a quantized space, there are reals that cannot be demonstrated this way, and he is right, but the same thing is untrue of rationals.

("In a quantized space", by the way, just means that all measured quantities are necessarily integers. That causes all kinds of problems, but "lacking examples of arbitrary rational numbers" isn't one of them.)

[tromp]

> You can easily demonstrate it [half an inch] as the ratio between one inch and two feet, compared to the reference ratio between one inch and one foot.

You seem to have your units confused. Half an inch is a distance, while ratios, or comparisons of ratios, are all dimensionless scalars.

[thaumasiotes]

Have you ever seen a map with a scale indicator?

[testaccount28]

"suppose that the minimum distance is one inch. well, that's one of something. so now imagine half of that! there you go: one half. a physically unrealizable number."

[dhosek]

Except that you’re assuming that 1 must necessarily correspond to that minimum distance. Keeping that situation, we can just say that 1 corresponds to two inches and then realize 1/2 as that number.

Classical geometry (a la Euclid) allows for constructing a lot of numbers. We get natural numbers pretty cheaply, negative integers through adding in a concept of directionality (zero is a bit of an imaginative leap which is why it was absent from Western mathematics for so long). Constructing arbitrary ratios is possible through similar triangles and square roots through right triangles, but some basic algebraic numbers like cube roots cannot be constructed with a ruler and straight edge (which raises the question of whether, in a quantized universe, whether irrational cube roots actually exist). Of course there’s no guarantee that the quantization is going to be uniform and we also have the ɣ factor of special relativity (1/sqrt(1-v²/c²)) which gives us a non-Euclidean space to complicate things, but it’s not clear that if you can find a value for 1 that allows you to get a measurement for every irrational number.

[dhosek]

One could make the argument that the only numbers that actually “exist” are the natural numbers, but the question ultimately is can you model any real number in the physical universe. Modeling ½ is simply a question of picking a unit to be 1 and finding its midpoint (or for that matter, declaring two apples to be “1” and thus a single apple would be “½”, although it’s a bit of a challenge to use apples to model (2-√3)/5

[Dylan16807]

Make a line of 10 apples and declare it to be 2 units long, then make a square that's 15 applies diagonal, finally measure how much longer the 10 apples are than the side of the square.

It's a pretty linear increase in complexity between the math and the apples.

[testaccount28]

in what way does drawing a diagram have anything to do with physically realizing a number?

[Dylan16807]

I didn't say a diagram? I'm talking primarily about physical objects.

And I'm just explaining how to use the same methods as the comment I replied to.