Rassure-moi, tu n'imagines quand même pas qu'il suffit de pouvoir lire le code pour que ça soit libre ? Bref, je ne vois pas le rapport entre ta prose et le libre (la lecture de la preuve, c'est un truc utilisé par les brevets).
Tu payes des royalties quand tu utilises un théorème prouvé par quelqu'un d'autre ? Et cela te viendrait à l'esprit de breveter un théorème ? (il est vrai que les américains le font, ils brevettent les algorithmes :/).
Si tu vois pas le rapport :
Éthique du libre :
0 liberté d'usage
1 liberté de copier
2 liberté d'étudier
3 liberté de modifier et redistribuer les modifications
Éthique du mathématicien :
0 fait ce que tu veux d'un théorème
1 liberté de partager les preuves
2 liberté de lire la preuve
3 liberté d'adapter les preuves et de repartager
Bien sûr que non, je n'imagines pas qu'il suffit de pouvoir lire pour que ce soit libre, mais si tu ne vois pas le rapport je ne peux plus rien pour toi (et d'ailleurs si tu ne le vois pas, je doute que tu puisses comprendre la preuve du théorème qu'est la correspondance de Curry-Howard).
P.S : Au passage, avec les brevets, les adeptes du privateurs interdisent l'usage de certains théorèmes si on ne payent pas. Alors le côté contraignant de la GPL, c'est de bonne guerre ;-)
Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.
[^] # Re: Libre de brevets
Posté par kantien . En réponse à la dépêche FLIF, un format d’image sans perte, intelligent et « performant », sous licence GPL. Évalué à 2. Dernière modification le 06 octobre 2015 à 00:12.
Tu payes des royalties quand tu utilises un théorème prouvé par quelqu'un d'autre ? Et cela te viendrait à l'esprit de breveter un théorème ? (il est vrai que les américains le font, ils brevettent les algorithmes :/).
Si tu vois pas le rapport :
Éthique du libre :
0 liberté d'usage
1 liberté de copier
2 liberté d'étudier
3 liberté de modifier et redistribuer les modifications
Éthique du mathématicien :
0 fait ce que tu veux d'un théorème
1 liberté de partager les preuves
2 liberté de lire la preuve
3 liberté d'adapter les preuves et de repartager
Bien sûr que non, je n'imagines pas qu'il suffit de pouvoir lire pour que ce soit libre, mais si tu ne vois pas le rapport je ne peux plus rien pour toi (et d'ailleurs si tu ne le vois pas, je doute que tu puisses comprendre la preuve du théorème qu'est la correspondance de Curry-Howard).
P.S : Au passage, avec les brevets, les adeptes du privateurs interdisent l'usage de certains théorèmes si on ne payent pas. Alors le côté contraignant de la GPL, c'est de bonne guerre ;-)
Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.