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

Description complète

Enregistré dans:
Détails bibliographiques
Dans:URI:https://journals.openedition.org/traces,
Auteur principal: Lièvremont, Laurine
Format: Article ou chapitre numérique
Langue:Français
Publié: Tracés 2025
Sujets:
Accès en ligne:Accès Université d'Orléans et IFPM
Accès Université d'Orléans et IFPM

En ligne

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