Au-delà des mathématiques in Science & vie, 1013 (février 2002)

Public ISBD [article]  inScience & vie > 1013 (février 2002) Titre : Au-delà des mathématiques Type de document : texte imprimé Année : 2002 Article : p. 50-54 Descripteurs : langage algorithmique logique mathématique programmation Résumé : Explications sur la correspondance de Curry-Howard, qui affirme que certaines démonstrations mathématiques correspondent à des programmes informatiques. Les implications de ces recherches dans la compréhension du fonctionnement du cerveau humain. Nature du document : documentaire [article] Au-delà des mathématiques [texte imprimé] . - 2002 . - p. 50-54. in Science & vie > 1013 (février 2002) Descripteurs : langage algorithmique logique mathématique programmation Résumé : Explications sur la correspondance de Curry-Howard, qui affirme que certaines démonstrations mathématiques correspondent à des programmes informatiques. Les implications de ces recherches dans la compréhension du fonctionnement du cerveau humain. Nature du document : documentaire

---

1 (1 - 1 / 1)