This is an awkward read:

"No journal would make a statement like Mathematica does about the proofs of 
the theorems they publish, yet here increasingly software and the
algorithms used are an essential part of proofs."


Perhaps this is better:

No journal would make a statement like this about the proofs of theorems they 
publish like Mathematica does here.  This is a significant cause for concern, 
as software and algorithms are increasingly essential to proofs.



On Sun, 5 Aug 2007, William Stein wrote:

>
> On 8/5/07, Justin C. Walker <[EMAIL PROTECTED]> wrote:
>>> Regarding the Mathematica quote, I should mention that I was
>>> motivated to use it by it being used in a new review R. Fateman
>>> is writing of Mathematica 6.0 (I saw a preliminary version
>>> somewhere, but
>>> can't find it now).
>>
>> Using the quote is good.  It (the quote) is at best disingenuous, and
>> it leads into the discussion of theorems/proofs and software/source.
>>
>> Some minor nits:
>
> [...]
>
> OK, I've fixed these in this version:
>
>  http://sage.math.washington.edu/home/was/papers/oscas/oscas-ams-notices.pdf
>
> -- William
>
>
>>    P 1, L 11: "Firefox, Linux" -> "Firefox, and Linux, "
>>
>>    P 1, L 13: "may have" -> "will have"
>>
>> Are the terms "second author" (P2) and "first author" (P3) correct?
>> The authors as listed at the end are Joyner and Stein (in that order).
>>
>> Justin
>>
>> --
>> Justin C. Walker, Curmudgeon-At-Large
>> Director
>> Institute for the Enhancement of the Director's Income
>> --------
>> "Weaseling out of things is what separates us from the animals.
>>   Well, except the weasel."
>>        - Homer J Simpson
>> --------
>>
>>
>>
>>>
>>
>
>
> --
> William Stein
> Associate Professor of Mathematics
> University of Washington
> http://www.williamstein.org
>
> >
>



--~--~---------~--~----~------------~-------~--~----~
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