Organisateurs

Emmylou Haffner
ITEM, CNRS

& David Waszek
ITEM, ÉNS

Introduction

Les mathématiques utilisent une immense variété de formes d’écriture, et plus largement de formes de représentation (écritures symboliques, diagrammes en tous genres, matrices, tableaux, etc.). Ces formes de représentation ne sont pas seulement des outils d’exposition, dont la seule fonction serait de présenter un contenu préexistant sous une forme plus synoptique ou plus accessible. Il s’agit aussi d’outils de recherche, façonnés par les spécialistes au cours de leurs investigations. C’est à cette dimension exploratoire des représentations qu’est consacré cet atelier.

Le but de la journée est d’examiner des exemples de développement de nouvelles formes de représentation dans le travail au brouillon de mathématicien·nes, et de confronter ces exemples à des réflexions plus systématiques sur le rôle des représentations dans le travail de recherche.

Intervenants

Sandra Bella
Archives Henri-Poincaré – Philosophie et Recherches sur les Sciences et les Technologies, Université de Lorraine

Discussion par David Waszek
ITEM, ÉNS

9h30-11h00 – Caractériser et mesurer la courbure : Explorations diagrammatiques autour des brouillons de Leibniz et ses amis

Au début des années 1680, Gottfried Wilhelm Leibniz entreprend des recherches pour caractériser la courbure en tant que grandeur. Ses recherches aboutissent à une première publication en 1686 intitulée Meditatio nova de natura anguli contactus et osculi… Il y introduit les concepts de cercle et d’angle d’osculation qui lui permettent de donner un sens mathématique à la notion de courbure, et par ce biais à celui d’ « angle entre deux courbes ». L’article montre que Leibniz n’est cependant pas pleinement parvenu à fournir un moyen de mesurer la courbure, ni à caractériser précisément le cas extrême que constitue dans ce contexte le point de flexion. Ces insuffisances se retrouvent en revanche dans certaines tentatives et tâtonnements qui apparaissent dans plusieurs passages fortement diagrammatiques de manuscrits à l’origine de cette publication.

Dans cette intervention, je souhaite retracer un des chemins de la genèse conceptuelle de la courbure à travers les brouillons de Leibniz, mais aussi en analysant certaines questions posées dans les échanges épistolaires entre deux autres mathématiciens contemporains de Leibniz – Guillaume de L’Hospital et Jean Bernoulli – questions qui débutent en réaction à cette publication.

Dirk Schlimm
McGill University

Discussion par Karine Chemla
SPHERE, CNRS

11h30-13h00 – Where Mathematical Symbols Come From

The role of formal systems and of symbolic and diagrammatic notations in general has received considerable attention by philosophers of mathematics in the past. However, few have paid attention to particular symbols and their shapes. If they are considered at all, it mostly about when a symbol was used for the first time and by whom. The reason for why philosophers have rarely considered reflecting upon the role particular symbols and their shapes is because they are generally considered to be arbitrary and purely conventional, i.e, arithmetic would be no different if we would replace the numeral « 8 » by a different symbol. Nevertheless, I will argue in this talk that the shape of many mathematical symbols is in fact well motivated. In a nutshell: In mathematical practice, symbols are not arbitrary.

I will discuss several possible motivations for the introduction of new mathematical symbols. These include (1) practical reasons, such as ease of writing or availability for printing. Considerations about (2) human perception, i.e., for reading, and about (3) human cognition can also guide the choice of symbols. Mnemonics (such as the Greek letters delta and pi for the diameter and periphery of a circle) and the use of inverted letters to indicate inverse relations reduce the cognitive effort to memorize the meanings of the symbols in question. More important for philosophy of mathematics, however, are (4) semantic reasons for the choice of symbols. Here, a symbol is chosen either because it has already a meaning that is related to the new one, or because the symbol itself evokes the meaning that it is intended to carry.

A better understanding of the motivations behind the shape of symbols can thus provide us access to the conceptions that mathematicians have of the subject matter they investigate and contribute to a richer picture of mathematical practice.

Déjeuner

Viviane Pons
LRI, Université Paris Saclay

Discussion par Baptiste Mélès
Archives Henri-Poincaré – Philosophie et Recherches sur les Sciences et les Technologies, CNRS

14h30-16h00 – Expérimentation manuelle et par ordinateur dans la recherche en combinatoire

En tant que chercheuse en combinatoire algébrique, l’approche exploratoire est essentielle à mon travail. Mon processus de recherche est un va et vient constant entre des expérimentations manuelles (calculs, énumération exhaustives de structures, cas particuliers, etc) et sur ordinateur. Dans cet exposé, je me baserai sur un problème en cours pour dérouler le processus de recherche qui m’amène à obtenir de nouveaux résultats.

Discussion générale