[Trac] [OpenMath] #43: CD fns1

[OpenMath]

#43: CD fns1
------------------------------+---------------------------------------------
     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 clange):

 @Jakob, here are my ideas about copying the discussion to the
 [http://wiki.openmath.org wiki] – Thanks!  (''Additional comments that
 cannot easily be put into practice are in italics as a to-do for my own
 modelling of the
 [http://kwarc.info/projects/swim/pubs/lwa08-argumentation.pdf
 argumentation ontology]; you can ignore them for copying.'')

 > range, up to codomain

 Plain Comment about the "range" symbol.  It's not actually expressed as an
 Issue (= Problem), but really a general comment or remark.

 Michael's reply: a plain reply to that comment

 > It says 'the identity function': does this imply uniqueness, the same
 function for any set?

 Issue with "identity"

 > Should we use 'left' and 'right' inverses in K-12 descriptions?

 An Issue each with left_inverse and right_inverse

 Michael: an Idea replying to that Issue

 > And what is 'right_compose' ???

 I think that's an Issue with left_compose -- i.e. a kind of challenge to
 the whole definition of a symbol called left_compose, by asking whether
 there is a corresponding symbol "right_compose".

 Michael: an Idea replying to that Issue (''actually it's a CD-level idea
 of adding something to the CD, but motivated by an Issue attached to a
 symbol'')

 > I have never thought of 'lambda' as anything to do with maths, which
 managed for 500 years of specifying functions without it.

 Easy: Issue with "lambda"

 Michael: A plain reply to the Issue (''Don't know what this is: Neithern
 Idea, nor an Argument, nor an Elaboration, just a kind of explanation'')

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