I would love to see the specifications for the infinitely correct Maxima that Barton is talking about. Can you send them?
Rich
------------Original Message------------
From: "Richard Fateman" <fateman at cs.berkeley.edu>
To: "'Richard Hennessy'" <rvh2007 at comcast.net>, "'Barton Willis'" <willisb at unk.edu>
Cc: "'Maxima List'" <maxima at math.utexas.edu>
Date: Sun, Aug-31-2008 8:30 PM
Subject: RE: [Maxima] infinity correct maxima
The only program that has no bugs is the one that is no longer used?
Basically, if you don't allow the specifications to change, you could have
a bug-free program, so I disagree with the statement in the case of "every"
program.
RJF
>