BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Pure Mathematics in Crisis - Professor Kevin Buzzard
DTSTART:20190130T140000Z
DTEND:20190130T150000Z
UID:TALK114262@talks.cam.ac.uk
CONTACT:J.W.Stevens
DESCRIPTION:Any number theorist would tell you that Fermat's Last Theorem 
 is proved. But I know of no human who understands the details of all of th
 e mathematics involved. What does a group theorist mean when they say the 
 classification of finite simple groups is finished? If you assume unpublis
 hed work which is "known to the experts"\, whose job is it to publish that
  work? Does the work even need publishing\, or should we just keep generat
 ing new experts instead? When was the last time your favourite journal pub
 lished an erratum? Is is OK to make mistakes? Is everything OK or is human
  mathematics heading towards a cliff edge?\n\nComputer scientists are doin
 g pure mathematics in a new way\, which has many problems of its own\, but
  these problems are almost entirely disjoint from the issues that "human m
 athematics" currently faces. I will argue that mathematicians and computer
  scientists need to work more closely together because both sides can offe
 r things which the other side needs.
LOCATION:CMS\, MR3
END:VEVENT
END:VCALENDAR