Research lectures, seminars and events
The events listed in this area are research seminars, workshops and lectures hosted by Durham University departments and research institutes. If you are not a member of the University, but wish to enquire about attending one of the events please contact the organiser or host department.
Pure Maths Colloquium: The future of mathematics?
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 email@example.com for more information