Perchè la libertà è importante per la scienza

Uno degli obiettivi prioritari di TeXmacs consiste nel promuovere lo sviluppo di software libero per gli scienziati e a cui gli scienziati stessi possano contribuire, in modo da ridurre significativamente i costi di produzione di interfacce utente di alta qualità. A questo proposito, se qualcuno ha in progetto di scrivere un interfaccia tra TeXmacs e altro tipo di software, è invitato a contattarci.

Siamo profondamente convinti che solo i programmi liberi possono essere accettati da un punto di vista scientifico e ciò in ordine a due motivi essenziali:

• Un risultato calcolato da un sistema a codice chiuso non può essere accettato all'interno di una dimostrazione matematica.
• Come un matematico, a partire da teoremi esistenti, ne può costruire potenzialmente dei nuovi, analogamente, sulla base di algoritmi noti, dovrebbe essere possibile rilasciarne altri ottenuti modificando liberamente i precedenti.

Da questo punto di vista appare strano e vergognoso che la maggior parte dei programmi di matematica attualmente in uso siano proprietari. La ragione principale di questo è che spesso i matematici non considerano la programmazione come un'attività scientifica nel vero senso della parola. Di conseguenza, lo sviluppo del software viene delegato agli “ingegneri” e quanto prodotto viene utilizzato a scatola chiusa.

Questa suddivisione dell'attività scientifica appare davvero artificiale; inoltre, dal punto di vista scientifico, è spesso molto importante conoscere il contenuto della scatola chiusa. Inoltre solo attraverso una profonda conoscenza scientifica si può giungere allo sviluppo di software di qualità. Per questo motivo pensiamo che gli scienziati dovrebbero farsi carico dello sviluppo di software considerando a pieno titolo tale attività come scientifica e assimilabile alla stesura di pubblicazioni. In queso senso è anche chiaro che la diffusione del software dovrebbe seguire modalità di sviluppo simili, che garantiscano pubblica disponibilità, riproducibilità e uso libero del software.