mirror of https://github.com/texmacs/doc.git
83 lines
3.5 KiB
Plaintext
83 lines
3.5 KiB
Plaintext
|
<TeXmacs|1.0.1.18>
|
|||
|
|
|
|||
|
|
<style|tmdoc>
|
|||
|
|
|
|||
|
|
<\body>
|
|||
|
|
<expand|tmdoc-title|Perch<63> la libert<72> <20> 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<69>. A questo proposito, se
|
|||
|
|
qualcuno ha in progetto di scrivere un interfaccia tra <apply|TeXmacs> e
|
|||
|
|
altro tipo di software, <20> invitato a contattarci.
|
|||
|
|
|
|||
|
|
Siamo profondamente convinti che solo i programmi liberi possono essere
|
|||
|
|
accettati da un punto di vista scientifico e ci<63> in ordine a due motivi
|
|||
|
|
essenziali:
|
|||
|
|
|
|||
|
|
<\itemize>
|
|||
|
|
<item>Un risultato calcolato da un sistema a codice chiuso non pu<70> essere
|
|||
|
|
accettato all'interno di una dimostrazione matematica.
|
|||
|
|
|
|||
|
|
<item>Come un matematico, a partire da teoremi esistenti, ne pu<70>
|
|||
|
|
costruire potenzialmente dei nuovi, analogamente, sulla base di algoritmi
|
|||
|
|
noti, dovrebbe essere possibile rilasciarne altri ottenuti modificando
|
|||
|
|
liberamente i precedenti.
|
|||
|
|
</itemize>
|
|||
|
|
|
|||
|
|
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 <20> che spesso i matematici non considerano la
|
|||
|
|
programmazione come un'attivit<69> 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<69> scientifica appare davvero artificiale;
|
|||
|
|
inoltre, dal punto di vista scientifico, <20> spesso molto importante
|
|||
|
|
conoscere il contenuto della scatola chiusa. Inoltre solo attraverso una
|
|||
|
|
profonda conoscenza scientifica si pu<70> giungere allo sviluppo di software
|
|||
|
|
di qualit<69>. Per questo motivo pensiamo che gli scienziati dovrebbero farsi
|
|||
|
|
carico dello sviluppo di software considerando a pieno titolo tale attivit<69>
|
|||
|
|
come scientifica e assimilabile alla stesura di pubblicazioni. In queso
|
|||
|
|
senso <20> anche chiaro che la diffusione del software dovrebbe seguire
|
|||
|
|
modalit<69> di sviluppo simili, che garantiscano pubblica disponibilit<69>,
|
|||
|
|
riproducibilit<69> e uso libero del software.
|
|||
|
|
|
|||
|
|
<apply|tmdoc-copyright|1998--2003|Joris van der Hoeven, Andrea Centomo>
|
|||
|
|
|
|||
|
|
<expand|tmdoc-license|Permission is granted to copy, distribute and/or
|
|||
|
|
modify this document under the terms of the GNU Free Documentation License,
|
|||
|
|
Version 1.1 or any later version published by the Free Software Foundation;
|
|||
|
|
with no Invariant Sections, with no Front-Cover Texts, and with no
|
|||
|
|
Back-Cover Texts. A copy of the license is included in the section entitled
|
|||
|
|
"GNU Free Documentation License".>
|
|||
|
|
</body>
|
|||
|
|
|
|||
|
|
<\initial>
|
|||
|
|
<\collection>
|
|||
|
|
<associate|paragraph width|150mm>
|
|||
|
|
<associate|odd page margin|30mm>
|
|||
|
|
<associate|shrinking factor|4>
|
|||
|
|
<associate|page right margin|30mm>
|
|||
|
|
<associate|page top margin|30mm>
|
|||
|
|
<associate|reduction page right margin|25mm>
|
|||
|
|
<associate|page type|a4>
|
|||
|
|
<associate|reduction page bottom margin|15mm>
|
|||
|
|
<associate|even page margin|30mm>
|
|||
|
|
<associate|reduction page left margin|25mm>
|
|||
|
|
<associate|page bottom margin|30mm>
|
|||
|
|
<associate|reduction page top margin|15mm>
|
|||
|
|
<associate|language|italian>
|
|||
|
|
</collection>
|
|||
|
|
</initial>
|
|||
|
|
|
|||
|
|
<\references>
|
|||
|
|
<\collection>
|
|||
|
|
<associate|idx-1|<tuple|<uninit>|?>>
|
|||
|
|
<associate|toc-1|<tuple|<uninit>|?>>
|
|||
|
|
<associate|idx-2|<tuple|<uninit>|?>>
|
|||
|
|
<associate|toc-2|<tuple|<uninit>|?>>
|
|||
|
|
</collection>
|
|||
|
|
</references>
|