Géométrie avec ou sans tiers exclu ? Motivation pour l'intuitionnisme à travers la géométrie
Résumé
La réalité des figures géométriques n'incite pas à fonder une géométrie axiomatique sur l'axiome du tiers exclu. C'est pourquoi l'intuitionnisme de Brouwer nous paraît particulièrement intéressant.
Domaines
Mathématiques [math]
Origine : Fichiers éditeurs autorisés sur une archive ouverte