Formalising 21st-Century Mathematics, Lawrence C. Paulson FRS | LMS/BCS-FACS Seminar 2024
Abstract: The formalisation of mathematics is an ongoing process that arguably started as early as the 19th century, intensified with the foundational crisis at the start of the 20th century, and since the 1970s has been conducted with the help of computers. Recent decades have seen the machine formalisation of lengthy and technically complicated proofs, but some have argued that even these were not representative of modern mathematics. Recent achievements by a number of different groups are starting to challenge this scepticism. The speaker will outline some of these, while also noting some of the remaining trouble spots.
This was the LMS-BCS FACS Seminar, which took place on Monday 15 January 2024 online via Zoom.
==========
The London Mathematical Society has, since 1865, been the UK's learned society for the advancement, dissemination and promotion of mathematical knowledge. Our mission is to advance mathematics through our members and the broader scientific community worldwide.
For further information:
► Website: https://www.lms.ac.uk
► Events: https://www.lms.ac.uk/events
► Grants and Prizes: https://www.lms.ac.uk/grants-prizes
► Publications: https://www.lms.ac.uk/publications
► Membership: https://www.lms.ac.uk/membership
Follow us:
► Twitter: https://twitter.com/LondMathSoc
► Facebook: https://www.facebook.com/londonmathematicalsociety
► LinkedIn: https://www.linkedin.com/company/the-london-mathematical-society/
► Youtube: @LondonMathematicalSociety
Видео Formalising 21st-Century Mathematics, Lawrence C. Paulson FRS | LMS/BCS-FACS Seminar 2024 канала London Mathematical Society
This was the LMS-BCS FACS Seminar, which took place on Monday 15 January 2024 online via Zoom.
==========
The London Mathematical Society has, since 1865, been the UK's learned society for the advancement, dissemination and promotion of mathematical knowledge. Our mission is to advance mathematics through our members and the broader scientific community worldwide.
For further information:
► Website: https://www.lms.ac.uk
► Events: https://www.lms.ac.uk/events
► Grants and Prizes: https://www.lms.ac.uk/grants-prizes
► Publications: https://www.lms.ac.uk/publications
► Membership: https://www.lms.ac.uk/membership
Follow us:
► Twitter: https://twitter.com/LondMathSoc
► Facebook: https://www.facebook.com/londonmathematicalsociety
► LinkedIn: https://www.linkedin.com/company/the-london-mathematical-society/
► Youtube: @LondonMathematicalSociety
Видео Formalising 21st-Century Mathematics, Lawrence C. Paulson FRS | LMS/BCS-FACS Seminar 2024 канала London Mathematical Society
Показать
Комментарии отсутствуют
Информация о видео
6 февраля 2024 г. 21:28:19
01:21:17
Другие видео канала
How Maths Untangles Knotty DNA Questions, Dorothy Buck | LMS Popular Lectures 2010Mathematics in the Courtroom, Ray Hill | LMS Popular Lectures 2013LMS-Bath Symposium 2020, Rates of Convergence for Cheeger Cuts on Point Clouds, Matthew ThorpeUtilising Shape in Data, Ulrike Tillmann FRS | LMSOn generalisation and learning, Benjamin Guedj | LMS Computer Science ColloquiumLMS-Bath Symposium 2020, Public Lecture, Carola-Bibiane SchönliebNet of Conics, Vanya Cheltsov | LMS Summer School (2/5)The Mathematics of Processing Digital Images, Joan Lasenby | LMS Popular Lectures 2015LMS-Bath Symposium 2020, Machine learning from a continuous viewpoint, Weinan ECombinatorics of Young tableaux and symmetric groups, Sarah Whitehouse | LMS Summer School (2/4)The Journey of Female African Mathematicians, Angela Tabiri | LMS BHoM 2020Risky Business, Jen Rogers | LMS Popular Lectures 2018Soap Bubbles and Minimal Surfaces, Spencer Becker-Kahn | LMS BHoMThe space of functions computed by deep-learning networks, David Saad | LMS/IMA Joint Meeting 2023LMS-Bath Symposium 2020, A PDE Interpretation of Prediction with Expert Advice, Nadia DrenskaProfessor Noga Alon speaking at the LMS/EMS Anniversary Mathematical Weekend 2015Mary Cartwright Lecture 2021, Analyticity in the Sky with (causal) Diamonds, Claudia de RhamVerification of control software for robots that learn, Ana Cavalcanti | LMS CS Colloquium 2023Bayesian inference with data-driven image priors: theory, methods, and algorithms, Marcelo PereyraThe Riddle of Robustness, Flexibility, and Trustworthiness of Data-driven AI, Ivan TyukinTropical geometry: Algebra, geometry and combinatorics, Felipe Rincon | LMS Summer School