Accueil Publimath  Aide à la recherche   Recherche Avancée   Aidez-nous à améliorer cette fiche  Vidéo d'aide
Certification IDDN Valid HTML 4.01 Transitional
Auteur(s) : Krivine Jean-Louis

Titre : Quadrature. Num. 33. p. 9-15. Ensembles et preuves.

Editeur : EDP sciences Les Ulis, 1998
Format : A4, p. 9-15 Bibliogr. p. 15-15
  ISSN : 1142-2785

Type : article de périodique ou revue Langue : Français Support : papier

Public visé : élève ou étudiant, enseignant, tout public Niveau Niveau scolaire visé par l'article : licence Age : 18, 19, 20

Classification : A35Revues, article de revue A38Revues, article de revue E65Ensembles. Relations. Théorie des ensembles E68Ensembles. Relations. Théorie des ensembles 

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).

Mots clés :


© ADIREM-APMEP -2003- ISSN 1292-8054 Mise à jour 06/10/2018
Accueil Publimath  Aide à la recherche   Recherche Avancée   Aidez-nous à améliorer cette fiche  Vidéo d'aide
Certification IDDN