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

Re: equivalentTo vs. XSLT

• To: xml-dev@l...
• Subject: Re: equivalentTo vs. XSLT
• From: Miles Sabin <miles@m...>
• Date: Tue, 12 Nov 2002 16:07:52 +0000
• In-reply-to: <200211121614.LAA09024@m...>
• References: <200211121614.LAA09024@m...>

John Cowan wrote,
> 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.  :-)

Now there's an idea! ;-)

Cheers,


Miles

• References:
  • Re: equivalentTo vs. XSLT
    • From: John Cowan <jcowan@r...>

• Prev by Date: Re: equivalentTo vs. XSLT
• Next by Date: Re: Does WTSIWYG make simplicity moot? (was Re: dtds, schemas, xhtml, and multimedia technologies)
• Previous by thread: Re: equivalentTo vs. XSLT
• Next by thread: Decidability
• Index(es):
  • Date
  • Thread