La droite graduée. Représentation intuitionniste du continu - Université de La Réunion
Journal Articles Expressions Year : 2003

La droite graduée. Représentation intuitionniste du continu

Abstract

Au collège et au lycée, la référence mathématique qui justifie les manipulations de grandeurs continues est la droite graduée. En vue d'effectuer une mesure directe, la lecture d'un instrument, type double-décimètre, fournit un nombre décimal qu'il y a lieu d'interpréter comme un encadrement, l'ordre de grandeur de l'approximation se jouant sur la dernière décimale écrite. D'autres mesures indirectes, type aire, volume, nécessitent, si on veut rester rigoureux, de faire appel au calcul sur les encadrements. Le résultat se présente alors comme un couple de deux nombres : encadrement ou valeur approchée, incertitude ; quitte à perdre de la précision par arrondi ou troncature, on aimerait le faire ressembler au résultat d'une mesure directe. C'est à partir de de ces idées qu'on va proposer une représentation bien formalisée d'un continu intuitionniste insécable destiné à se substituer au IR classique. On ne pourra s'empêcher de se poser la question de savoir quelles sont les applications (continues ?) morphismes de cette nouvelle structure.
Fichier principal
Vignette du fichier
Expressions21-Jambon.pdf (996.91 Ko) Télécharger le fichier
Origin Publisher files allowed on an open archive

Dates and versions

hal-02406620 , version 1 (12-12-2019)

Identifiers

  • HAL Id : hal-02406620 , version 1

Cite

Marc Jambon. La droite graduée. Représentation intuitionniste du continu. Expressions, 2003, 21, pp.109-130. ⟨hal-02406620⟩
75 View
37 Download

Share

More