[Prev][Next][Index][Thread]

some fundamental omissions



> 
> > Thoughts?  Are there any other ommissions that
> > stand out for you?

Even though the question wasn't meant for me in particular, there are a
couple of things (some of which I mentioned before, I believe) that do
stand out:


1.  Cartesian product of sets as well as the notion of tuple (as opposed
to the vector notion which has been used as a substitute in examples
submitted on this list).

Why vector is not the right thing to use instead of tuple? 

Because vector implies the notion of a vector space, with metrics and all
that stuff.  It also implies uniform elements, so that the many common
cases of mixed-type operations would be awkward. 

In a nut-shell, neither list nor vector nor any other type available in
MathML appears to denote the fundamental concept of tuple.  It should
therefore be added.



2. Curiously, the application operator <application/> is actually missing,
too - the one that denotes the operation of applying one thing to
something else. Again, this is a fundamental concept that certainly needs
to be discussed in k-12 (and again in more depth in introductory college
math and computer science), and thus needs to be present in MathML,
especially since <apply> </apply> now has a much broader meaning.  In math
and CS, the concept of function application is required as a separate
operator in particular when reasoning about the <lambda/> construct, I
suppose.

(The argument for an <application/> different from <apply> </apply> is
thus closely similar to the argument for using <sin/> etc instead of <sin>
...</sin> given in the MathML document).



3. Similarly, MathML terms for the fundamental concepts <function/>,
<set/>, <quantifier/>, <predicate/> etc., all of which are extensively
discussed and used in k-12 math literature, are missing.



I realize that I'm advocating here the introduction of mathematical
concepts into MathML that do not have a default rendering, but it is well
within the scope of MathML to provide the fundamental vocabulary necessary
for providing content markup for the basics of Maths.


 -- Andreas


References: