VivaLinux!

La prestigiosa revista American Mathematical Society publica un artículo llamado Open Source Mathematical Software donde afirma que:

"La mejor esperanza que podemos tener para un prueba rigurosa es la inspección abierta y la habilidad de usar todo el código del cuál dependen los los resultados. Si el programa es privativo, esto no es posible. Tenemos todo el derecho a ser desconfiados, no sólo por una vaga desconfianza a los ordenadores sino porque incluso los mejores programadores cometen errores regularmente".

La conclusión de los autores de ese ensayo es bastante claro:

"Cada vez más los programas privativos y los algoritmos que usan son esenciales para las pruebas matemáticas. Citando a J. Neubüser: Con esta situación se violan dos de las reglas de conducta básicas de las matemáticas: en matemáticas la información se distribuye sin cargo alguno y todo está disponible para su verificación".

• Artículo completo en Ricardo Galli, de software libre.