Date:
Monday, 29 April, 2024 - 14:00 to 15:00
Speaker:
Michael Douglas (Center of Mathematical Sciences and Applications, Harvard University)
Venue:
MR15 Centre for Mathematical Sciences
Mathematics is made up of provable interesting statements about numbers, geometry and abstract structures.
While proof can be precisely defined, interestingness remains mysterious, a matter of intuition. In this talk we discuss ways to implement interestingness on a computer, both in symbolic and formal terms, and using state of the art AI.
—-
WATCH ONLINE HERE : https://www.microsoft.com/en-gb/microsoft-teams/join-a-meeting?rtc=1 Meeting ID: 370 771 279 261 Passcode: iCo7a5
(NOTE UNUSUAL DAY/TIME)
Seminar series:
Formalisation of mathematics with interactive theorem provers
