BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:The role of explanation in mathematical research - Alison Pease (U
 niversity of Dundee)
DTSTART:20170714T080000Z
DTEND:20170714T090000Z
UID:TALK73276@talks.cam.ac.uk
CONTACT:INI IT
DESCRIPTION:<span>Co-authors: Andrew Aberdein		(Florida Institute of Techn
 ology)\, Ursula Martin		(University of Oxford)        <br></span><span><br
 >Mathematical practice is an emerging interdisciplinary field which draws 
 on philosophy and social science to understand how mathematics is produced
 .  Online mathematical activity provides a novel and rich source of data f
 or empirical investigation of mathematical practice - for example the comm
 unity question answering system MathOverflow contains nearly 70\,000 mathe
 matical conversations\, and polymath collaborations provide transcripts of
  the process of discovering proofs.  Our preliminary investigations have d
 emonstrated the importance of "soft" aspects such as analogy and creativit
 y\, alongside deduction and proof\, in the production of mathematics\, and
  have given us new ways to think about the roles of people and machines in
  creating new mathematical knowledge. We discuss our investigations into t
 hese resources\, focusing on ways in which explanation and argumentation a
 re used by mathematicians in both proofs and other  mathematical contexts.
 </span>
LOCATION:Seminar Room 1\, Newton Institute
END:VEVENT
END:VCALENDAR