Рет қаралды 120
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: www.lms.ac.uk
► Events: www.lms.ac.uk/...
► Grants and Prizes: www.lms.ac.uk/...
► Publications: www.lms.ac.uk/...
► Membership: www.lms.ac.uk/...
Follow us:
► Twitter: / londmathsoc
► Facebook: / londonmathematicalsociety
► LinkedIn: / the-london-mathematica...
► KZbin: @LondonMathematicalSociety