[Trivialibre] Question validée

[Erwan HAMON]

Le Dimanche 27 Août 2006 14:53, trivialibre at enix.org a écrit :
>La question suivante, que vous avez proposée pour Trivialibre,
>a été validée par les modérateurs.
>
> Catégorie: Développement
> Question : Quel théorème établit une relation entre la logique
>             mathématique et l'informatique ?
> Réponse  : L'isomorphisme de Curry-Howard. 

Salut,

Désolé d'insister mais la question initiale était :
   "Quel théorème unifie le logiciel et les mathématiques ?"

Celle là était assez finement ciselée. Deux mots importants ont disparu dans 
la modération.

- Logiciel : fait le lien avec brevet logiciel et DADVSI(*).
- Unifie : pour montrer que les logiciels *sont* des mathématiques. (relation
  forte)

Ci-joint un extrait d'un email passé sur la liste fr-parl de la FFII :

Le Mercredi 26 Juillet 2006 17:19, Dominique Quatravaux a écrit :
>Mathieu Deschamps a écrit :
>> Et pis, Logiciel != Math, [...] De même que Logiciel != Langage.
>
>En fait si, les logiciels sont des mathématiques, et réciproquement.
>C'est là le résultat d'un théorème dit isomorphisme de Curry-Howard,
>http://en.wikipedia.org/wiki/Curry-Howard, et de façon plus large
>cette convergence entre maths et info est à la source de l'une des
>découvertes essentielles du XXè siècle sur les mathématiques : ce
>qu'elles *sont* exactement (la preuve du théorème de Gödel, notamment,
>en est un des pilliers -
>http://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_theorems).

(*) RDDV à propos de DADVSI : "En préservant l'exception de décompilation, 
nous avons rappelé que les mesures techniques sont des logiciels et que..."
http://linuxfr.org/2006/08/07/21157.html

A+

-- 
Erwan HAMON - http://hamon.erwan.free.fr/