How Mathematical Proofs Are Like Recipes

This talk considers mathematical proofs through an analogy to cooking recipes: that proofs give recipes for mathematical actions to be carried out by the reader. We will see linguistic evidence that written proofs often include explicit instructions in the imperative mood, just like recipes. This will lead to philosophical insights about mathematical diagrams, reading and writing proofs, and why maths is like the Great British Bake Off. A lecture by Dr Fenner Tanswell The transcript and down...