Tangente Hors-série. N° 55. p. 6-8. Cela existe, je l’ai démontré !
Auteur : Delaunay David
Résumé
Un nombre réel est ou bien nul, ou bien non nul. En êtes-vous certain ? En logique intuitionniste, c’est indémontrable ! De même, le raisonnement par l’absurde et le principe du tiers exclu sont bannis des mathématiques constructives. Tout repose sur la possibilité ou non de construire un objet vérifiant une propriété donnée. Cet article présente des démonstrations non constructives et propose quelques rudiments de logique constructive.
Notes
Cet article est publié sous la rubrique « Savoirs » dans Tangente Hors-série n° 55 – Démontrer : l’art de convaincre.
Il est également paru dans Bibliothèque Tangente n° 55 – Les démonstrations.
Données de publication
Éditeur Editions POLE Paris , 2015 Format A4, p. 6-8
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
Classification