Bibliothèque Tangente. N° 55. Cela existe, je l’ai démontré ! p. 18-22.
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 ».
Il fait partie du dossier : Les fondements de la preuve dans Bibliothèque Tangente n° 55 – Les démonstrations.
Il est également paru dans Tangente Hors-série n° 55 – Démontrer : l’art de convaincre
Données de publication
Éditeur Editions POLE Paris , 2015 Collection Bibliothèque Tangente Num. 55 Format 17 cm x 24 cm, p. 18-22
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