[om] Reference vs. Referent: solution to an old problem

[Richard Fateman]

I think it is a mistake to define any behavior whatsoever
in "an open math compliant CAS" other than its results syntactically
correspond to a certain grammar.

In the particular example, changing 3! to 6 is certainly not
a required, compulsory, or necessarily desirable transformation.

Transmitting the concept of 3! is NOT the same as transmitting
the concept of 6.  consider:

x+x^2/2+x^3/6+...  versus    x+x^2/2+x^3/3!+ ...

RJF
--
om at openmath.org  -  general discussion on OpenMath
Post public announcements to om-announce at openmath.org
Automatic list maintenance software at majordomo at openmath.org
Mail om-owner at openmath.org for assistance with any problems