[
Lists Home |
Date Index |
Thread Index
]
And then there's Kronecker's famous remark:
God created the integers, all else is the work of man.
:-)
Brian R. Young
The Boeing Company
(425) 865-5834
brian.r.young@boeing.com
DISCLAIMER: Any opinions expressed in this e-mail are my own and do not
necessarily reflect the position of my company.
> -----Original Message-----
> From: John Cowan [mailto:jcowan@reutershealth.com]
> Sent: Monday, September 09, 2002 2:47 PM
> To: jlowery@scenicsoft.com
> Cc: jcowan@reutershealth.com; xml-dev@lists.xml.org
> Subject: Re: [xml-dev] Subtyping in XML
>
>
> Jeff Lowery scripsit:
>
> > Real numbers aren't a type???
>
> Well, if a type is just a set/class, then yes, they are. I
> think it more useful to exclude uncountable classes from the
> types. Floating-point numbers are definitely a type: they
> are countable and in fact finite. Integers and rational
> numbers are a type: countable but not finite.
>
> --
> John Cowan jcowan@reutershealth.com
> http://www.ccil.org/~cowan http://www.reutershealth.com
> Thor Heyerdahl recounts his attempt to prove Rudyard
> Kipling's theory that the mongoose first came to India on a
> raft from Polynesia.
> --blurb for _Rikki-Kon-Tiki-Tavi_
>
> -----------------------------------------------------------------
> The xml-dev list is sponsored by XML.org
> <http://www.xml.org>, an initiative of OASIS
<http://www.oasis-open.org>
The list archives are at http://lists.xml.org/archives/xml-dev/
To subscribe or unsubscribe from this list use the subscription
manager: <http://lists.xml.org/ob/adm.pl>
|
