[Trac] [OpenMath] #81: Name Spaces / Various meanings

[OpenMath]

#81: Name Spaces / Various meanings
------------------------------+---------------------------------------------
     Reporter:  jauecker      |          Owner:  kohlhase  
         Type:  proposal      |         Status:  new       
     Priority:  major         |      Milestone:  CD3 Draft1
    Component:  OM3 Standard  |        Version:            
   Resolution:                |       Keywords:            
Include_gantt:  0             |   Dependencies:            
   Due_assign:  YYYY/MM/DD    |      Due_close:  YYYY/MM/DD
------------------------------+---------------------------------------------
Comment (by jauecker):

 '''Chris:'''



 >Even in Mathml3 it will inevitably the case that in MathML, unlike
 OpenMath there is a core "blessed" set of pre-defined operators with some
 predefined (often very general to the point of being essentially
 undefined) meaning. The fact that there are other names and other meanings
 that don't get blessed can't be helped.

 That suggests that 'having other meanings' is a 'bad thing', or not?

 Please note that I am not talking about what an 'OpenMath' symbol
 means but what a mathematical word means.

 My point is that we could very happily and respectably embrace the
 fact that there is no simple relationship between mathematical words
 in use and formal concepts, even in K-12.  (See below using the example
 of <mean.dist/>.)

 Or we can give no mathematical descriptions in the MathML document and
 allow people to use their own meaning of the mathematical words,
 blessed or not.  And if they want to know what 'random
 psuedo-mathematical mutterings' are in the CD, they can go and look.

-- 
Ticket URL: <https://trac.kwarc.info/OM3/ticket/81#comment:4>
OpenMath <http://www.openmath.org>
The development of the OpenMath Standard and Content Dictionaries.