BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Go forth and multiply! Imperatives in mathematical proofs - Fenner
  Tanswell (University of Oxford)
DTSTART:20170718T143000Z
DTEND:20170718T150000Z
UID:TALK73441@talks.cam.ac.uk
CONTACT:INI IT
DESCRIPTION:<span>In this talk I will emphasise&nbsp\;<i>the activity of p
 roving</i>&nbsp\;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&nbsp\;imperativa
 l 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 app
 lies to diagrams in proofs\, which I shall compare to instructions for LEG
 O models and Ikea furniture. The idea is that this will then provide a nat
 ural picture of informal proofs and their epistemic significance\, fitting
  in with modern approaches in epistemology\, especially on knowledge-how a
 nd virtue epistemology.</span><br><br><br><br>
LOCATION:Seminar Room 2\, Newton Institute
END:VEVENT
END:VCALENDAR