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...

Полное описание

Сохранить в:
Библиографические подробности
Опубликовано в: :URI:https://journals.openedition.org/traces,
Главный автор: Lièvremont, Laurine
Формат: Article ou chapitre numérique
Язык:Français
Опубликовано: Tracés 2025
Предметы:
Online-ссылка:Accès Université d'Orléans et IFPM
Accès Université d'Orléans et IFPM

Internet

https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.4000/13wwq
https://ezproxy.univ-orleans.fr/login?url=https://journals.openedition.org/traces/16579