[Om3] CD-review little report

Paul Libbrecht paul at activemath.org
Thu Sep 25 11:24:32 CEST 2008


Stan,

I have by far not been suggesting to deprecate any content notation in  
this thread!
Please be more precise what you are debating about.

Le 25-sept.-08 à 11:02, Stan Devitt a écrit :
> My point is this.
> I wish to write a web page for my first year calculus class using  
> the notation int f.

you do mean <apply><int><ci>f</ci></apply> right?

> It may be that I want to compare different formal definitions of  
> that notation.  It may be that I simply want to use one particular  
> definition.  In either case, I need one or more content expressions  
> (mapped to appropriate definitions, of course).
>
> In each case "presentation" is not enough.  I actually want to use  
> the notation and
> I want to be able to compute with it.  (For a particular  
> interpretation it can be made rigourous.)
>
> If you deprecate that content notation, then I will not be able to  
> do that.

The only thing I've been deprecating:
- naming "unary" for functions (replacing by single-variable, I have  
not found an equivalent for replacing unary-operators)
- the usage of linear syntax within the description (see my previous  
answer about this)

> A primary role of MathML is to "facilitate" such discourse by both  
> machine and human interfaces.  Every time we rule out a common  
> notation by saying (in effect)"...

Absolutely agree.

> My life would be much easier if you wrote it my preferred way" we  
> have missed the mark - at least for common notations K-14.
> This particular notation is a legitimate and common  notation for  
> both computation and presentation.  It has been allowed for a  
> considerable time. What could possibly be the rationale for  
> deprecating it?
>
> (It is not good enough for us to say that the current content  
> dictionaries for OpenMath have not yet introduced it and we don't  
> have time to extend them.)

Sorry to ask... but which deprecation of mine are you criticizing?
If it is about the usage of linear syntax then please respond to my  
previous mail.

paul
-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 2203 bytes
Desc: not available
Url : http://openmath.org/pipermail/om3/attachments/20080925/1a91a5d5/attachment.bin 


More information about the Om3 mailing list