Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

L’objet de ce travail est l’utilisation de certains formalismes non classiques (analyses non standard, analyses constructives) afin de proposer des bases théoriques nouvelles autour des problèmes de discrétisations d’objets continus. Ceci est fait en utilisant un modèle discret du système des nombres réels appelé droite d’Harthong-Reeb ainsi que la méthode arithmétisation associée qui est un processus de discrétisation des fonctions continues. Cette étude repose sur un cadre arithmétique non standard. Dans un premier temps, nous utilisons une version axiomatique de l’arithmétique non standard. Puis, dans le but d’améliorer le contenu constructif de notre méthode, nous utilisons une autre approche de l’arithmétique non standard découlant de la théorie des Ω-nombres de Laugwitz et Schmieden. Cette seconde approche amène à une représentation discrète et multi-résolution de fonctions continues.Finalement, nous étudions dans quelles mesures, la droite d’Harthong-Reeb satisfait les axiomes de Bridges décrivant le continu constructif. / The aim of this work is to introduce new theoretical basis for the discretization of continuous objects using non classical formalisms. This is done using a discrete model of the continuum called the Harthong-Reeb line together with the related arithmetization method which is a discretisation process of continuous functions. This study stands on a nonstandard arithmetical framework. Firstly, we use an axiomatic version of nonstandard arithmetic. In order to improve the constructive content of our method, the next step is to use another approach of nonstandard arithmetic deriving from the theory of Ω-numbers by Laugwitzand Schmieden. This second approach leads to a discrete multi-resolution representation of continuous functions. Afterwards, we investigate to what extent the Harthong-Reeb line fits Bridges axioms of the constructive continuum.

La Géométrie de Descartes peut être lue comme un traité consacré à la résolution (graphique) de toutes les équations polynomiales grâce à un outil forgé pour la circonstance, qui permettra à l'homme de créer les sciences quantitatives et d'atteindre - presque - le but fixé au Premier Chapitre de la Genèse : dominer le monde. Cet outil est le calcul des coordonnées, invention exceptionnelle dont cependant il n'avait pas vu toute la puissance.Ce qu'il savait, c'était simplement que, outre la possibilité de définir et de construire un stock infini de courbes, il lui permettait - croyait-il - de donner une réponse définitive au problème de la recherche des racines des équations, mais aussi, grâce à cette technique, de ramener toute question de géométrie à un calcul, bref à mécaniser en quelque sorte les dernières questions ouvertes des mathématiques de son temps.Cette grille de lecture est à confronter à l'attitude plus conservatrice pour laquelle c'était là une mise en œuvre de la Méthode, voire de la Mathesis, fondée autour de l'algébrisation de la géométrie classique, plutôt qu'une arrivée de la géométrie venant à la rescousse de l'algèbre. / La Géométrie of Descartes can be read as a treatise on (graphic) resolution of all polynomial equations, by means of a tool made up on purpose, and by which man will be able to build up the quantitative sciences and to - almost - fulfil the object as stated in Genesis, 1: to rule over the world. That tool is the coordinates system, an extraordinary discovery, more powerful even than what Descartes had imagined.He only saw a means of defining and keeping in stock an endless number of curves and, beyond that, of finding a final answer to the question of the research of the equation roots; and, through that technical medium, he knew also he could reduce any geometrical problem to algebraic calculation; in a word, solve mechanically the last open questions in the mathematics of his time.This reading of the book must be confronted with a more usual posture according to which there is nothing else here than an application of the Method, or even of the Mathesis, grounded on the algebraization of the classical geometry, more than an advent of geometry used to help algebra.

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal.

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.