Science et Liberté : un binôme indispensable

Un des objectifs majeurs de TeXmacs est de promouvoir le développement de logiciels libres par et pour les scientifiques, en réduisant considérablement le coût de production d'interfaces utilisateur de haute qualité. Si vous souhaitez écrire une interface entre TeXmacs et un autre logiciel, n'hésitez pas à nous contacter.

En tant que mathématicien, je suis profondément convaincu que seuls les logiciels libres sont acceptables d'un point de vue scientifique. Je vois deux raisons principales à cela :

• Un résultat généré par un système «mathématique», dont le code source n'est pas dans le domaine public, ne peut être accepté comme preuve mathématique.
• On devrait pouvoir modifier et rendre public librement des algorithmes de logiciels mathématiques, tout comme un mathématicien peut construire des théorèmes sur la base d'autres théorèmes.

Néanmoins, il est étrange, et qui plus est, honteux, que la plupart des programmes mathématiques majeurs soient actuellement des programmes propriétaires. La raison en est que les mathématiciens considèrent souvent que la programmation n'est pas une activité scientifique digne de ce nom. Il en résulte que le développement de logiciels utiles est délégué à des «ingénieurs» et que les programmes résultants sont opaques.

Cette subdivision de l'activité scientifique est complètement artificielle : d'un point de vue scientifique, il est très important que les programmes soient transparents. A fortiori, de solides connaissances scientifiques ne peuvent que conduire à la production de meilleurs logiciels. En conséquence, je pense que les scientifiques devraient promouvoir le développement de logiciels en tant qu'activité scientifique digne de ce nom, comparable à l'écriture d'articles. De plus, il est clair que de tels logiciels doivent pouvoir être diffusés d'une manière compatible avec les exigences scientifiques : disponibilité publique, reproductibilité et usage libre.