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

Titre : Quadrature. N° 111. p. 25-30. Nombres premiers, Euclide et Coq.

Editeur : Quadrature Revigny-sur-Ornain, 2019
Format : A4, p. 25-30 Bibliogr. p. 30-30
  ISSN : 1142-2785

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

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

Classification : A35Revues, article de revue
Enseignement supérieur, Post-Bac
 A38Revues, article de revue
Enseignement « Hors les Murs » : par correspondance, formation des adultes, popularisation, etc.
 F65Théorie des nombres. Congruences. Nombres premiers.
Enseignement supérieur, Post-Bac
 F68Théorie des nombres. Congruences. Nombres premiers.
Enseignement « Hors les Murs » : par correspondance, formation des adultes, popularisation, etc.
 R25Utilisation en mathématiques (logiciels, logiciels de calcul formel, logiciels d'aide à l'enseignement des mathématiques, comme les logiciels de géométrie dynamique)
Enseignement supérieur, Post-Bac
 R28Utilisation en mathématiques (logiciels, logiciels de calcul formel, logiciels d'aide à l'enseignement des mathématiques, comme les logiciels de géométrie dynamique)
Enseignement « Hors les Murs » : par correspondance, formation des adultes, popularisation, etc.
 

Résumé :

C'est l'une des plus vieilles démonstrations de la littérature mathématique, c'est aussi l'une des plus limpides. EUCLIDE démontre dans les Éléments qu'il existe une infinité de nombres premiers par un argument cristallin. Dans cet article, l'auteur formalise avec l'aide de l'assistant de preuves Coq la démonstration d'EUCLIDE. Il donne également quatre autres démonstrations de ce théorème fondamental des mathématiques, dont trois de nature plus analytique voire même topologique.

Notes :
Une introduction à cet article est publiée sur le site de l'auteur : https://www.aurelienalvarez.org/my-app/dist/papers
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 02/11/2019
Accueil Publimath  Aide à la recherche   Recherche Avancée   Imprimer la fiche   Aidez-nous à améliorer cette fiche  Vidéo d'aide
Certification IDDN Valid HTML 4.01 Transitional