bn:02950381n
Noun Concept
Categories: Théorie de la démonstration, Logique mathématique, Intuitionnisme, Méthode de démonstration
FR
démonstration constructive  demonstration constructive  non-constructive  preuve constructive  preuve nonconstructive
FR
Une première vision d'une démonstration constructive est celle d'une démonstration mathématique qui respecte les contraintes des mathématiques intuitionnistes, c'est-à-dire qui ne fait pas appel à l'infini, ni au principe du tiers exclu. Wikipedia
Definitions
Relations
Sources
FR
Une première vision d'une démonstration constructive est celle d'une démonstration mathématique qui respecte les contraintes des mathématiques intuitionnistes, c'est-à-dire qui ne fait pas appel à l'infini, ni au principe du tiers exclu. Wikipedia