I want to make sure I understand what you mean by "on the left
had side." Do you mean the set whose successors is "0_2 1_1 ."?
> > > What is the limit of the decimal numbers?
> >
> > A value.
>
> Not a value, but infinity, i.e., the infinite of analysis: potential
> infinity, a continuous growth.
Dealing with unbound sets can be a problem. There are times one
wants to deal with the discrete and time when one wants to deal with
the continuous. Achelles really does make it through the door even
though he must make it half way to the door first. Just as 0 was
added to the natural numbers so one can talk about the cardinality
of the empty set,(all empty sets, the null set,) so was infinity,
represented by the greek letter omega, introduced to talk about the
limit of an unbound sequence for those who must have limits on their
sequences. Omega takes on the skin of memebers of the set and stands
in where no limit exists.
> And we see the poor numbers, which must hold the position on the left
> hand side of the decimal point, existing without indices which have
> been stripped off. But what is a digit of a decimal number without its
> index? Shouldn't we call such numbers crippled numbers? Or is
> "mathematically challenged" the correct wording?
The way one constructs the actual definition for a number represented
as a sequence of numeric characters and a period (I gather some languages
switch our period and optional injection of commas so the comma represents
the start of the part beyond the natural number portion of the seqence)
is to represent the position to the left of the period as the number
mulitiplied by the base raised to the 0th power, then for every successor
position to the left raise to one greater power and for ever successor
position to the right raise to one less power, yes negative numbers have
to be introduced before reading these numbers, the number represented
is the sum of the parts.
OK, there is some foundational work to do but that's a universal problem
since I've seen no satisfactory definition of the domain of the set of
numbers. For instance, where do they exist?, what are their attributes?,
what is the role of numbers in a language?, etc.