BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//talks.cam.ac.uk//v3//EN
BEGIN:VTIMEZONE
TZID:Europe/London
BEGIN:DAYLIGHT
TZOFFSETFROM:+0000
TZOFFSETTO:+0100
TZNAME:BST
DTSTART:19700329T010000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0100
TZOFFSETTO:+0000
TZNAME:GMT
DTSTART:19701025T020000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
CATEGORIES:Isaac Newton Institute Seminar Series
SUMMARY:Go forth and multiply! Imperatives in mathematical
proofs - Fenner Tanswell (University of Oxford)
DTSTART;TZID=Europe/London:20170718T153000
DTEND;TZID=Europe/London:20170718T160000
UID:TALK73441AThttp://talks.cam.ac.uk
URL:http://talks.cam.ac.uk/talk/index/73441
DESCRIPTION:In this talk I will emphasise \;the a
ctivity of proving \;in securing mathemati
cal knowledge. I will be drawing on observations o
f the language used in mathematical proofs to argu
e that the proofs themselves can contain a mix of
propositional and \;imperatival content\, very
much in the style of a recipe or set of instructi
ons for other mathematicians to carry out the same
proving activity. This also applies to diagrams i
n proofs\, which I shall compare to instructions f
or LEGO models and Ikea furniture. The idea is tha
t this will then provide a natural picture of info
rmal proofs and their epistemic significance\, fit
ting in with modern approaches in epistemology\, e
specially on knowledge-how and virtue epistemology
.
LOCATION:Seminar Room 2\, Newton Institute
CONTACT:INI IT
END:VEVENT
END:VCALENDAR