[Trac] [OpenMath] #45: CD logic1

OpenMath trac at strawberry.eecs.jacobs-university.de
Mon Sep 8 22:43:07 CEST 2008


#45: CD logic1
------------------------------+---------------------------------------------
     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
------------------------------+---------------------------------------------
Old description:

> '''Chris:'''
>

> Wrong union (politics, not maths)!
>
> The K-12 stuff in this area is normally badly treated by
> both logicians and mathematicians, maybe the computing guys can do
> better.
>
> I did notice that some things herein typically have wider uses than
> as boolean operators/functions.
>
> I suspect some sloppiness around the use of 'X is true' for
> 'the value of X is 'true' '.

New description:

 '''Chris:'''


 Wrong union (politics, not maths)!

 The K-12 stuff in this area is normally badly treated by
 both logicians and mathematicians, maybe the computing guys can do better.

 I did notice that some things herein typically have wider uses than
 as boolean operators/functions.

 I suspect some sloppiness around the use of 'X is true' for
 'the value of X is 'true' '.

 '''Michael:'''


 >Wrong union (politics, not maths)!

 I do not understand :-(

 >The K-12 stuff in this area is normally badly treated by
 >both logicians and mathematicians, maybe the computing guys can do
 >better.

 >I did notice that some things herein typically have wider uses than
 >as boolean operators/functions.

 could you elaborate on this as well?

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


More information about the Trac mailing list