Are mathematical proofs actually just instructions for a mental recipe?

How Mathematical Proofs Are Like Recipes · 44:26 · Video: Gresham College · Watch at the source

In short: Dr Fenner Tanswell explores a surprising linguistic connection between the structure of mathematical proofs and the instructional nature of cooking recipes.

The lecture examines how written proofs function as sets of instructions for the reader to perform specific mathematical actions. By analyzing linguistic evidence, Tanswell demonstrates that proofs often utilize the imperative mood—the same grammatical form found in recipes—to guide the reader through a logical process. This comparison extends to the role of mathematical diagrams and offers a unique perspective on the act of reading and writing mathematics.

Opens the Intellect+ feed with this card first. Swipe up for the next one.

Sources

To cite this card, link to https://intellectplus.co.uk/app/ideas-how-mathematical-proofs-are-like-recipes-2.

How we source, check and correct cards: Editorial standards.

General information, not professional advice. Spotted an error? Flag the card or see corrections and complaints.

Intellect Plus is a visual educational discovery platform for exploring fascinating facts and ideas. Brain Food, Not Brain Rot. What is Intellect Plus?

Related

Finding something worth knowing…