Re: [Axiom-developer] Computational Mathematics, proofs, and correctness

[daly]

  "The society of scientists, the community of scientists, has
   this advantage, that from the moment we enter it, we all know
   that fifty years from now, most of the things we learned here
   will turn out not to have been quite right."

  -- Jacob Bronowski, Silliman lectures, Yale 1967