La constitution de l'écriture symbolique mathématique. - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 1997

The establishment of mathematical symbolic writing.

La constitution de l'écriture symbolique mathématique.

Résumé

This dissertation is devoted to the description of the establishment of mathematical symbolic writing, primarily achieved with Descartes geometry to examine some transcendental figures of knowledge organized by the new system, finally to analyze the part of the new symbolic in inventing and creating objects. The first part le system depicts the birth of the symbolic, organizing two registers, combinatoric s and meanings. All was in fact achieved between 1591 and 1637, vieta s isagoge and Descartes geometry we describe from Diophantus to cardan the previous systems, such as cossic s and vieta s use of letters. Descartes ‘contribution was conclusive with three points: symbolic punctuation, Cartesian exponential, and the loop ( sign for equality ). The second part symbolique and invention is primarily organized around Leibniz and his discovery in 1676 of newton s epistola prior containing a lot of combinatory and meaningful questions. The chapter characteristique and new nouveau calcul describes Leibniz creating his fundamental algorithm, primarily by means of combinatory playing ‘with substitutions, apart from any signification. In the art combinatory. Substitutions and metamorphoses, the concept is extended, so as to reach its modern form: tool for mathematical invention, anchored in the symbolic. formes sans significations finally depicts a meta-procedure for building up objets from their form,initially analysed in the correspondance of 1676 between Leibniz and Newton, then in the creation of the field of complex numbers, thus resolving bombelli s riddle of imaginary quantities . We examine some accomplishments of this usual epistemological scheme in Euler s work (complex exponential and new factorial ), in some recent questions (distributions of l. Schwartz), as well as in a personal example.
Cette thèse comporte trois parties. La première décrit la constitution de l'écriture symbolique mathématique, pour l'essentiel achevée avec la Géométrie de Descartes. Dans la seconde partie, l'auteur examine certains motifs "transcendantaux" de la connaissance organisés par le nouveau système. Enfin, il analyse le rôle de la symbolique nouvelle dans l'invention et la création d'objets. La première partie, "Le système", décrit la naissance du symbolique, entraînant l'organisation de deux registres, combinatoire et signifiant. Tout s'est joué entre 1591 et 1637, c'est à dire entre l'Isagoge de Viète et la Géométrie de Descartes. Après avoir décrit, de Diophante à Cardan les systèmes rudimentaires préalables, grecs puis médiévaux, tel le cossique avec ses apories, l'auteur analyse les six points qui se révélèrent essentiels à cette constitution : la représentation du requis (la ou les inconnues), du donné (avec pour conséquence la "littéralisation" du texte), celle des opérations (par le moyen des assembleurs), des puissances (l'exponentielle cartésienne), de la mise en relation par égalité (tel la 'Boucle'cartésienne), enfin la ponctuation du texte symbolique. Sur trois de ces rubriques, la contribution de Descartes fut décisive. Ainsi, de Viète à Descartes, l'écriture symbolique mathématique s'est constituée, revêtant les aspects principaux de sa structure actuelle. La seconde partie "Symbolique et invention" est d'abord organisée autour de Leibniz et de sa rencontre en 1676 avec l'Epistola Prior de Newton et un lot de questions combinatoires et signifiantes. Le chapitre "Charactéristique et Nouveau Calcul" décrit Leibniz créant son Algorithme fondamental, initialement par le seul "jeu combinatoire" des substitutions, hors de toute signification. Dans "L'Art combinatoire. Substitutions et métamorphoses", le concept s'élargit, parvenant à sa forme moderne : un outil de l'invention mathématique ancrée dans le symbolique. "Formes sans significations" décrit enfin un méta-procédé de construction d'objets à partir de leur "forme", d'abord analysée dans les échanges de 1676 entre Leibniz et Newton, puis dans la création du corps des nombres complexes dénouant l'énigme des "quantités imaginaires" de Bombelli. La méthodologie se compose du choix des "canons électifs" et de la procédure canonique. Quant à l'énoncé du "principe", il est simplement le suivant : "tout objet, toute formule mathématique, apparemment en soi, peut le cas échéant être regardé comme une instance seulement d'un objet ou un canon plus vaste qui le recouvre et le prolonge sur le plan signifiant, cependant que sa forme symbolique reste inchangée". L'auteur examine ensuite diverses réalisations de ce schéma épistémologique, tant chez Euler (exponentielle complexe et "factorielle" neuve) que récentes (distributions de Laurent Schwartz), ainsi qu'un exemple tiré de sa recherche personnelle (quasi-ensembles). L'auteur évoque les problèmes soulevés par la terminologie et propose des solutions. Le discours mathématique quotidien, écrit ou parlé, s'accompagne d'une confusion entre signifiant et combinatoire, ou encore chose et symbole, une distinction qui n'est pas usuellement inscrite, même dans l'écrit, et toujours de cette même façon : c'est le représentant qui est confondu avec le représenté. Une confusion délibérée qui vient s'accomplir dans la complète absence d'une terminologie combinatoire" pour le vocabulaire des mathématiques usuelles et opératoires (livres, manuels, articles), qui fait preuve sur ce point d'une effarante imprécision quant au registre véritablement concerné. Ainsi, de "terme" ou de "membre" (d'une équation), d'"expression", de "couple", ou encore de "formule", qui peut renvoyer indifféremment dans le même texte au contenu (un résultat, le plus souvent universel) mais aussi à la forme (une concaténation de signes). Le vocabulaire usuel des mathématiques suscite ainsi à l'évidence un nombre considérable de semblables situations. Or la division signifiant-signifié paraît indispensable à toute analyse épistémologique, historique, ou didactique. L'auteur s'est donc donné pour tâche de pallier dans un certain nombre de cas le manque de termes spécifiques en provenance du registre combinatoire. Notes : L'ouvrage comporte de nombreuses références, en particulier aux travaux de : Bernoulli, Bombelli, Cajori, Cardan, Diophante, Euclide, Euler, Heath, Newton, Stiefel, Tschirnaus, Viète, Wallis. Il comporte deux types d'index : l'un des auteurs, l'autre des sujets.
Fichier principal
Vignette du fichier
Thèse Serfati.pdf (33.7 Mo) Télécharger le fichier

Dates et versions

tel-01252590 , version 1 (07-01-2016)

Identifiants

  • HAL Id : tel-01252590 , version 1

Citer

Michel Serfati. La constitution de l'écriture symbolique mathématique.. Histoire et perspectives sur les mathématiques [math.HO]. Université Paris I, 1997. Français. ⟨NNT : ⟩. ⟨tel-01252590⟩
2447 Consultations
325 Téléchargements

Partager

Gmail Facebook X LinkedIn More