> It is an argument that is *only* for research pure mathematicians.  For
> them it actually is _very_ important.  For everybody else the whole
> idea of mathematical proof is somewhat irrelevant, and that's fine
> with me (I understand it -- I do both pure and applied math, and
> enjoy both and see them as separate complementary pursuits).

Agree. It depends what Sage wants to be. If only for pure
mathematicians (as it started imho), then it's fine.
If for everyone, maybe that point could be reformulated, something like

If you are a pure mathematician, you will especially enjoy that with
Sage you can finally do your proofs in the computer and see inside the
calculation.

(you can write it better)

I think the main point is, that even though your own research is
mostly in pure math, that's why you need Sage primarily (am I right?),
Sage is done in a way, so that other people, needing it for their
stuff, completely unrelated to pure math, can just implement it and
feel that Sage solves their problems (and don't care about pure math).

That's what I like on opensource, that if it does 95% things for me, I
can just fix those 5% (maybe the original authors are not at all
interested in my 5%), but if they accept the patch, then I feel the
program is "mine" (in fact it is, it's like if I wrote it all by
myself and used the same licenses as Sage, except that someone else
has spared me 10 years of work). I don't have this feeling with any
non-free program.

> calculations done by MATLAB through independent means. However,
> if I had access to the source code, I might have been able to
> correct the problems.

As I wrote in my second email, the source code is important, but not
the main point behind Sage. But open source is the main point. (even
if Matlab gave you all the sources under the terms, that you can look
into it, maybe you can even compile it, but if you show them to anyone
else, we will put you in jail, that's not what I want)

Ondrej

Ondrej

--~--~---------~--~----~------------~-------~--~----~
To post to this group, send email to sage-devel@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at http://groups.google.com/group/sage-devel
URLs: http://sage.scipy.org/sage/ and http://modular.math.washington.edu/sage/
-~----------~----~----~----~------~----~------~--~---

Reply via email to