Cookies

We use cookies to ensure that we give you the best experience on our website. You can change your cookie settings at any time. Otherwise, we'll assume you're OK to continue.

Durham University

Department of Mathematical Sciences

Seminars

This week's seminars

Pure Maths Colloquium: The future of mathematics?

Presented by Kevin Buzzard, Imperial College London

11 November 2019 13:00 in CM101

Over the last few years, something (possibly a mid-life crisis) has made me become concerned about the reliability of modern mathematics, and about how the methods we mathematicians have traditionally used to prove theorems are scaling with the advent of the internet /ArXiv, and pressure on academics to get big results out there. I have started experimenting with a formal computer proof verification system called Lean, integrating it into my undergraduate teaching at Imperial and pushing it to see if it can handle modern mathematical definitions such as perfectoid spaces and the other ideas which got Peter Scholze a Fields Medal in 2018. I personally believe that Lean is part of what will become a paradigm shift in the way humans do mathematics, and that people who do not switch will ultimately be left behind. Am I right? Only time will tell. This talk will be suitable for a general scientific audience -- mathematics undergraduates, computer scientists and philosophers will all find it comprehensible.

Contact michael.r.magee@durham.ac.uk for more information

Research Seminars by Series

The research groups in the Department of Mathematical Sciences hold several seminar series in term time. Information on date, time and location are available here.

For information on previous years' seminars please see the seminar archives pages.