W3C home > Mailing lists > Public > www-math@w3.org > March 2012

AW: Re: Using content-MathML for computation and analysis in Science and Engineering

From: Andreas.strotmann <andreas.strotmann@gmail.com>
Date: Wed, 21 Mar 2012 01:16:06 +0100
Message-ID: <f4d62x6i8kjt96ttgr4e0voc.1332288966266@email.android.com>
To: davidc@nag.co.uk, pm286@cam.ac.uk
Cc: www-math@w3.org
I did not actually intend to detract from the previous discussion on assignment operators. I just noticed that a piece of common knowledge would have been important to know for newcomers to MathML Content. 

That said, I'm afraid that I need to burst a little bubble here. MathML Content brings with it what you need to describe (the semantics of) side effect free algorithms. 

Any clean Content markup language would need to add a language primitive for something that has a semantics that falls outside of the range of its existing semantic constructors. Since assignments are not context free, you would probably have some serious trouble to define an OpenMath dictionary with a clean semantics for an assignment operator.

In my 2003 dissertation I argued that this compositionality principle for content markup languages implies, in a similar logic, that typing is another semantic primitive missing from OpenMath (and by implication, MathML 3).

Now as we all know implementations are free to ignore this, as is Peter. As always, my comments are just for the language purists. 

-Andreas null
Received on Wednesday, 21 March 2012 00:16:48 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Wednesday, 21 March 2012 00:16:48 GMT