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.
Notes
Quadrature est un magazine de mathématiques pures et appliquées. Il
s’adresse aux enseignants, étudiants, ingénieurs et amateurs de
mathématiques.
Tout internaute peut acheter le numéro en cours et les anciens numéros sur la site de la revue quadrature.info (ISSN de l’édition électronique : 1760-4826).
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