On 11/18/08, Richard Fateman <fateman at cs.berkeley.edu> wrote:
> Probably every variation you have thought of has been considered, and
> some of them programmed.
> Robert Dodier, in particular, has been advocating for "fixing" this
> recently. But attempts to do this in Macsyma date back at least 30 years.
Yes, so what? That's no reason to discourage another attempt.
I don't see any reason to think that new solutions to old problems
are beyond the reach of the current crop of developers.
Robert Dodier