| Titre : | Au-delà des mathématiques (2002) |
| Type de document : | Article : texte imprimé |
| Dans : | La Science et la vie (Paris) (1013, 02/2002) |
| Article en page(s) : | p.50-54 |
| Langues de la publication : | Français |
| Descripteurs |
[UNESCO] Logique mathématique |
| Mots-clés : | programmation/langage algorithmique |
| 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 : | Article de périodique |
Exemplaires (2)
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| 15801 | Presse scientifique | Périodique | CDI 1 | Presse scientifique | Disponible |
| 29898 | Presse scientifique | Périodique | CDI 1 | Presse scientifique | Disponible |