Géométrie avec ou sans tiers exclu ? Motivation pour l'intuitionnisme à travers la géométrie
Abstract
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.
Domains
Mathematics [math]Origin | Publisher files allowed on an open archive |
---|