Perspectives on the formalisation of maths, Angeliki Koutsoukou-Argyraki | LMS CS Colloquium 2023
Full title: Perspectives on the formalisation of mathematics: verification and beyond.
Formalising mathematics with interactive theorem provers, like Isabelle/HOL and Lean, has seen a significant increase in popularity in recent years, with flourishing formalisation communities attracting both computer scientists and mathematicians. While ensuring correctness is an important aspect of mathematical practice, formalising mathematics goes beyond the scope of verification. This talk will involve a brief discussion on the state of the art and the potential of the area.
Part of the LMS Computer Science Colloquium 2023, which took place on Friday 1 December 2023 at De Morgan House, London and 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
Видео Perspectives on the formalisation of maths, Angeliki Koutsoukou-Argyraki | LMS CS Colloquium 2023 канала London Mathematical Society
Formalising mathematics with interactive theorem provers, like Isabelle/HOL and Lean, has seen a significant increase in popularity in recent years, with flourishing formalisation communities attracting both computer scientists and mathematicians. While ensuring correctness is an important aspect of mathematical practice, formalising mathematics goes beyond the scope of verification. This talk will involve a brief discussion on the state of the art and the potential of the area.
Part of the LMS Computer Science Colloquium 2023, which took place on Friday 1 December 2023 at De Morgan House, London and 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
Видео Perspectives on the formalisation of maths, Angeliki Koutsoukou-Argyraki | LMS CS Colloquium 2023 канала London Mathematical Society
Показать
Комментарии отсутствуют
Информация о видео
6 февраля 2024 г. 20:35:22
00:59:36
Другие видео канала
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