Bibliothèque Tangente. N° 55. Preuve et logique. p. 56-58.
Auteur : Lehning Hervé
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.
Données de publication
Éditeur Editions POLE 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
Public visé élève ou étudiant, enseignant, tout public Niveau 1re, 2de, licence, lycée, terminale Âge 15, 16, 17, 18, 19
Type chapitre d’un ouvrage, vulgarisation, popularisation Langue français Support papier
Classification