[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 jhd):

 Replying to [comment:4 jauecker]:
 > '''Chris:'''
 > 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/>.)
 I think more to the point is that there are more than one, and mutually
 contradictory, relationships. See domian/range for an example (I can't see
 mean.dist).
 OpenMath at least, and I had thought Content MathML, is about meaning
 RATHER THAN names, which is why we disucss rendering, and alternative
 renderings.
 >
 > 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.
 Aha - so the question might be about "what is in the MathML document"
 rather than "what is in the CD". That fits in with my idea of a two-tier
 description, in that possibly only the first tier would go into the MathML
 document.

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