General

Written by Daniel

Wednesday, 24 October 2007 09:30 
Will they one day own the rights to science itself?
In open source software The Inquirer By Egan Orion: Wednesday, 24 October 2007, 1:10 PM
IN AN OPINION published by the American Mathematical Society, David Joyner and William Stein argue that the use of closed, proprietary mathematical software is fundamentally incompatible with the standards of mathematical proof.
They note that at least one published article on mathematical theory has relied upon the use of proprietary software to deduce various mathematical facts. They see a disconnect in this practice for the checkability of mathematical reasonings, up to and including the proofs of new mathematical theorems. They write:... More Comment in the Forums


