On Jul 26, 5:59 pm, William Stein <wst...@gmail.com> wrote:
> When doing such investigations, we care greatly that the data we get is > correct. We just don't care so much that the program producing it be > *proven* correct in a formal and technically rigorous sense. I understand that you qualified that with "such investigations" in reference to my example of investigating conjectures and gathering numerical evidence etc. And I agree with you in that context. However, I wish to emphasise the point I am making that the issues of correct data and rigorous programming methods are very much related. We are currently doing this ad hoc. It will in future be largely automated. And where it is not, it will be part of producing code to publication standard. I only wish to emphasise the point so that in a few decades time you will see how absolutely certain I was of that fact at this moment. That is to take nothing away from the important work of FoCM and similar ventures to improve attitudes. That is important too and I believe very relevant to Pari. Bill. -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
