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 TanswellThe transcript and downloadable versions of the lecture are available from the Gresham College website:https://www.gresham.ac.uk/watch-now/recipes-proofGresham College has offered free public lectures for over 400 years, thanks to the generosity of our supporters. There are currently over 2,500 lectures free to access. We believe that everyone should have the opportunity to learn from some of the greatest minds. To support Gresham's mission, please consider making a donation: https://gresham.ac.uk/support/Website:  https://gresham.ac.ukTwitter:  https://twitter.com/greshamcollegeFacebook: https://facebook.com/greshamcollegeInstagram: https://instagram.com/greshamcollegeSupport the show