17 oct 2022
14:00 - 15:00
Salle 5, Site Marcelin Berthelot
En libre accès, dans la limite des places disponibles


Fenner Tanswell, Vrije Universiteit Brussel
URL de la vidéo


What is a mathematical proof? What role do proofs play in mathematical knowledge? The standard model is that a proof is a logically structured sequence of assertions, beginning from accepted premises and proceeding by established inference rules to a conclusion. In this talk, I will offer an alternative model, the recipe model of proof, which sees proofs as providing instructions for a process of mathematical reasoning. To support this model, I'll show some results from a corpus linguistics study of maths preprint articles from the arXiv looking at the prevalence of instructions in the written language of proofs. I'll then argue that this model provides a different perspective on both the logical structure of real proofs, and the kinds of knowledge proofs generate and communicate.