Re: Brevets en général

Un logiciel n'est pas une équation

Oui et non... Le type d'un logiciel est une équation. Le logiciel lui même, c'est la démonstration de cette équation.

Il y a une correspondance entre les logiciels et les démonstrations mathématiques.

https://fr.wikipedia.org/wiki/Correspondance_de_Curry-Howard

Par exemple, un brevet qui protège l'algorithme d’Euclide étendu :

eucl(r, u, v, 
 0, _, _) = (r, u, v)
eucl(r , u , v ,
 r', u', v') = let (q,r'') = divMod r r' 
 in eucl(r' , u' , v' ,
 r'', u-q*u', v-q*v')
euclide a b = eucl(a, 1, 0,
 b, 0, 1)

Est un brevet qui porte sur l'identité de Bézout :

pour tout nombre a et b il existe u et v tel que a * u + b * v = pgcd(a,b)

Parce que cet algorithme calcule ces nombres u et v à partir de a et b, autrement dit, c'est la preuve que cette équation est correcte.

Les brevets défendent l'invention

Oui et non... Localement, probablement, ça doit exister des situation ou l'esprit de la loi est respecté.
Mais globalement... Sérieusement ? Toutes ces boites qui se menacent les unes les autres ? Tout ces petits devs qui n'osent rien faire de peur de se retrouver avec un procès au cul pour avoir mis un bouton qui permet de faire défiler une page ? Ça défend l'innovation ça ? Dur à tenir comme position, courage !

Please do not feed the trolls