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

Le 20 mars 2012 à 08:12, Andreas Strotmann a écrit :
> More to the point, a sequence of assignments would therefore 'naturally' be expressed as nested lambda expressions in MathML to preserve semantics.

My personal opinion, as a mathematician, is that this way of writing might be well-founded in terms of expressivity or logic, it remains fully opaque to most mathematicians except logicians.

The concept of binding is understandable, and even that of mapping, but having to enter everything within lambda terms tends to be a real readability problem.


Received on Tuesday, 20 March 2012 22:11:22 UTC