Bonjour, Erwan Hamon a proposé la question suivante : Catégorie: Logiciels Question : Quel théorème unifie le logiciel et les mathématiques ? Réponse : L'isomorphisme de Curry-Howard. À modérer sur http://thomas.enix.org/trivialibre/moderation.php Bonne journée ! -- Trivialibre http://thomas.enix.org/trivialibre/