Accueil Publimath  Aide à la recherche   Recherche Avancée   Aidez-nous à améliorer cette fiche 
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 Langue : Français Support : papier

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

Classification : A34Revues, article de revue A35Revues, article de revue A38Revues, article de revue E54Méthodes de démonstration. Raisonnement et démonstrations en classe de mathématiques. E55Méthodes de démonstration. Raisonnement et démonstrations en classe de mathématiques. E58Méthodes de démonstration. Raisonnement et démonstrations en classe de mathématiques. 

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 10/03/2018
Accueil Publimath  Aide à la recherche   Recherche Avancée   Aidez-nous à améliorer cette fiche 
Certification IDDN