[YG Conlang Archives] > [jboske group] > messages [Date Index] [Thread Index] >
John: > pycyn@hidden.email scripsit: > > > Well, no. By the allowal of decimal additions you have moved away from > > integers into reals. The languages of the various number systems > are similar > > but not the same, just as some of the numbers each involves are similar but > > not the same. In some contexts, integer 22 can do business for real 22.0r > > but they are different critters (natural 22 is something else again still). > > I don't agree. Every natural number is an integer; every integer is a > real number. 22, 22.0, 22.00000... and 21.99999... are mere notational > differences. In short, there is no identity predicate on numbers that > is finer than numeric equality But you are ignoring the paradigmatic dimension. 22 is 22, but sometimes it is opposed to 21 and 23 and sometimes it is opposed to 22.1 and 21.9. The basic issue of this thread is how to indicate which set of opposing values the number is drawn from. --And.