Bibliothèque Tangente. N° 15. La correspondance de Curry-Howard. p. 80-95.
Auteur : Krivine Jean-Louis
Résumé
La notion moderne de programme est devenue un outil fondamental de la théorie de la démonstration. Son importance ne cesse de grandir dans bien d’autres sciences : la biologie, les neurosciences, les sciences cognitives, etc. Et, avec la diffusion massive de l’informatique, il a aussi envahi notre vie de tous les jours. Mais l’auteur de cet article se contente de parler de son impact sur les mathématiques et la logique. Ce texte reprend la conférence de Jean-Louis Krivine intitulée « Fonctions, programmes et démonstrations » donnée le 23 mars 1994.
Notes
Cet article est publié sous la rubrique « Savoirs ».
Il fait partie du dossier : Logique et informatique dans Bibliothèque Tangente n° 15 – La logique.
Il est également paru dans Tangente Hors-série n° 15 – Vol. 2. La logique.
Données de publication
Éditeur Editions POLE Paris , 2004 Collection Bibliothèque Tangente Num. 15 Format 17 cm x 24 cm, p. 80-95
ISBN 2-84884-018-8 EAN 9782848840185 ISSN 2263-4908
Public visé élève ou étudiant, enseignant, tout public Niveau 1re, 2de, licence, lycée, terminale Âge 15, 16, 17, 18, 19
Type chapitre d’un ouvrage, vulgarisation, popularisation Langue français Support papier
Classification