[Trivialibre] Question validée

[trivialibre at enix.org]

Bonjour,

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.

Grâce à vous, il y a maintenant 55 questions dans la catégorie
Développement et 340 questions au total.

Merci de votre participation !

Bonne journée,

-- 
Trivialibre
http://thomas.enix.org/trivialibre/