[XML-DEV Mailing List Archive Home] [By Thread] [By Date] [Recent Entries] [Reply To This Message]

RE: Subtyping in XML

• To: "'John Cowan'" <jcowan@r...>, jlowery@s...
• Subject: RE: Subtyping in XML
• From: "Young, Brian R" <brian.r.young@b...>
• Date: Tue, 10 Sep 2002 11:13:29 -0700
• Cc: xml-dev@l...
• Importance: low

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@b...
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@r...] 
> Sent: Monday, September 09, 2002 2:47 PM
> To: jlowery@s...
> Cc: jcowan@r...; xml-dev@l...
> Subject: Re:  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@r...
> 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>

• Follow-Ups:
  • RE: Subtyping in XML
    • From: "Danny Ayers" <danny666@v...>

• Prev by Date: RE: Subtyping in XML
• Next by Date: RE: Subtyping in XML
• Previous by thread: RE: Subtyping in XML
• Next by thread: RE: Subtyping in XML
• Index(es):
  • Date
  • Thread