skip to content

Go forth and multiply! Imperatives in mathematical proofs

Presented by: 
Fenner Tanswell
Tuesday 18th July 2017 - 15:30 to 16:00
INI Seminar Room 2
In this talk I will emphasise the activity of proving in securing mathematical knowledge. I will be drawing on observations of the language used in mathematical proofs to argue that the proofs themselves can contain a mix of propositional and imperatival content, very much in the style of a recipe or set of instructions for other mathematicians to carry out the same proving activity. This also applies to diagrams in proofs, which I shall compare to instructions for LEGO models and Ikea furniture. The idea is that this will then provide a natural picture of informal proofs and their epistemic significance, fitting in with modern approaches in epistemology, especially on knowledge-how and virtue epistemology.

The video for this talk should appear here if JavaScript is enabled.
If it doesn't, something may have gone wrong with our embedded player.
We'll get it fixed as soon as possible.
University of Cambridge Research Councils UK
    Clay Mathematics Institute London Mathematical Society NM Rothschild and Sons