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:CCIMI Seminars
SUMMARY:Pure Mathematics in Crisis - Professor Kevin Buzza
rd
DTSTART;TZID=Europe/London:20190130T140000
DTEND;TZID=Europe/London:20190130T150000
UID:TALK114262AThttp://talks.cam.ac.uk
URL:http://talks.cam.ac.uk/talk/index/114262
DESCRIPTION:Any number theorist would tell you that Fermat's L
ast Theorem is proved. But I know of no human who
understands the details of all of the mathematics
involved. What does a group theorist mean when the
y say the classification of finite simple groups i
s finished? If you assume unpublished work which i
s "known to the experts"\, whose job is it to publ
ish that work? Does the work even need publishing\
, or should we just keep generating new experts in
stead? When was the last time your favourite journ
al published an erratum? Is is OK to make mistakes
? Is everything OK or is human mathematics heading
towards a cliff edge?\n\nComputer scientists are
doing pure mathematics in a new way\, which has ma
ny problems of its own\, but these problems are al
most entirely disjoint from the issues that "human
mathematics" currently faces. I will argue that m
athematicians and computer scientists need to work
more closely together because both sides can offe
r things which the other side needs.
LOCATION:CMS\, MR3
CONTACT:J.W.Stevens
END:VEVENT
END:VCALENDAR