OASIS Mailing List ArchivesView the OASIS mailing list archive below
or browse/search using MarkMail.


Help: OASIS Mailing Lists Help | MarkMail Help



   RE: [xml-dev] Subtyping in XML

[ 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
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 

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>


News | XML in Industry | Calendar | XML Registry
Marketplace | Resources | MyXML.org | Sponsors | Privacy Statement

Copyright 2001 XML.org. This site is hosted by OASIS