30

Ah oui c'est ça que tu voulais dire, mais alors je ne suis pas d'accord, la contribution principale d'un programme c'est sa fonction utile, pas l'intégralité de son comportement dans les moindres détails : ça on s'en fout autant que de « la preuve »...
donc quand tu dis « recopier le fonctionnement d'un programme même en changeant la syntaxe » tu veux en fait dire prendre le code source et lui faire subir je ne sais quelle transformation qui ne change pas la sémantique ? j'avais compris ça comme « recoder un autre programme qui fait la même chose » (= a la même fonction)

Mais quoi qu'il en soit je ne pense pas qu'on puisse t'embêter en général si tu recodes de façon complètement indépendante un programme qui fait *exactement* la même chose qu'un autre (enfin c'est théorique de toute façon puisque comme tu le dis c'est impossible)
avatar
« Le bonheur, c'est une carte de bibliothèque ! » — The gostak distims the doshes.
Membrane fondatrice de la confrérie des artistes flous.
L'univers est-il un dodécaèdre de Poincaré ?
(``·\ powaaaaaaaaa ! #love#

31

Sally (./30) :
Ah oui c'est ça que tu voulais dire, mais alors je ne suis pas d'accord, la contribution principale d'un programme c'est sa fonction utile, pas l'intégralité de son comportement dans les moindres détails : ça on s'en fout autant que de « la preuve »...donc quand tu dis « recopier le fonctionnement d'un programme même en changeant la syntaxe » tu veux en fait dire prendre le code source et lui faire subir je ne sais quelle transformation qui ne change pas la sémantique ? j'avais compris ça comme « recoder un autre programme qui fait la même chose » (= a la même fonction)

Je voulais dire fonctionnement au sens de Curry-Howard : un autre programme qui serait une preuve du même théorème. Et non pas "un autre programme qui serait équivalent aux yeux d'un utilisateur moyen".
Mais quoi qu'il en soit je ne pense pas qu'on puisse t'embêter en général si tu recodes de façon complètement indépendante un programme qui fait *exactement* la même chose qu'un autre (enfin c'est théorique de toute façon puisque comme tu le dis c'est impossible)

Oui enfin voilà, si c'est théorique au point de dire "un de mes 50 singes de compagnie a réécrit de façon indépendante Harry Potter à la virgule près" ça n'a aucune valeur légale.

« The biggest civil liberty of all is not to be killed by a terrorist. » (Geoff Hoon, ministre des transports anglais)