Pure Mathematics in Crisis

Add to your list(s) Download to your calendar using vCal

• Professor Kevin Buzzard
• Wednesday 30 January 2019, 14:00-15:00
• CMS, MR3.

If you have a question about this talk, please contact J.W.Stevens.

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.

This talk is part of the CCIMI Seminars series.

This talk is included in these lists:

• All CMS events
• All Talks (aka the CURE list)
• CCIMI
• CCIMI Seminars
• CMS Events
• CMS, MR3
• Cambridge Centre for Data-Driven Discovery (C2D3)
• Cambridge talks
• Chris Davis' list
• DPMMS Lists
• DPMMS info aggregator
• DPMMS lists
• Guy Emerson's list
• Hanchen DaDaDash
• Interested Talks
• School of Physical Sciences
• Statistical Laboratory info aggregator
• Trust & Technology Initiative - interesting events
• bld31
• custom
• ndk22's list
• ob366-ai4er
• rp587

Note that ex-directory lists are not shown.