Originally posted by curiousbystander
(still wearing the white robes-- robes which upon closer inspection appear a bit dirty around the edges)...
May we then (after fixing a standard length) use numbers to measure the length of objects-- saying that an object has a length of 3/4 when our standard of measurement may be subdivided into 4 equal sized pieces, one of which fits precisely 3 times without overlap or gap atop the object whose length we deemed to be 3/4?
There is a fundamental difference between counting and measuring. Numbers can be used to measure lengths, but completenes is needed in order to make geometry with measure work. For non ideal objects, there is sufficient fudging that completeness is not necessary. It's not difficult to come up with geometric constructions that contain lines with measure which is not rational. An alternative view is that you need a minimal granularity in order for counting to function, but (the standard notion of) measure does not allow for that.
Rational numbers are a effectively a counting system with 'variable granularity', but it is possible to show that there are pairs of meausurements that do not have a whole ratio relationship.
Here's a rather fun construction of one of them:
On a decimal ruler, each unit is divided into tenths, each of those tenths is divided into tenths, and each tenth of a tenth is divided, and so on.
Now, it's easy to see that on this ruler, \frac{1}{9} is not on any of the marks. It's always possible to get closer to it, but dividing one more time, and going to the next notch.
Now let's say I have a ruler which denotes a length of one unit. Then I can subdivide the section between each mark with a smaller mark, so now the ruler counts halves. Then i divide each half into three sixths, each of the sixths into four twenty-fourths, and so on.
This new ruler has the rather nifty property that every rational number, that is, that every number which can be expressed as a fraction, is exactly on some mark. To prove this, simply consider that if the number can be written as \frac{a}{b} then the number of segments on the ruler will be divisible by b after at most b steps and so, some notch will be at \frac{a}{b}.
Now, you need to ask whether a location that never falls exactly on a notch is possible on this ruler, and the answer is yes. For example, you can take the location analagous to \frac{1}{9} - the answer is always closer to the next smaller notch. This location, by the way, corresponds to e-2