BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Socialising proof - Lorenzo Lane (University of Edinburgh\; Univer
 sity of Oxford)
DTSTART:20170718T150000Z
DTEND:20170718T153000Z
UID:TALK73921@talks.cam.ac.uk
CONTACT:INI IT
DESCRIPTION:The following presentation will explore the social mechanisms 
 involved in validating proofs within pure mathematics. I will use the high
  profile example of Mochizuki&rsquo\;s Proof of the ABC conjecture to demo
 nstrate the challenges involved in validating proofs. The acceptance of pr
 oofs depends upon their conformity to certain standards\, on possessing re
 lationships to existing bodies of knowledge\, as well as being certified b
 y reputable members of the community of practice. Proofs thus need to be s
 ocialised before they can be fully accepted. I shall demonstrate the socia
 lisation processes Mochizuki&rsquo\;s proof underwent\, and explore the co
 ntinuing challenges the proof encounters in its bid to gain legitimacy wit
 hin the mathematical community.<br><br>
LOCATION:Seminar Room 2\, Newton Institute
END:VEVENT
END:VCALENDAR