| Titre | La preuve en mathématiques fondamentales : collaborations, anaphore et exigence de naturalité | |
|---|---|---|
| Auteur | Laurine Lièvremont | |
 |
Revue | Tracés |
| Numéro | no 46, 2025 Les trajectoires de la preuve | |
| Rubrique / Thématique | Articles |
|
| Page | 93-113 | |
| Résumé |
Cet article met en lumière plusieurs aspects du travail de la preuve en mathématiques fondamentales. Il montre d'abord que l'activité probatoire de cette discipline s'appuie sur une écriture collaborative, depuis l'évocation des premières idées à la rédaction dans le détail des articles. L'importance de la collaboration est possible grâce à une pratique ordinaire mobilisant des outils spécifiques : tableaux, tablettes graphiques, partage d'écran, code LaTeX, plateforme d'écriture, etc. L'utilisation quotidienne de ces moyens matériels en fait des éléments structurants des trajectoires des preuves, selon un processus caractérisé par l'instauration par anaphore : les réunions de travail, échanges de mails ou de brouillons et sessions de co-écriture sont autant d'occasions de faire advenir les preuves par modifications et corrections successives. L'étude des inscriptions produites au cours de l'activité probatoire permet également de mettre au jour les normes professionnelles des preuves en mathématiques, à savoir l'attention particulière accordée aux objets mathématiques et à leur définition, ainsi que l'exigence de naturalité, en tant que cohérence interne du domaine. Source : Éditeur (via OpenEdition Journals) |
|
| Résumé anglais |
This article highlights several aspects of the work of proof in pure mathematics. It shows that in this discipline, proof-making relies on collaborative writing, from first ideas to the detailed drafting of articles. The importance of collaboration is achieved through ordinary practice involving specific tools: blackboards, graphic tablets, screen sharing, LaTeX code, collaborative writing platforms… The daily use of these material tools makes them structuring components in the trajectories of proof, in a process characterised by establishment through anaphora: work meetings, exchanges of emails or drafts, and writing sessions are all opportunities to bring proof into being through successive modifications and corrections. Studying the inscriptions produced during probationary activity helps to reveal the professional standards of proof in mathematics, that is, the special attention paid to mathematical objects and their definition and the expectation of naturalness as internal coherence of the field. Source : Éditeur (via OpenEdition Journals) |
|
| Article en ligne | https://journals.openedition.org/traces/16579 |
