Accromath. N° 3. Hiver-printemps 2008. p. 22-25. Preuves et certitudes.
Auteur : Delahaye Jean-Paul
Résumé
L’auteur de cet article présente la remise en question de la notion de preuve imposée par l’avènement de l’informatique. En effet, le recours à l’ordinateur a été déterminant dans la démonstration, par exemple, de la conjecture de Kepler sur l’empilement des sphères de même rayon.
Notes
Article du dossier : Logique mathématique et informatique théorique.
Accromath est une revue semestrielle produite par l’Institut des sciences mathématiques et le Centre de recherches mathématiques du Québec.
Une version texte intégral est en téléchargement sur le site Accromath
Données de publication
Éditeur Université du Québec Montréal , 2008 Format A4, p. 22-25
ISSN 1911-0197
Public visé élève ou étudiant, enseignant, formateur, tout public Niveau 1re, 2de, 3e, 4e, 5e, 6e, collège, lycée, terminale Âge 11, 12, 13, 14, 15, 16, 17
Type article de périodique ou revue, vulgarisation, popularisation Langue français Support papier
Classification