Quadrature. N° 33. p. 9-15. Ensembles et preuves.
Auteur : Krivine Jean-Louis
Résumé
L'auteur nous propose une réflexion intelligente sur le concept de preuve en logique mathématique, sur le choix des axiomes (et plus particulièrement le modèle de la théorie Zermelo-Fraenkel pour la théorie des ensembles). Le dernier point évoqué dans ce texte est la correspondance de Curry-Howard qui établit le lien entre les preuves au sens logique et les programmes informatiques.
Quadrature est un magazine de mathématiques pures et appliquées. Il s'adresse aux enseignants, étudiants, ingénieurs et amateurs de mathématiques.
Données de publication
Éditeur EDP sciences Les Ulis , 1998 Format A4, p. 9-15 Index Bibliogr. p. 15-15
ISSN 1142-2785
Public visé élève ou étudiant, enseignant, tout public Niveau licence Âge 18, 19, 20
Type article de périodique ou revue, vulgarisation, popularisation Langue français Support papier
Classification