James wrote -- > > More formally, we need complete information about the content for > > <OMC>: is it any valid OpenMath expression? Thanks! > I think Michael is expecting it to be a Boolean-valued expression in the > lose sense: since OM is not a CA system, we can't ask much more.
But can we even ask this without a 'Boolean type' in Basic Openmath? > > My problem is that the 'number of variables' seems to be irrelevant to > > a mathematician. Two Reals is just one element of R^2 so a single > I disagree. It is irrelevant IN PRINCIPLE, but in practice (and if we want > to be reasonably close to "the mathematical vernacular") it does matter. Agreed; my point is that the somewhat arbitrary(??) restrictions on typing to 'one variable' seem irrelevant from a mathematical viewpoint. chris _______________________________________________ Om3 mailing list [email protected] http://openmath.org/mailman/listinfo/om3
