Por qué la libertad es importante para los científicos

Uno de los objetivos principales de TeXmacs es promover el desarrollo de software libre por y para los científicos, mediante la reducción significativa de los costos de producir interfaces de usuario de alta calidad. Si usted planea escribir una interface entre TeXmacs y otro software, entonces por favor contáctenos.

Como un matemático, estoy profundamente convencido que sólo los programas libres son aceptables desde un punto de vista científico. Veo dos razones principales para esto:

• Un resultado computado por un sistema "matemático", cuyo código fuente no es público, no puede ser aceptado como parte de una prueba matemática.
• Así como a un matemático debería ser capaz de construir sobre teoremas encima de otros teoremas, debería ser posible modificar y liberar algoritmos de software matemático libremente.

Sin embargo, es extraño, y una vergüenza, que los principales programas matemáticos que están siendo usados actualmente sean propietarios. La principal razón para esto es que los matemáticos muchas veces no consideran la programación como una actividad científica completa. Consecuentemente, el desarrollo de software útil es delegado a "ingenieros" y los programas resultantes son usados como cajas negras.

Esta subdivision de la actividad científica es muy artificial: con frecuencia es muy importante desde un punto de vista científico saber que está dentro de la caja negra. Recíprocamente, un profundo conocimiento científico usualmente conduce a la producción de mejor software. Consecuentemente, pienso que los científicos deberían abogar por el desarrollo de software como una actividad científica total, comparable a la escritura de artículos. Entonces es claro también que tal software debería ser difundido en una forma que sea compatible con los requirimientos de la ciencia: disponibilidad pública, reproductibilidad y usabilidad libre.