Bibliothèque Tangente. N° 49. L’échelle de l’existence mathématique. p. 90-94.
Auteur : Delahaye Jean-Paul
Résumé
Cet article est centré sur l’existence en mathématiques qui est une notion délicate et discutée depuis longtemps. Les résultats d’impossibilité prouvés au XXe siècle semblent imposer une échelle d’au moins quatre barreaux dans les degrés d’existence mathématique. L’auteur donne des exemples de preuves d’existence, de preuves non constructives. Il termine en montrant le rôle de la logique intuitionniste dans la conception de certains logiciels de programmation.
Notes
Cet article est publié sous la rubrique « Savoirs ».
Il fait partie du dossier : Ils existent mais où sont-ils ? de l’ouvrage Bibliothèque Tangente n° 49 – Les maths de l’impossible.
Il est également paru dans Tangente Hors-série n° 49 – Mathématiques de l’impossible.
Données de publication
Éditeur Editions POLE Paris , 2013 Collection Bibliothèque Tangente Num. 49 Format 17 cm x 24 cm, p. 90-94
ISBN 2-8488-4156-7 EAN 9782848841564 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