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