Expressions. N° 18. Histoire et philosophie des sciences. p. 87-116. Géométrie avec ou sans tiers exclu ? Motivation pour l’intuitionnisme à travers la géométrie.
Une version texte intégral est en téléchargement sur le site Bibliothèque numérique des IREM et de l’APMEP Télécharger
Auteur : Jambon Marc
Résumé
A partir d’une « géométrie d’observation » et de « rudiments de logique intuitionniste », l’auteur élabore, en 22 pages, une « axiomatique constructive de la géométrie affine plane ». Abstract Reality of geometric figures doesn’t incite to base axiomatic geometry on
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 lui paraît particulièrement intéressant.
the axiom of excluded middle, so we are especially interested in Brouwer’s intuitionism.
Notes
Article du numéro 18 de la revue Expressions.
Données de publication
Éditeur IUFM de la Réunion Saint-Denis , 2001 Format A5, p. 87-116
ISBN 2-9512189-0-1 ISSN 1769-7107
Public visé chercheur, enseignant, formateur
Type article de périodique ou revue Langue français Support papier
Classification