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] equivalentTo vs. XSLT

[ Lists Home | Date Index | Thread Index ]

Miles Sabin scripsit:

> Believe what you like ... arithmetic is undecidable, so extending a DL 
> with arithmetic gets you an undecidable system.

Well, we could extend it with real numbers, which trades off representability
for decidability.  :-)

-- 
John Cowan                                jcowan@reutershealth.com
At times of peril or dubitation,          http://www.ccil.org/~cowan
Perform swift circular ambulation,        http://www.reutershealth.com
With loud and high-pitched ululation.




 

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

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