Forum latest

Mathematics rediscovers the scientific method
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
 

See also

None found.


Hardware | Windows | Linux | Security | Mobile Devices | Gaming
Tech Business | Editorial | General News | folding@home

Forum | Download Files

Copyright ©2001 - 2012, AOA Forums.  All rights reserved.

Alliance of Overclocking Arts

Links monetized by VigLink

Don't Click Here Don't Click Here Either