[YG Conlang Archives] > [jboske group] > messages [Date Index] [Thread Index] >


[Date Prev] [Date Next] [Thread Prev] [Thread Next]

Re: [jboske] RE: [lojban] djedi li integer



forgive my ignorance, but how come 21.9999999999999 is equal to
22.0? 

--And.

>>> cowan@hidden.email 10/30/02 03:00pm >>>
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.

-- 
"No, John.  I want formats that are actually       John Cowan
useful, rather than over-featured megaliths that   http://www.ccil.org/~cowan 
address all questions by piling on ridiculous      http://www.reutershealth.com 
internal links in forms which are hideously        jcowan@hidden.email 
over-complex." --Simon St. Laurent on xml-dev


To unsubscribe from this group, send an email to:
jboske-unsubscribe@yahoogroups.com 

 

Your use of Yahoo! Groups is subject to http://docs.yahoo.com/info/terms/