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) : Lehning Hervé

Titre : Bibliothèque Tangente. Num. 55. Preuve et logique. p. 56-58.

Editeur : Editions Pôle Paris, 2015 Collection : Bibliothèque Tangente Num. 55
Format : 17 cm x 24 cm, p. 56-58 ISBN : 2-84884-198-2 EAN : 9782848841984  ISSN : 2263-4908

Type : chapitre d'un ouvrage, vulgarisation, popularisation Langue : Français Support : papier

Public visé : élève ou étudiant, enseignant, tout public Niveau Niveau scolaire visé par l'article : lycée, 2de, 1ère, terminale, licence Age : 15, 16, 17, 18, 19

Classification : E54Méthodes de démonstration. Raisonnement et démonstrations en classe de mathématiques.
Enseignement secondaire, lycée
 E55Méthodes de démonstration. Raisonnement et démonstrations en classe de mathématiques.
Enseignement supérieur, Post-Bac
 E58Méthodes de démonstration. Raisonnement et démonstrations en classe de mathématiques.
Enseignement « Hors les Murs » : par correspondance, formation des adultes, popularisation, etc.
 

Résumé :

Le sens de l'expression "c'est mathématique !" montre à quel point les preuves mathématiques sont considérées comme irréfutables. Cette idée vient sans doute de la logique rigoureuse qui gouverne la notion de preuve en mathématiques. Cet article montre le rôle de l'axiomatique ainsi la difficulté à mettre en oeuvre une preuve formelle.
Un encart présentant les travaux du mathématicien Nicolaas de Bruijn complète le texte.

Notes :
Cet article est publié sous la rubrique "Savoirs".
Il fait partie du dossier : Les fondements de la preuve dans Bibliothèque Tangente n° 55 - Les démonstrations.

Mots clés :


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