Tangente Hors-série. N° 49. p. 12-14. L’échelle de l’existence mathématique.

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 » dans le numéro Tangente Hors-série n° 49 – Mathématiques de l’impossible.
Il est également paru dans l’ouvrage Bibliothèque Tangente n° 49 – Les maths de l’impossible.

Données de publication

Éditeur Editions POLE Paris , 2013 Format A4, p. 12-14
ISSN 1294-9949

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

Type article de périodique ou revue, vulgarisation, popularisation Langue français Support papier