## LATEX-L@LISTSERV.UNI-HEIDELBERG.DE

 Options: Use Forum View Use Monospaced Font Show Text Part by Default Condense Mail Headers Message: [<< First] [< Prev] [Next >] [Last >>] Topic: [<< First] [< Prev] [Next >] [Last >>] Author: [<< First] [< Prev] [Next >] [Last >>]

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 human-to-human 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*, low-class, mass-market 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