• To: miles@m... (Miles Sabin)
• Subject: Re: equivalentTo vs. XSLT
• From: John Cowan <jcowan@r...>
• Date: Tue, 12 Nov 2002 11:00:35 -0500 (EST)
• Cc: xml-dev@l...
• In-reply-to: <200211121549.05599.miles@m...> from "Miles Sabin" at Nov 12, 2002 03:49:05 PM

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@r...
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.

• Follow-Ups:
  • Re: equivalentTo vs. XSLT
    • From: Miles Sabin <miles@m...>

• References:
  • Re: equivalentTo vs. XSLT
    • From: Miles Sabin <miles@m...>

• Prev by Date: RE: XML Databases
• Next by Date: Re: equivalentTo vs. XSLT
• Previous by thread: Re: equivalentTo vs. XSLT
• Next by thread: Re: equivalentTo vs. XSLT
• Index(es):
  • Date
  • Thread