Quadrature. N° 111. p. 25-30. Nombres premiers, Euclide et Coq.
Auteur : Alvarez Aurélien
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).
Données de publication
Éditeur Quadrature Revigny-sur-Ornain , 2019 Format A4, p. 25-30 Index Bibliogr. p. 30-30
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