Recipes and Instructions in Mathematical Proofs

Épisode de Combinatoire - Timothy Gowers par Collège de France · 17 octobre 2022 · 55 min

Thimothy Gowers

Chaire Combinatoire

Collège de France

Année 2022-2023

Séminaire : Recipes and Instructions in Mathematical Proofs

Intervenant(s)

Fenner Tanswell, Vrije Universiteit Brussel

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.

Autres épisodes de « Combinatoire - Timothy Gowers »

À propos du podcast

Domaine un peu paradoxal, la combinatoire se présente comme à la fois simple et complexe, pauvre et riche, facile et difficile, pure et appliquée. Elle occupe aujourd'hui une place quasiment centrale en mathématiques, en particulier à cause de la multiplicité de ses interactions avec d'autres…

Combinatoire - Timothy Gowers

Épisodes similaires

Tous les épisodes de Combinatoire - Timothy Gowers · Plus de podcasts Science