Pas d'accord. Le théorème de Pythagore constitue bien une méthode, un moyen de parvenir à une fin précise, en l'occurrence de savoir si un triangle donné est rectangle.
Dans l'énnoncé classique le théorème est une simple constatation. On peut ensuite l'utiliser pour démontrer qu'un triangle particulier est rectangle ou pas. Ce qu'il est important de retenir ici est que le théorème de pythagore en tant que tel n'ets pas brevetable. Ce quis erait éventuellement brevetable serait une liste d'applications possible du théorème de pythagore, mais la la notion de trivialité pour l'homme du métier prendrait le relais.
Et c'est la même chose pour tous les algos de calcul utilisés en simulation (par exemple)
Pas vraiment. Quand on est dans le cas de simulations sur du concret on peut "tester" la validité de la simulation (bon pour la simulation d'effondrement de super novas les tests restent très théoriques). Difficile dans l'exemple que j'ai donné de prendre deux noeuds de dimension n et de les comparer.
Ceci étant dit il existe des moyens de simuler de éléments dont l'existence n'est pas prouvée (voir peu vraissemblable). Là le cas est plus tangent.
Pour généraliser : les descriptions d'applications d'un brevet doivent prendre une des trois formes suivantes :
- utilisations d'un appareil/système déjà connu via une méthode nouvelle et non triviale pour obtenir un résultat
- utilisation d'un appareil novateur et non trivial via une méthode simple pour obtenir un résultat
- Utilisation d'un appareil novateur et non trivial via une méthode nouvelle et non triviale pour obtenir un résultat.
Le théorème de Pythagore peut éventuellement ête considére comme un appareil nouveau (si il avait été découvert hier) mais il est trivial (élever au carré deux nombre et les additionner) et même si on peut utiliser le théorème de Pythagore dans des démonstrations mathématiques complexes, l'appareil (le théorème) n'est pas brevetable. Seule une méthode utilisant ce théorème pourrait éventuellement l'être (pour peu qu'elle soit implémentabe).
[^] # Re: Il va falloir arreter les anneries très vite.
Posté par Jerome Herman . En réponse à la dépêche Lettre du président de la FSF Europe à l'EICTA au sujet des brevets logiciels. Évalué à 2.
Dans l'énnoncé classique le théorème est une simple constatation. On peut ensuite l'utiliser pour démontrer qu'un triangle particulier est rectangle ou pas. Ce qu'il est important de retenir ici est que le théorème de pythagore en tant que tel n'ets pas brevetable. Ce quis erait éventuellement brevetable serait une liste d'applications possible du théorème de pythagore, mais la la notion de trivialité pour l'homme du métier prendrait le relais.
Et c'est la même chose pour tous les algos de calcul utilisés en simulation (par exemple)
Pas vraiment. Quand on est dans le cas de simulations sur du concret on peut "tester" la validité de la simulation (bon pour la simulation d'effondrement de super novas les tests restent très théoriques). Difficile dans l'exemple que j'ai donné de prendre deux noeuds de dimension n et de les comparer.
Ceci étant dit il existe des moyens de simuler de éléments dont l'existence n'est pas prouvée (voir peu vraissemblable). Là le cas est plus tangent.
Pour généraliser : les descriptions d'applications d'un brevet doivent prendre une des trois formes suivantes :
- utilisations d'un appareil/système déjà connu via une méthode nouvelle et non triviale pour obtenir un résultat
- utilisation d'un appareil novateur et non trivial via une méthode simple pour obtenir un résultat
- Utilisation d'un appareil novateur et non trivial via une méthode nouvelle et non triviale pour obtenir un résultat.
Le théorème de Pythagore peut éventuellement ête considére comme un appareil nouveau (si il avait été découvert hier) mais il est trivial (élever au carré deux nombre et les additionner) et même si on peut utiliser le théorème de Pythagore dans des démonstrations mathématiques complexes, l'appareil (le théorème) n'est pas brevetable. Seule une méthode utilisant ce théorème pourrait éventuellement l'être (pour peu qu'elle soit implémentabe).