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

[And Rosta <arosta@uclan.ac.uk>]

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

--And.

>>> cowan@ccil.org 10/30/02 03:00pm >>>
pycyn@aol.com 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@reutershealth.com 
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/