Justifier en mathématiques

La question de la validité d'un résultat en mathématiques paraît être réglée par les procédures de démonstration ; l'édifice mathématique, quant à lui, semble relativement assuré par les diverses théories de fondements. Pourtant, les écrits des mathématiciens anciens et contemporains fourmillent d'exemples de discours de justification. Lorsqu'une notion est introduite, il est de bonne politique d'en justifier l'intérêt par quelques exemples précis, le choix des méthodes de démonstration est aussi souvent l'objet d'une discussion. Plus généralement, les premières minutes d'un exposé de séminaire ou les premières pages d'un livre sont souvent consacrées à montrer l'ancrage du sujet de l'exposé ou du livre dans l'histoire, à en prouver la modernité et à en illustrer la pertinence par des exemples. Quelle est donc l'utilité des pratiques de justification en mathématiques ? Relèvent-elles de l'indispensable communication des résultats d'une recherche ou sont-elles plus inhérentes à la pratique des mathématiques ? Participent-elles de la rhétorique d'exposition ou de l'épistémologie ambiante d'une discipline ? Comment s'imbriquent-elles avec les questions de fondements ?

Les travaux qui composent cet ouvrage interrogent les aspects rhétoriques des discours de mathématiciens du XIX^e siècle avec l'intention de comprendre comment les pratiques de justification ont pu modeler l'activité de fondements. En effet, ces questions et celles du rapport entre logique et mathématiques sont à la fin du XIX^e siècle l'occasion de nombreuses discussions et discours dans lesquels les mathématiciens tentent de définir ce que doivent être les mathématiques et de proposer des normes à leur pratique. Ces débats reprennent des lignes argumentatives développées tout au long du XIX^e siècle. En suivant les trajectoires de ces lignes, cet ouvrage propose des contributions pour une histoire des fondements des mathématiques qui serait inscrite dans la pratique des mathématiciens du XIX^e siècle.