University of Cambridge > Talks.cam > CCIMI Seminars > Pure Mathematics in Crisis

Pure Mathematics in Crisis

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

  • UserProfessor Kevin Buzzard World_link
  • ClockWednesday 30 January 2019, 14:00-15:00
  • HouseCMS, 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.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

© 2006-2024 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity