Sebastian Rahtz wrote:
> not being a mathematician, i am not sure how to comment on this. i had
> just assumed that publishing "logical" math is a Good Thing
I guess the problem is not whether math is logical, but that
published math contains a lot of omissions or jumps which people
who work in the field know how to fill in. This is a necessary
mechanism for optimal humantohuman communication.
> > ones that drive mathematical innovation. Thus, having data formats
> > which are optimized for presentation, and others which are optimized for
> > machine processing of the logical content is,
> i take the point that you need both, that we cannot get rid of
> presentation math, because it performs a valuable function. but for
> the *default*, lowclass, massmarket math, surely you'd agree that
> content markup is desirable? surely school textbook math should have
> not have \hspace s in?
Absolutely. I guess on this level things are, at least in principle,
taken care of by LaTeX, so I assume we are talking about one step
further:
That, at present, I cannot take a piece of LaTeX code, read it
unambiguously into Mathematica and work with it. (I am using this just
as an example because I am most familiar with the two, but I guess
everybody can replace these by their favorite systems...)
Marcel
