Pure Mathematics in Crisis
- đ¤ Speaker: Professor Kevin Buzzard đ Website
- đ Date & Time: Wednesday 30 January 2019, 14:00 - 15:00
- đ Venue: CMS, MR3
Abstract
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 the mathematics involved. What does a group theorist mean when they say the classification of finite simple groups is finished? If you assume unpublished 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 generating new experts instead? When was the last time your favourite journal published an erratum? Is is OK to make mistakes? Is everything OK or is human mathematics heading towards a cliff edge?
Computer scientists are doing 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 mathematics” currently faces. I will argue that mathematicians and computer scientists need to work more closely together because both sides can offer things which the other side needs.
Series This talk is part of the CCIMI Seminars series.
Included in Lists
- All CMS events
- All Talks (aka the CURE list)
- bld31
- Cambridge Centre for Data-Driven Discovery (C2D3)
- Cambridge talks
- CCIMI
- CCIMI Seminars
- Chris Davis' list
- CMS Events
- CMS, MR3
- custom
- DPMMS info aggregator
- DPMMS lists
- DPMMS Lists
- Guy Emerson's list
- Hanchen DaDaDash
- Interested Talks
- ndk22's list
- ob366-ai4er
- rp587
- School of Physical Sciences
- Statistical Laboratory info aggregator
- Trust & Technology Initiative - interesting events
- yk449
Note: Ex-directory lists are not shown.
![[Talks.cam]](/static/images/talkslogosmall.gif)

Professor Kevin Buzzard 
Wednesday 30 January 2019, 14:00-15:00