BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:The social machine of mathematics - Ursula Martin (University of O
 xford)
DTSTART:20170712T133000Z
DTEND:20170712T143000Z
UID:TALK73199@talks.cam.ac.uk
CONTACT:INI IT
DESCRIPTION:How does mathematics come about?  Formal proof is only part of
  the story\, and in this paper I present the results of highly interdiscip
 linary work\, using philosophy\, social scence and history alongside compu
 ter science research in artificial intelligence\, argumentation theory and
  verification\, to show the scope for new  techniques to support concept f
 ormation and argument finding\, while highlighting the roles that risk\, d
 oubt\, error\, explanation and group knowledge play in the human productio
 n and use of mathematics.  <br><br>Related Links<ul><li><a target="_blank"
  rel="nofollow" href="https://www.cs.ox.ac.uk/people/ursula.martin/">https
 ://www.cs.ox.ac.uk/people/ursula.martin/</a>- Ursula Martin\, University o
 f Oxford</li></ul><br><br>
LOCATION:Seminar Room 1\, Newton Institute
END:VEVENT
END:VCALENDAR