sysprog said:
@Jon Richfield You appear to me be attempting to assert limitation against the power of language to define the definable. Whatever the exact value of it is, the square root of two is definitely exactly that number which multplied by itself equals two (as
@PeroK indicated), and to know what two is, you have have only to look at your hands, and count as high as almost any mammal can (almost any mammal can distinguish between one and more than one) until you get past one, and then stop. What will you do when the ir
rational number ##\pi## is perfectly precisely defined as that number which is equal to the
ratio of the circumference of a circle to its diameter?
The examples you cite are OK in everyday utility, much as you can go to the grocer to buy "a kilo of butter" or "a litre of milk", but, like the map I mentioned, they are fictions. Would you show me an exact hand? And then undertake to show me that hand again? (Or two hands for that matter?) I hardly think so.
And how about showing me an exact circle? Fat chance! There is no such thing: no matter the precision of the equipment you draw it with, or indicate its position in space, it is a formal fiction, with, at one's most charitable, a fuzzy circumference with a poorly defined diameter, that is at all times greater than pi times an idealised diameter.
But two? Which two did you have in mind as defining the coordinate of a point on a notional line, which is what I specifically referred to? I was not speaking of an ordinal 2, which in its artificially conceived integer role of counting only represents a few or perhaps a few million (fat chance!) bits of information, but the value of a coordinate on a line. Not a segment of the line, please note, much less a fuzzy segment, but a point. Without that you simply have not defined the number, just a region with fuzzy boundaries limited by the information at your disposal. If you can discriminate the identity of two even to a precision of say, one googol bits, I would be impressed, though incredulous, but it would do nothing to dispel the vagueness of your identification of a particular point.
In the example(s) you gave, "the power of language to define the definable" is extremely limited, partly by the circularity of its definition; the notional ability of language in this case is not mathematical, but fictional, the pretense at defining the indefinable.
Try again your definition and demonstration of the existence of the number two as distinct from other numbers, not on toy examples of limited sets, such as hands or eggs of hens or of salmon, but points on the continuum.
Not in
this universe, words or no words.