Guy Wallet - Integer calculus on the Harthong-Reeb Line

arima:1911 - Revue Africaine de Recherche en Informatique et Mathématiques Appliquées, 8 août 2008, Volume 9, 2007 Conference in Honor of Claude Lobry, 2008 - https://doi.org/10.46298/arima.1911
Integer calculus on the Harthong-Reeb LineArticle

Auteurs : Guy Wallet 1

ans ce travail, nous donnons une présentation de la droite dite d’Harthong-Reeb. Il s’agit d’un système numérique uniquement basé sur les nombres entiers et dont la propriété frappante est qu’il est à peu près équivalent à la droite réelle continue. Sa définition nécessite l’utilisation d’un nombre naturel w qui est infiniment grand au sens de l’analyse nonstandard. Suivant l’idée de G. Reeb, nous montrons comment on peut implémenter le schéma d’Euler dans ce cadre. Alors, on obtient une représentation exacte dans la droite d’Harthong-Reeb de nombreuses fonctions réelles comme la fonction exponentielle. Puisque cette représentation est donnée au moyen d’un algorithme explicite, il est naturel de s’interroger sur la constructivité globale de ce système numérique. Dans la conclusion, nous discutons ce dernier point et nous esquissons de nouvelles directions pour obtenir des systèmes analogues dotés d’une meilleure constructivité.


Volume : Volume 9, 2007 Conference in Honor of Claude Lobry, 2008
Publié le : 8 août 2008
Soumis le : 22 janvier 2008
Mots-clés : nonstandard analysis, arithmetization, Euler scheme, discrete line, constructive mathematics.,analyse nonstandard,arithmétisation,schéma d’Euler,droite discrète,mathématiques constructives,[INFO] Computer Science [cs],[MATH] Mathematics [math]

Statistiques de consultation

Cette page a été consultée 190 fois.
Le PDF de cet article a été téléchargé 293 fois.