|
From: | Michel Lavaud |
Subject: | Re: [Axiom-developer] Re: AMS Notices: Open Source Mathematical Software |
Date: | Wed, 28 Nov 2007 12:16:17 +0100 |
User-agent: | Mozilla/5.0 (Windows; U; Windows NT 5.0; fr; rv:1.8.1.6) Gecko/20070728 Thunderbird/2.0.0.6 Mnenhy/0.7.5.0 |
Ah, OK. You meant gratuitous interpretation, I suppose ? An experimentalist has to be tolerant to errors because errors are inherent to experiments. In particular, for him, a possible error in a program is just one among _hundreds_ of other possible causes of errors. For a mathematician, a possible error in a program used in an article is one among _zero_ other possible errors (if his proof is correct, of course, as also the proofs of theorems his article relies on).# [...] so they translate their tolerance to errors in experimental # results toward tolerance to possible errors in commercial software
[Prev in Thread] | Current Thread | [Next in Thread] |