La preuve en mathématiques fondamentales : collaborations, anaphore et exigence de naturalité
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’importanc...
Đã lưu trong:
| Xuất bản năm: | URI:https://journals.openedition.org/traces, |
|---|---|
| Tác giả chính: | |
| Định dạng: | Article ou chapitre numérique |
| Ngôn ngữ: | Français |
| Được phát hành: |
Tracés
2025
|
| Những chủ đề: | |
| Truy cập trực tuyến: | Accès Université d'Orléans et IFPM Accès Université d'Orléans et IFPM |
| Tóm tắt: | 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. |
|---|