mirror of https://github.com/texmacs/doc.git
83 lines
3.4 KiB
Plaintext
83 lines
3.4 KiB
Plaintext
|
<TeXmacs|1.0.1.10>
|
|||
|
|
|
|||
|
|
<style|tmdoc>
|
|||
|
|
|
|||
|
|
<\body>
|
|||
|
|
<expand|tmdoc-title|Science et Libert<72> : un bin<69>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<69>rablement le co<63>t de production d'interfaces utilisateur de haute
|
|||
|
|
qualit<69>. Si vous souhaitez <20>crire une interface entre <apply|TeXmacs> et un
|
|||
|
|
autre logiciel, n'h<>sitez pas <20> nous contacter.
|
|||
|
|
|
|||
|
|
En tant que math<74>maticien, je suis profond<6E>ment convaincu que seuls les
|
|||
|
|
logiciels libres sont acceptables d'un point de vue scientifique. Je vois
|
|||
|
|
deux raisons principales <20> cela :
|
|||
|
|
|
|||
|
|
<\itemize>
|
|||
|
|
<item>Un r<>sultat g<>n<EFBFBD>r<EFBFBD> par un syst<73>me
|
|||
|
|
<space|0.2spc>math<74>matique<space|0.2spc>, dont le code source n'est pas
|
|||
|
|
dans le domaine public, ne peut <20>tre accept<70> comme preuve math<74>matique.
|
|||
|
|
|
|||
|
|
<item>On devrait pouvoir modifier et rendre public librement des
|
|||
|
|
algorithmes de logiciels math<74>matiques, tout comme un math<74>maticien peut
|
|||
|
|
construire des th<74>or<6F>mes sur la base d'autres th<74>or<6F>mes.
|
|||
|
|
</itemize>
|
|||
|
|
|
|||
|
|
N<>anmoins, il est <20>trange, et qui plus est, honteux, que la plupart des
|
|||
|
|
programmes math<74>matiques majeurs soient actuellement des programmes
|
|||
|
|
propri<72>taires. La raison en est que les math<74>maticiens consid<69>rent souvent
|
|||
|
|
que la programmation n'est pas une activit<69> scientifique digne de ce nom.
|
|||
|
|
Il en r<>sulte que le d<>veloppement de logiciels utiles est d<>l<EFBFBD>gu<67> <20> des
|
|||
|
|
<space|0.2spc>ing<6E>nieurs<space|0.2spc> et que les programmes r<>sultants
|
|||
|
|
sont opaques.
|
|||
|
|
|
|||
|
|
Cette subdivision de l'activit<69> scientifique est compl<70>tement artificielle
|
|||
|
|
: d'un point de vue scientifique, il est tr<74>s important que les programmes
|
|||
|
|
soient transparents. A fortiori, de solides connaissances scientifiques ne
|
|||
|
|
peuvent que conduire <20> la production de meilleurs logiciels. En
|
|||
|
|
cons<6E>quence, je pense que les scientifiques devraient promouvoir le
|
|||
|
|
d<>veloppement de logiciels en tant qu'activit<69> scientifique digne de ce
|
|||
|
|
nom, comparable <20> l'<27>criture d'articles. De plus, il est clair que de tels
|
|||
|
|
logiciels doivent pouvoir <20>tre diffus<75>s d'une mani<6E>re compatible avec les
|
|||
|
|
exigences scientifiques : disponibilit<69> publique, reproductibilit<69> et usage
|
|||
|
|
libre.
|
|||
|
|
|
|||
|
|
<apply|tmdoc-copyright|1998--2002|Joris van der Hoeven|Mich<63>le Garoche>
|
|||
|
|
|
|||
|
|
<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|french>
|
|||
|
|
</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>
|